Cyber-Physical System Design from an Architecture Analysis Viewpoint : Communications of NII Shonan Meetings /

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Nakajima, Shin. (Editor ), Talpin, Jean-Pierre. (Editor ), Toyoshima, Masumi. (Editor ), Yu, Huafeng. (Editor )
Formato:	eBook
Lenguaje:	English
Publicado:	Singapore : Springer Singapore : Imprint: Springer, 2017.
Edición:	1st ed. 2017.
Materias:	Software engineering. Control engineering. Software Engineering. Control and Systems Theory.

Tabla de Contenidos:

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.

Ejemplares similares