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.
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: http://hamr.sireum.org