Search Results

The Architecture Analysis and Design Language (AADL) SAE standard [1] defines a default runtime semantic for software intensive real time systems. This includes support for multi tasking, network distributed architectures and Time and Space Partitioning systems (TSP). The core definition of the language is extended by the Behavior Annex that enables a more precise specification of the application real-time behavior. This allows for the definition of functional pseudo-code for AADL threads and subprograms. It becomes thus possible to describe for instance critical sections or conditional computation depending on input port values while remaining in the scope of the AADL standard. Such a consistent behavioral model can be used for various performance analyses like scheduling and simulation in the early phases of the software development process of real-time critical systems.