Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Trustworthy Cyber-Physical Systems Engineering > Verifying Trustworthy Cyber-Physical Systems Using Closed-Loop Modeling
Trustworthy Cyber-Physical Systems Engineering |
Alexander Romanovsky; Fuyuki Ishikawa
Routledge
Trustworthy Cyber-Physical Systems Engineering
Verifying Trustworthy Cyber-Physical Systems Using Closed-Loop Modeling
Authors

NEERAJ KUMAR SINGH, MARK LAWFORD, THOMAS S. E. MAIBAUM, AND ALAN WASSYNG

ARI Id

1665712875643_13513501

Access

Not Available Free

Pages

225-262

DOI

10.1201/9781315369105-18

Table of Contents of Book
Showing 1 to 16 of 16 entries
Chapters/HeadingsAuthor(s)PagesInfo
Concepts of Dependable Cyber-Physical Systems Engineering: Model-Based Approaches
JOHN FITZGERALD; CLAIRE INGRAM; ALEXANDER ROMANOVSKY
27-48
Pathways to Dependable Cyber-Physical Systems Engineering
JOHN FITZGERALD; CLAIRE INGRAM; TOM MCCUTCHEON
49-72
A Rigorous Definition of Cyber-Physical Systems
JOHN KNIGHT; JIAN XIANG; KEVIN SULLIVAN
73-100
A Generic Model for System Substitution GUILLAUME BABIN, YAMINE Aï T-AMEUR, AND MARC PANTEL
101-130
Incremental Proof-Based Development for Resilient Distributed Systems
MANAMIARY BRUNO ANDRIAMIARINA, DOMINIQUE MÉRY, AND NEERAJ KUMAR SINGH
131-156
Formalizing Goal-Oriented Development of Resilient Cyber-Physical Systems
INNA PEREVERZEVA; ELENA TROUBITSYNA
157-180
Formal Reasoning about Resilient Cyber-Physical Systems
Systems LINAS LAIBINIS AND ELENA TROUBITSYNA
181-202
Collaborative Modeling and Simulation for Cyber-Physical Systems
PETER GORM LARSEN, JOHN FITZGERALD, JIM WOODCOCK, AND THIERRY LECOMTE
203-224
Verifying Trustworthy Cyber-Physical Systems Using Closed-Loop Modeling
NEERAJ KUMAR SINGH, MARK LAWFORD, THOMAS S. E. MAIBAUM, AND ALAN WASSYNG
225-262
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
263-296
Model-Based Analysis of Energy Consumption Behavior
SHIN NAKAJIMA
297-332
A Formal DSL for Multi-Core System Management
ALEXEI ILIASOV
333-362
New Standards for Trustworthy Cyber-Physical Systems
Systems ALAN WASSYNG, PAUL JOANNOU, MARK LAWFORD, THOMAS S. E. MAIBAUM, AND NEERAJ KUMAR SINGH
363-394
Measurement-Based Identification of Infrastructures for Trustworthy Cyber-Physical Systems
IMRE KOCSIS; ÁGNES SALÁNKI; ANDRÁS PATARICZA
395-420
MDD-Based Design, Configuration, and Monitoring of Resilient Cyber-Physical Systems
LÁSZLÓ GÖNCZY; ISTVÁN MAJZIK; SZILÁRD BOZÓKI; ANDRÁS PATARICZA
421-446
Education of Scientific Approaches to Trustworthy Systems for Industry: After 10 Years
FUYUKI ISHIKAWA; NOBUKAZU YOSHIOKA; YOSHINORI TANABE
447-464
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 16 of 16 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings