A Tool Set for Integrated Software and Hardware Dependability Analysis Using the Architecture Analysis and Design Language (AADL) and Error Model Annex

Cyberphysical (embedded) computer system availability and reliability can be modeled and assessed using the Architecture Analysis and Design Language (AADL) and its Error Model Annex. AADL can represent systems at multiple levels of abstraction. Therefore, analyses can be performed early and often t...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Hecht, M, Lam, A, Vogl, C
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	AADL Analytical models availability Computer architecture error model annex reliability analysis Hardware modeling Payloads Process control Software stochastic analysis network stochastic petri net Stochastic processes
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!