Trustworthy Cyber-Physical Systems Engineering (Hardcover)

CONCEPTS OF DEPENDABLE CYBER-PHYSICAL SYSTEMS ENGINEERING: MODEL-BASED APPROACHES
John Fitzgerald, Claire Ingram, and Alexander Romanovsky

PATHWAYS TO DEPENDABLE CYBER-PHYSICAL SYSTEMS ENGINEERING
John Fitzgerald, Claire Ingram, and Tom Mccutcheon

A RIGOROUS DEFINITION OF CYBER-PHYSICAL SYSTEMS
John Knight, Jian Xiang, and Kevin Sullivan

A GENERIC MODEL FOR SYSTEM SUBSTITUTION
Guillaume Babin, Yamine Ait-Ameur, and Marc Pantel

INCREMENTAL PROOF-BASED DEVELOPMENT FOR RESILIENT DISTRIBUTED SYSTEMS Manamiary Bruno Andriamiarina, Dominique Mery, and Neeraj Kumar Singh

FORMALIZING GOAL-ORIENTED DEVELOPMENT OF RESILIENT CPS
Inna Pereverzeva and Elena Troubitsyna

FORMAL REASONING ABOUT RESILIENT CPS
Linas Laibinis and Elena Troubitsyna

COLLABORATIVE MODELING AND SIMULATION FOR CYBER-PHYSICAL SYSTEMS
Peter Gorm Larsen, John Fitzgerald, Jim Woodcock, and Thierry Lecomte

VERIFYING TRUSTWORTHY CYBER-PHYSICAL SYSTEMS USING CLOSED-LOOP MODELING
Neeraj Kumar Singh, Mark Lawford, Thomas S. E. Maibaum, and Alan Wassyng

STOP AND GO ADAPTIVE CRUISE CONTROL: A CASE STUDY OF AUTOMOTIVE CYBER-PHYSICAL SYSTEMS
Sasan Vakili, Neeraj Kumar Singh, Mark Lawford, Alan Wassyng, and Ben Breimer

MODEL-BASED ANALYSIS OF ENERGY CONSUMPTION BEHAVIOR
Shin Nakajima

A FORMAL DSL FOR MULTICORE SYSTEM MANAGEMENT
Alexei Iliasov

NEW STANDARDS FOR TRUSTWORTHY CYBER-PHYSICAL SYSTEMS
Alan Wassyng, Paul Joannou, Mark Lawford, Tom Maibaum, and Neeraj Kumar Singh

MEASUREMENT-BASED IDENTIFICATION OF INFRASTRUCTURES FOR TRUSTWORTHY CYBER-PHYSICAL SYSTEMS
Imre Kocsis, Agnes Salanki, and Andras Pataricza

MDD-BASED DESIGN, CONFIGURATION, AND MONITORING OF RESILIENT CPS
Laszlo Gonczy, Istvan Majzik, Szilard Bozoki, and Andras Pataricza

EDUCATION OF SCIENTIFIC APPROACHES TO TRUSTWORTHY SYSTEMS FOR INDUSTRY: AFTER 10 YEARS
Fuyuki Ishikawa, Nobukazu Yoshioka, and Yoshinori Tanabe