Bliudze, SimonIvanov, AntonLe Boudec, Jean-YvesSikiaridis, Alexandre Jean Denis2017-02-052017-02-052017-02-052017https://infoscience.epfl.ch/handle/20.500.14299/134183This 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.BIPOSRAOn-Board SoftwareComponentSimulationCubETHstudent work::master thesis