An Ada design pattern recognition tool for AADL performance analysis

Vincent Gaudel, Frank Singhoff, Alain Plantec, Stephane Rubini, Pierre Dissaux, Jerome Legrand
2011 ACM SIGAda Ada Letters  
This article deals with performance verification of architecture models of real-time embedded systems. Although realtime scheduling theory provides numerous analytical methods called feasibility tests for scheduling analysis, their use is a complicated task. In order to assist an architecture model designer in early verification, we provide an approach, based on real-time specific design patterns, enabling an automatic schedulability analysis. This analysis is based on existing feasibility
more » ... , whose selection is deduced from the compliance of the system to a design pattern and other system's properties. Those conformity verifications are integrated into a schedulability tool called Cheddar. We show how to model the relationships between design patterns and feasibility tests and design patterns themselves. Based on these models, we apply a model-based engineering process to generate, in Ada, a feasibility test selection tool. The tool is able to detect from an architecture model which are the feasibility tests that the designer can apply. We explain a method for a designer willing to use this approach. We also describe the design patterns defined and the selection algorithm.
doi:10.1145/2070336.2070359 fatcat:sjl5irc54rdltmt3mdo7awvi3q