Sciweavers

ICECCS
2007
IEEE
118views Hardware» more  ICECCS 2007»
14 years 6 months ago
The AADL behaviour annex - experiments and roadmap
In this paper, we present an evaluation of the AADL Behavioural Annex that is currently in evaluation phase. We relate our experiment with respect to a development concerning the ...
Ricardo Bedin França, Jean-Paul Bodeveix, M...
DATE
2009
IEEE
120views Hardware» more  DATE 2009»
14 years 6 months ago
Towards a formal semantics for the AADL behavior annex
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
Zhibin Yang, Kai Hu, Dianfu Ma, Lei Pi