System Level Simplex

Description: Improving Robustness of Embedded Applications by Logical and Hardware Isolation
Primary researchers: Stanley Bak, Deepti K. Chivukula, Olugbemiga Adekunle, Mu Sun

System-Level Simplex OSATE Plug-in – This OSTATE Plugin can both generate and check if an AADL architecture matches the System-Level Simplex Design Architecture.

VHDL Generator from AADL Model – This VHDL Code generator takes a finite-state machine described in the AADL behavior annex and creates the corresponding VHDL code.