A Framework for Automatic Generation of OSRA-compliant Applications in BIP

This Master Project designed and implemented a framework facilitating the design of OSRA-compliant BIP systems. Given a set of application components developed in BIP, the framework automates the generation of a BIP system handling safe interactions between the components. The primary use for such a system is simulation, verification and testing. The framework was successfully used to implement a BIP software model for the CubETH nanosatellite.