Cyber-Physical System Design from an Architecture Analysis Viewpoint
Springer Verlag, Singapore
978-981-10-4435-9 (ISBN)
The book is concerned with internationally standardized modeling languages such as AADL, SysML, and MARTE. As the effectiveness of the technologies is demonstrated with industrial sample cases from the automotive and aerospace sectors, links between the methods presented and industrial problems are clearly understandable. Each chapter is self-contained, addressing specific scientific or engineering problems, and identifying further issues. In closing, it includes perspectives on future directions in CPS design from an architecture analysis viewpoint.
Editors: Shin Nakajima is a professor at the National Institute of Informatics (NII) and also a professor at the Graduate University for Advanced Studies (SOKENDAI). His research interests include formal methods, automated verification, and software testing. Jean-Pierre Talpin is a senior research associate (directeur de recherche) with Inria and leads Inria project-team TEA (time, events and architectures). His research background ranges from type theory, programming languages, concurrency theory, code generation, scheduling, and verification to proof. His current research interests include the component-based design, analysis, verification, and integration of cyber-physical systems. Masumi Toyoshima is a research project manager at DENSO Corporation. His research background includes design of distributed computing systems and recent interest is Systems Engineering. Huafeng Yu is a senior researcher with Boeing Research & Technology. He serves onIEEE Technical Committee on for Cyber-Physical Systems. His research interests include mobile autonomous systems, software architecture and safety, model-based engineering, and software certification.
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.
Erscheinungsdatum | 01.06.2017 |
---|---|
Zusatzinfo | 32 Illustrations, color; 20 Illustrations, black and white; XIV, 159 p. 52 illus., 32 illus. in color. |
Verlagsort | Singapore |
Sprache | englisch |
Maße | 155 x 235 mm |
Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
Mathematik / Informatik ► Informatik ► Theorie / Studium | |
Technik ► Elektrotechnik / Energietechnik | |
Schlagworte | AADL Modeling Language • aerospace systems • Automotive systems • code generation • Cyber-Physical Systems • Model Checking • Model-Driven Methodology • Performance Analysis • Safety & Dependability Analysis • Virtual Prototyping |
ISBN-10 | 981-10-4435-X / 981104435X |
ISBN-13 | 978-981-10-4435-9 / 9789811044359 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich