Engineering Safe and Secure Cyber-Physical Systems

The Specification PEARL Approach

Nonfiction, Science & Nature, Technology, Electronics, Circuits, Computers, Advanced Computing, Artificial Intelligence, General Computing
Cover of the book Engineering Safe and Secure Cyber-Physical Systems by Roman Gumzej, Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Roman Gumzej ISBN: 9783319289052
Publisher: Springer International Publishing Publication: January 22, 2016
Imprint: Springer Language: English
Author: Roman Gumzej
ISBN: 9783319289052
Publisher: Springer International Publishing
Publication: January 22, 2016
Imprint: Springer
Language: English

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.

 

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

 

More books from Springer International Publishing

Cover of the book Particulate Composites by Roman Gumzej
Cover of the book Computer Aided Systems Theory – EUROCAST 2017 by Roman Gumzej
Cover of the book Economic Insights on Higher Education Policy in Ireland by Roman Gumzej
Cover of the book Theoretical Femtosecond Physics by Roman Gumzej
Cover of the book Networks and New Services: A Complete Story by Roman Gumzej
Cover of the book Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets by Roman Gumzej
Cover of the book Advances in Cross-Cultural Decision Making by Roman Gumzej
Cover of the book Theoretical and Empirical Insights into Child and Family Poverty by Roman Gumzej
Cover of the book Fruit Fly Research and Development in Africa - Towards a Sustainable Management Strategy to Improve Horticulture by Roman Gumzej
Cover of the book Constrained Control of Uncertain, Time-Varying, Discrete-Time Systems by Roman Gumzej
Cover of the book Multi-Component and Sequential Reactions in Polymer Synthesis by Roman Gumzej
Cover of the book Principles of Food Chemistry by Roman Gumzej
Cover of the book Characterizing Stellar and Exoplanetary Environments by Roman Gumzej
Cover of the book Universal Access in Human-Computer Interaction. Multimodality and Assistive Environments by Roman Gumzej
Cover of the book Construction Learning as a Complex Adaptive System by Roman Gumzej
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy