HAMR - High-Assurance Modeling and Rapid Engineering for Embedded Systems Using AADL

The Software Engineering Institute (SEI) leads a community-based effort to develop the Architecture Analysis and Design Language (AADL), which enables the modeling and analysis of real-time, embedded systems for safety critical domains.

This talk presents a simulation and code-generation framework for AADL called HAMR (High-Assurance Modeling and Rapid engineering for embedded systems) that has been developed by Kansas State University and applied in medical device, mission control, and other domains on projects funded by DARPA, the US Army, and the Department of Homeland Security