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

Andree Blotz, Franz Huber, Heiko Loetzbeyer +3

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 p…