An approach to generate optimized cyclic scheduling from AADL specification

In general, the definition of a cyclic scheduling of tasks in safety critical systems is a time-consuming activity. The analysis of scheduling can be seen as the interplay of frequent changes of software specifications and considerations of mathematical models of optimization. An approach that combines the elaboration of mathematical models and take into account the ever-changing software specifications is of interest. We claim that Architecture Analysis & Design Language (AADL) is a language with a well-defined semantics that can be used to generate mathematical models. We present a novel approach that generates optimized cyclic scheduling from AADL software architecture specification. Our approach assists designers to analyze scheduling in a time-efficient manner. We implement our approach and show its feasibility and efficiency in a case study of a longitudinal flight control system.