AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems

Architectural engineering of embedded systems comprehensively affects both the development processes and the abilities of the systems. Verification of architectural engineering is consequently essential in the development of safety- and missioncritical embedded system to avoid costly and hazardous f...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings - International Symposium on Software Reliability Engineering s. 260 - 270
Hlavní autoři:	Johnsen, Andreas, Lundqvist, Kristina, Hanninen, Kaj, Pettersson, Paul
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.10.2017
Témata:	Actuators Analytical models Computer architecture dependence analysis Embedded systems Graphical user interfaces Model checking model-based testing regression verification verification tool
ISSN:	2332-6549
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!