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

✍ Scribed by Roman Gumzej (auth.)

Publisher: Springer International Publishing
Year: 2016
Tongue: English
Leaves: 138
Series: Studies in Computational Intelligence 632
Edition: 1
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

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 architectures can be devised and certified. While the standards already enable testing and certification of inherently safe and sound hardware, this is still not the case with software. The book demonstrates that Specification PEARL(SPEARL) addresses this issue and proposes appropriate solutions from the viewpoints of software engineering as well as concrete program components. By doing so it reduces the complexity of cyber physical systems design in an innovative way.

Three ultimate goals are being followed in the course of defining this new PEARL standard, namely:

1. simplicity over complexity,

2. inherent real-time ability, and

3. conformity to safety integrity and security capability levels.

✦ Table of Contents

Front Matter....Pages i-xiii
Introduction....Pages 1-13
Specification PEARL Language....Pages 15-32
Specification PEARL Methodology....Pages 33-40
UML 2 Profile for Specification PEARL....Pages 41-52
UML Safety Pattern for Specification PEARL....Pages 53-64
Specification PEARL Security....Pages 65-79
Evaluation of the Methodology....Pages 81-88
Conclusion....Pages 89-89
Back Matter....Pages 91-128

✦ Subjects

Computational Intelligence; Artificial Intelligence (incl. Robotics); Circuits and Systems; Quality Control, Reliability, Safety and Risk

📜 SIMILAR VOLUMES

Safe and Secure Cyber-Physical Systems a

📁 Safe and Secure Cyber-Physical Systems and Internet-of-Things Systems

✍ Marilyn Wolf, Dimitrios Serpanos 📂 Library 📅 2020 🏛 Springer International Publishing 🌐 English

This book provides the first comprehensive view of safe and secure CPS and IoT systems. The authors address in a unified manner both safety (physical safety of operating equipment and devices) and computer security (correct and sound information), which are traditionally separate topics, prac

Collaborative Approaches for Cyber Secur

📁 Collaborative Approaches for Cyber Security in Cyber-Physical Systems

✍ Theo Dimitrakos, Javier Lopez, Fabio Martinelli 📂 Library 📅 2023 🏛 Springer 🌐 English

This book describes cyber-security issues underpinning several cyber-physical systems and several application domains, proposing a common perspective able to collect similarities as well as depict divergences and specific solution methods. Special attention is given to those approaches and

Collaborative Approaches for Cyber Secur

📁 Collaborative Approaches for Cyber Security in Cyber-Physical Systems

✍ Theo Dimitrakos; Javier Lopez; Fabio Martinelli 📂 Library 📅 2023 🏛 Springer Nature 🌐 English

This book describes cyber-security issues underpinning several cyber-physical systems and several application domains, proposing a common perspective able to collect similarities as well as depict divergences and specific solution methods. Special attention is given to those approaches and technolog

Security Engineering for Embedded and Cy

📁 Security Engineering for Embedded and Cyber-Physical Systems

✍ Saad Motahhir, Yassine Maleh 📂 Library 📅 2022 🏛 CRC Press 🌐 English

Digital transformation, also known as Industry 4.0, Smart Industry, and Smart Manufacturing, is at the top of leaders’ agendas. Such a transformation stimulates innovation in new products and services, the digital transformation of processes, and the creation of new business models and ecos

Secure and Trusted Cyber Physical System

📁 Secure and Trusted Cyber Physical Systems: Recent Approaches and Future Directions

✍ Shantanu Pal, Zahra Jadidi, Ernest Foo 📂 Library 📅 2022 🏛 Springer 🌐 English

This book highlights the latest design and development of security issues and various defences to construct safe, secure and trusted Cyber-Physical Systems (CPS). In addition, the book presents a detailed analysis of the recent approaches to security solutions and future research directions

Cyber Security Engineering: A Practical

📁 Cyber Security Engineering: A Practical Approach for Systems and Software Assurance

✍ Nancy R. Mead, Carol Woody 📂 Library 📅 2016 🏛 Addison-Wesley Professional 🌐 English

Cyber Security Engineering is the definitive modern reference and tutorial on the full range of capabilities associated with modern cyber security engineering. Pioneering software assurance experts Dr. Nancy R. Mead and Dr. Carol C. Woody b