Shifting temporal and communicational aspects into design phase via AADL and RTSJ

Abstract

By now, Model-Driven Development is a well-known approach in many domains. By (re)using standardized domain-specific models, productivity is increased and common errors are simultanously avoided. The Architecture Analysis and Design Language is a domain-specific modeling language for embedded, real-time and safety-critical systems. In our approach we utilize this modeling language, with its well-defined semantics, as source language for a mapping into real-time Java. The chosen subset of model elements enables system designers to create a system and subsequently generate a code framework that complies to the model in terms of structure, timing and communicational restrictions. In order to demonstrate the benefits of our approach, we model and generate the code framework for an existing autopilot and compare our results with the original software.