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.


Advisor(s):
Bliudze, Simon
Ivanov, Anton
Le Boudec, Jean-Yves
Year:
2017
Keywords:
Laboratories:




 Record created 2017-02-05, last modified 2018-01-28

External link:
Download fulltext
n/a
Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)