An architecture-based dependability modeling framework using AADL

Details An architecture-based dependability modeling framework using AADL An architecture-based dependability modeling framework using AADL

2007-04-06

arxiv.org/abs/0704.0865v1

Proc. 10th IASTED International Conference on Software Engineering and Applications (SEA'2006), Dallas (USA), 13-15 November20

Computer Science

Performance

Scientific paper

For efficiency reasons, the software system designers' will is to use an integrated set of methods and tools to describe specifications and designs, and also to perform analyses such as dependability, schedulability and performance. AADL (Architecture Analysis and Design Language) has proved to be efficient for software architecture modeling. In addition, AADL was designed to accommodate several types of analyses. This paper presents an iterative dependency-driven approach for dependability modeling using AADL. It is illustrated on a small example. This approach is part of a complete framework that allows the generation of dependability analysis and evaluation models from AADL models to support the analysis of software and system architectures, in critical application domains.

Affiliated with

Also associated with

No associations

Rating

An architecture-based dependability modeling framework using AADL does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with An architecture-based dependability modeling framework using AADL, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and An architecture-based dependability modeling framework using AADL will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-699735