Trustworthy cyber-physical systems engineering

Trustworthy cyber-physical systems engineering

by Ishikawa, Fuyuki Romanovsky, Alexander

Type Book
Rate 0.0 /5
Details
Files
Reviews
Download

Title Statements

  • Full title :Trustworthy cyber-physical systems engineering / edited by Alexander Romanovsky, Fuyuki Ishikawa.

Edition Statements

  • Publication Date:2017.

Publication Statements

  • Publisher(s):CRC Press
  • Place of Publication:Boca Raton, FL
  • Language:eng
  • Publication Date:2017.

Notes

"A Chapman & Hall book."

The Physical Object

  • Description:1 online resource

Edition Identifiers

  • ISBN:9781498742481, 1498742483, 9781315352091, 1315352095
  • oclc:ocn960210164
  • LC Classification:TK5105.59
  • Dewey Decimal:005.8

Table of Contents

Chapter 1. Concepts of dependable cyber-physical systems engineering : model-based approaches / John Fitzgerald, Claire Ingram, and Alexander Romanovsky -- chapter 2. Pathways to dependable cyber-physical systems engineering / John Fitzgerald, Claire Ingram, and Tom McCutcheon -- chapter 3. A rigorous definition of cyber-physical systems / John Knight, Jian Xiang, and Kevin Sullivan -- chapter 4. A generic model for system substitution / Guillaume Babin, Yamine Aït-Ameur, and Marc Pantel -- chapter 5. Incremental proof-based development for resilient distributed systems / Manamiary Bruno Andriamiarina, Dominique Méry, and Neeraj Kumar Singh -- chapter 6. Formalizing goal-oriented development of resilient cyber-physical systems / Inna Pereverzeva and Elena Troubitsyna -- chapter 7. Formal reasoning about resilient cyber-physical systems / Linas Laibinis and Elena Troubitsyna -- chapter 8. Collaborative modeling and simulation for cyber-physical systems / Peter Gorm Larsen, John Fitzgerald, Jim Woodcock, and Thierry Lecomte -- chapter 9. Verifying trustworthy cyber-physical systems using closed-loop modeling / Neeraj Kumar Singh, Mark Lawford, Thomas S.E. Maibaum, and Alan Wassyng -…

Read More ↓

Subjects

Computer security Computers, General Embedded computer systems -- Security m… Sécurité informatique Systèmes enfouis (Informatique) -- Sécu…

Writers

Ishikawa, Fuyuki Romanovsky, Alexander

More from this Series

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

  • Trustworthy Cyber-Physical Systems Engineering --…

    PDF · 3.9 MB · updated
    Login →

  • Trustworthy cyber-physical systems engineering --…

    PDF · 9.6 MB · updated
    Login →
Log in to request a copy