Cyber-Physical System Design from an Architecture Analysis Viewpoint

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