ADMORPH is investigating safety- and security-critical systems and we will investigate the safety and security properties of PikeOS resources in a graph model as domain-specific system modelling language (DSML). The goal is to enhance the security in complex safety-critical embedded systems design, by assisting system integrators in configuring their system with an analysis of interference between system components.
The development of a proof of concept has started in September: We have investigated the importability of XML configuration files for generation of graph-based models for a simple model for potential information flows between user-defined configurations of a separation kernel. While the approach is representation-independent, for storage, inspired from a German national project, we have explored the use of the Neo4j graph database and used XSLT for transforming the data.
