High Assurance Modeling and Rapid engineering for embedded systems (HAMR)

Overview

HAMR takes embedded systems that use AADL system models and develops inter-component communication. As a code generation and system build framework, HAMR wraps legacy components, creating deployable builds for Java VM, Linux, and seL4 micro-kernel.

HAMR is part of the BriefCASE toolchain. To explore and launch this tool within the full workflow, return to the BriefCASE page.

Links

Acknowledgements
Explore within BriefCASE Framework
Feedback
Feedback
If you experience a bug or would like to see an addition on the current page, feel free to leave us a message.
Image CAPTCHA
Enter the characters shown in the image.
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.