Answers are grounded in this paper and cite their sources.
This article describes an Ada set of packages which allows designers to perform resource requirements analysis of AADL specifications. This set of Ada packages is part of Cheddar, an Ada framework that we are developing at the University of Brest [22].The framework provides tools to check if AADL threads will meet their deadline at execution time. Some new AADL properties are proposed to model and analyze dependent AADL thread sets. It also provides some tools to perform memory requirements analysis on AADL specifications.
No takes yet. Share an insight, caveat, or question.
Singhoff et al. (2005) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: