Название: Dependable software systems engineering Автор: A. Pretschner, D. Peled Издательство: IOS Press Серия: NATO Science for Peace and Security Series Год: 2017 Страниц: 257 Язык: английский Формат: pdf (true), djvu Размер: 10.1 MB
Cyber-physical systems closely combine and coordinate subsystems consisting of both computational and physical elements. Such systems have become indispensable in the fields of aerospace, automotive and the automation industries, as well as in consumer appliances. Safety, security and reliability are all essential elements of the trustworthiness of these modern cyber-physical systems. Protecting the data within such systems from external attack (security) and protecting the environment from any potential malfunction or misuse of these systems (safety) are subjects traditionally considered separately, but a closer look reveals that techniques for the construction and analysis of the software-based systems used in both security and safety are not necessarily fundamentally different. This book presents papers from the 2016 Marktoberdorf summer school on software engineering, held in Marktoberdorf, Germany, in August 2016. As its title – Dependable Software Systems Engineering – suggests, the lectures at this summer school explored various aspects of the engineering of more dependable software systems, and the 10 lectures included here cover subjects from programming languages and formal analysis tools to verification, validation and assurance. The book will be of interest to all those whose work involves the development and testing of more reliable and secure software systems.
Systems Engineering of Software-Enabled Systems Название: Systems Engineering of Software-Enabled Systems Автор: Richard E. Fairley Издательство: Wiley-IEEE Press Год: 2019 Страниц: 408 Язык:...
Solutions for Cyber-Physical Systems Ubiquity Автор: Norbert Druml, Andreas Genser, Armin Krieg Название: Solutions for Cyber-Physical Systems Ubiquity Издательство: IGI Global Год: 2017 ISBN: ...
Навигация
Вход на сайт
Реклама
Dependable software systems engineering 
