A Maintainability Analysis of Dependability Evaluation of an Avionic System using  AADL to PNML Transformation

A Maintainability Analysis of Dependability Evaluation of an Avionic System using  AADL to PNML Transformation

Context.In the context of Software Architecture, AADL (ArchitectureAnalysis and Design Language) is one of the latest standards (SAE StandardAS5506) used for analyzing and designing of architectures of software sys-tems. Dependability evaluation of an avionic system, modeled in AADL, isconducted usi...

Full description

Bibliographic Details
Main Author: Mehmood, Qaiser
Format: Others
Language:English
Published: Blekinge Tekniska Högskola, Institutionen för programvaruteknik 2016
Subjects:
AADL
PNML
Dependability evaluation
Maintainability analysis
Software Engineering
Programvaruteknik
Online Access:http://urn.kb.se/resolve?urn=urn:nbn:se:bth-12807

Internet

http://urn.kb.se/resolve?urn=urn:nbn:se:bth-12807

Similar Items