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

Ful tanımlama

Detaylı Bibliyografya
Yazar: Gumzej, Roman (Yazar)
Müşterek Yazar: SpringerLink (Online service)
Materyal Türü: e-Kitap
Dil:İngilizce
Baskı/Yayın Bilgisi: Cham : Springer International Publishing : 2016.
Imprint: Springer,
Edisyon:1st ed. 2016.
Seri Bilgileri:Studies in Computational Intelligence, 632
Konular:
Computational intelligence.
Artificial intelligence.
Electronic circuits.
Security systems.
Computational Intelligence.
Artificial Intelligence.
Electronic Circuits and Systems.
Security Science and Technology.
Online Erişim:Full-text access
İçindekiler:
  • 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.

Benzer Materyaller