Login

Nakajima, Shin

Cyber-Physical System Design from an Architecture Analysis Viewpoint

Nakajima, Shin - Cyber-Physical System Design from an Architecture Analysis Viewpoint, ebook

103,00€

Ebook, PDF with Adobe DRM
ISBN: 9789811044366
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

1. Virtual Prototyping of Embedded Systems: Speed and Accuracy Tradeoffs
Vania Joloboff, Andreas Gerstlauer

2. Model-Based Design and Automated Validation of ARINC653 Architectures Using the AADL
Jérôme Hugues, Julien Delange

3. Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard
Loïc Besnard, Thierry Gautier, Paul Guernic, Clément Guy, Jean-Pierre Talpin, Brian Larson, Etienne Borde

4. MARTE for CPS and CPSoS
Frédéric Mallet, Eugenio Villar, Fernando Herrera

5. Combined Model Checking and Testing Create Confidence—A Case on Commercial Automotive Operating System
Toshiaki Aoki, Makoto Satoh, Mitsuhiro Tani, Kenro Yatake, Tomoji Kishi

6. Formal Methods for Aerospace Systems
Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta

Keywords: Computer Science, Software Engineering, Control

Editor
 
 
 
Publisher
Springer
Publication year
2017
Language
en
Edition
1
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9789811044366
Printed ISBN
978-981-10-4435-9

Similar titles