An implementation of the behavior annex in the AADL-toolset Osate2

AADL is a modeling language to design and analyze High-Integrity Distributed and Real-time systems. Embedded sub-languages published as AADL annexes extend an AADL model to enhance analysis. The behavior annex specifies the behavior of an AADL application model. An implantation of this annex allows to perform behavior analysis. In addition, as there are several AADL annexes, the implementation of generic mechanisms to support each one of them is challenging. The behavior annex is a valid candidate to illustrate these challenges by combining several sub-languages. In this paper we expose our experiment to support the behavior annex in the reference AADL toolset OSATE2. This one, supports the AADL version 2 by providing a front-end and a set of analysis plug-ins to analyze an AADL model

Annexes

graphic representation of Holistic Diagnosis 1 of Piedmont region (Italy), Biscay region (Spain), Nouvelle Aquitaine region (France), Slovenia, North-east region (Romania), for Retrace European project

EN-BIRTH Data Collector Training - Supporting Annexes

The EN-BIRTH study aims to validate selected newborn and maternal indicators for routine facility-based tracking of coverage and quality of care for use at district, national and global levels. The item contains consent forms and participant information, in addition to standard operating procedures (SOP) for adverse clinical events, and managing distress in interviews. The full complement of annex files used during the training can be requested via this site if required

Engineering Annexes

Entry created by John H. Herrick July 25, 1978.John H. Herrick Archives: Documenting Structures at The Ohio State UniversityThe University Archives has determined that this item is of continuing value to OSU's history.The Engineering Annexes were located on the site of CAE (146) and Hitchcock (274) and were arbitrarily assigned for indexing purposes as follows: H 413 - 216 West Nineteenth Avenue, H 414 - 242 West Nineteenth Avenue, and H 415 - 2048 Neil Avenue. These structures were generally called Engineering Annexes A (H 413), B (H 414), and C (H 415). They were also known as the Veterans' Educational Facilities - Building III A (H 413), the Veterans' Educational Facilities - Building III B (H 414), and the Veterans' Educational Facilities - Building III C (H 415)