Abstract | ||
---|---|---|
This article deals with performance verification of architecture models of real-time embedded systems. Although real-time 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 tests, 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.
|
Year | DOI | Venue |
---|---|---|
2011 | 10.1145/2070337.2070359 | SIGAda |
Keywords | Field | DocType |
aadl,ada framework,cheddar,design patterns,platypus,real-time schedulability analysis | Architecture model,Architecture,Test selection,Scheduling (computing),Computer science,Selection algorithm,Software design pattern,Real-time computing,Engineering design process,Design pattern | Conference |
Volume | Issue | ISSN |
31 | 3 | 1094-3641 |
Citations | PageRank | References |
2 | 0.42 | 9 |
Authors | ||
6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Vincent Gaudel | 1 | 3 | 1.46 |
Frank Singhoff | 2 | 93 | 17.70 |
Alain Plantec | 3 | 67 | 11.41 |
Stephane Rubini | 4 | 57 | 12.08 |
Pierre Dissaux | 5 | 43 | 5.51 |
Jerome Legrand | 6 | 2 | 0.42 |