Computer Science – Software Engineering
Scientific paper
2002-01-26
Computer Science
Software Engineering
16 pages, figures included, paper accepted for ADA Deutschland Tagung 2002, March 6-8, Jena, GERMANY
Scientific paper
In this paper we outline a software development process for safety-critical systems that aims at combining some of the specific strengths of model-based development with those of programming language based development using safety-critical subsets of Ada. Model-based software development and model-based test case generation techniques are combined with code generation techniques and tools providing a transition from model to code both for a system itself and for its test cases. This allows developers to combine domain-oriented, model-based techniques with source code based validation techniques, as required for conformity with standards for the development of safety-critical software, such as the avionics standard RTCA/DO-178B. We introduce the AutoFocus and Validator modeling and validation toolset and sketch its usage for modeling, test case generation, and code generation in a combined approach, which is further illustrated by a simplified leading edge aerospace model with built-in fault tolerance.
Blotz Andree
Huber Franz
Loetzbeyer Heiko
Pretschner Alexander
Slotosch Oscar
No associations
LandOfFree
Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems 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 Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-87541