CS 855: Development of High-Assurance Software Systems, Spring 2021


Course homework submission and projects will be organized through GitHub. Each student/project will be allocated a Github repository. To prepare for this, please make sure that you have a github account.

HAMR Model-based Development Framework

Sireum HAMR (“[H]igh [A]ssurance [M]odeling and [R]apid engineering for embedded systems’‘) is a code generation and system build framework for embedded systems whose architecture is specified using the Architecture Analysis and Design Language (AADL). For more details, see the HAMR web site: