Formal Verification and Validation of AADL Models

Autor:	Bozzano, M, Cavada, R, Cimatti, A, Katoen, J.-P, Nguyen, V., Noll, T, Olive, Xavier
Přispěvatelé:	Thales Alenia Space - TAS (Toulouse, France), Thales (France)
Jazyk:	angličtina
Rok vydání:	2010
Předmět:	Model Driven Engineering Verification and Validation [INFO]Computer Science [cs] [INFO.INFO-ES]Computer Science [cs]/Embedded Systems Hardware/Software Co-Design
Zdroj:	ERTS 2010 proceedings ERTS2 2010, Embedded Real Time Software & Systems ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France
Popis:	International audience; Safety-critical systems are increasingly difficult to com- prehend due to their rising complexity. Methodologies, tools and modeling formalisms have been developed to overcome this. Component-based design is an im- portant paradigm that is shared by many of them.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::542b60fe2895a14f83c1c912e1685f82 https://hal.archives-ouvertes.fr/hal-02268731 Zobrazit plný text záznamu