Cyber-Physical System Design from an Architecture Analysis Viewpoint : Communications of NII Shonan Meetings - Nakajima, Shin.; Talpin, Jean-Pierre.; Toyoshima, Masumi; Yu, Huafeng; SpringerLink (Online service) (Singapore : Springer Singapore : Imprint: Springer, 2017)
1 Virtual Prototyping of Embedded Systems: Speed and Accuracy Tradeoffs -- 2 Model-Based Design And Automated Validation Of ARINC653 Architectures using the AADL -- 3 Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard -- 4 MARTE for CPS and CPSoS -- 5 Combined Model Checking and Testing Create Confidence - A Case on Commercial Automotive Operating System -- 6 Formal Methods for Aerospace Systems.
Keywords: Software engineering; Control engineering; Software Engineering; Control and Systems Theory