Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A Maintainability Analysis of Dependability Evaluation of an Avionic System using  AADL to PNML Transformation
Blekinge Institute of Technology, Faculty of Computing, Department of Software Engineering. (Software Architecture)
2016 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

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 using petri nets standard PNML (ISO standard ISO/IEC15909-2).A maintainability analysis of PNML dependability model is also con-ducted.

Objectives. In this study we investigate maintainability analysis of PNMLdependability model of an avionic system designed in AADL. Structural,functional, fault-tolerance and recovery dependencies are modeled, imple-mented, simulated and validated in PNML. Maintainability analysis withrespect to ‘changeability’ factor is also conducted.

Methods.This study is a semi-combination of ’case-study’ and ’implemen-tation’ research methodologies. The implementation of case-study systemis conducted by modeling the case-study system in AADL using OSATE2tool and simulating the dependability models in PNML using Wolfgangtool. PNML dependability models are validated by comparing with GSPNdependability models of previously published research.

Results. As a result of this research, PNML dependability model was ob-tained. The difficulties that influenced the research in AADL Error ModelAnnex and the OSATE2 tool are also analyzed and documented. PNMLand GSPN are compared for complexity. And maintainability analysis forPNML dependability model w.r.t ‘changeability’ factor is also an outcomeof this research. This research is recommended for software testing at ar-chitecture level as a standardized way for testing the software componentsfor faults and errors and their impact on dependable components.

Conclusions. We conclude that PNML is an ISO standard and is the al-ternative for GSPN for dependability. Also, AADL Error Model Annex isstill evolving and there is a need of availability of proper literature publiclyfor better understanding. Also, PNML dependability model possesses the‘changeability’ factor of maintainability analysis and therefore it is able toadapt changes in the architecture. Also, dependability factors of a softwarecan be tested at architecture level using the standards; AADL and PNML

Place, publisher, year, edition, pages
2016. , 65 p.
Keyword [en]
AADL, PNML, Dependability evaluation, Maintainability analysis
National Category
Software Engineering
Identifiers
URN: urn:nbn:se:bth-12807OAI: oai:DiVA.org:bth-12807DiVA: diva2:945774
Subject / course
PA2534 Master's Thesis (120 credits) in Software Engineering
Educational program
PAASX Master of Science Programme in Software Engineering
Presentation
2016-05-31, J1360, Blekinge Institute of Technology, Karlskrona, 09:00 (English)
Supervisors
Examiners
Available from: 2016-07-05 Created: 2016-07-03 Last updated: 2016-07-05Bibliographically approved

Open Access in DiVA

fulltext(3830 kB)100 downloads
File information
File name FULLTEXT02.pdfFile size 3830 kBChecksum SHA-512
a1846d0320d149494476247c20a4475f80c0df264b1cb6989b406e800b7f9071fc32ccd4f62054930b4580809a695e714fdb30d1d97054fa0100f44fec65a425
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Mehmood, Qaiser
By organisation
Department of Software Engineering
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 100 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 574 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf