Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems

Simple item page
dc.creatorBlotz, Andree
dc.creatorHuber, Franz
dc.creatorLoetzbeyer, Heiko
dc.creatorPretschner, Alexander
dc.creatorSlotosch, Oscar
dc.creatorZaengerl, Hans-Peter
dc.date2002-01-26
dc.date.accessioned2026-07-07T03:18:05Z
dc.date.available2026-07-07T03:18:05Z
dc.descriptionIn 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.
dc.description16 pages, figures included, paper accepted for ADA Deutschland Tagung 2002, March 6-8, Jena, GERMANY
dc.identifierhttps://arxiv.org/abs/cs/0201023
dc.identifierhttp://arxiv.org/abs/cs/0201023
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/30972
dc.subjectSoftware Engineering
dc.subjectD.2, K.6.3
dc.titleModel-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems
dc.typetext

Files

Collections

arXiv