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

• Κύριος συγγραφέας: Gumzej, Roman (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Έκδοση: 1st ed. 2016.
• Σειρά: Studies in Computational Intelligence, 632
• Θέματα: 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...

Πίνακας περιεχομένων:

• 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.