Engineering Safe and Secure Cyber-Physical Systems The Specification PEARL Approach /

• Main Author: Gumzej, Roman (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Edition: 1st ed. 2016.
• Series: Studies in Computational Intelligence, 632
• Subjects: Engineering.; Artificial intelligence.; Computational intelligence.; Quality control.; Reliability.; Industrial safety.; Electronic circuits.; Computational Intelligence.; Artificial Intelligence (incl. Robotics).; Circuits and Systems.; Quality Control, Reliability, Safety and Risk.

This book introduces the concept of holistic design and development of cyber physical systems to achieve their safe and secure operation. It shows that by following the standards for embedded system’s safety and using appropriate hardware and software components inherently safe system’s architecture...

Table of Contents:

• Introduction
• Specification PEARL Language
• Specification PEARL Methodology
• UML 2 Profile for Specification PEARL.-UML Safety Pattern for Specification PEARL
• Specification PEARL Security
• Evaluation of the Methodology
• Conclusion.