Text

Engineering Safe and Secure Cyber-Physical Systems the Specification Pearl Approach

---

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.

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

-

Publisher

: ., 2016

Collation

28 b/w illustrations

Language

English

ISBN/ISSN

978-3-319-28905-2

Classification

NONE

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

-

Subject(s)

Artificial Intelligence
Electronic Circuits and Systems
Computational Intelligence
Security Science and Technology

Specific Detail Info

-

Statement of Responsibility

Roman Gumzej

Other Information

Cataloger

agus

Source

-

Validator

taufik

Digital Object Identifier (DOI)

-

Journal Volume

-

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment