Reliability Evaluation based on the AADL Architecture Model

Provided by: Academy Publisher
Topic: Software
Format: PDF
The structure of the embedded system gets much more complicated. Current basic Architecture Analysis and Design Language (AADL) reliability model cannot meet the requirements of software reliability being evaluated while being designed. For the present, reliability evaluated needs abundant fault analysis which cannot be realized in the early of software development. The paper has come up with a methodology based on system architecture using AADL to perform reliability evaluate at Early development With good understanding of rules and transformation from AADL based system architecture model to Petri Net, a one-to-one mapping rule was achieved between AADL elements and Petri Net elements.

Find By Topic