Loading...
master thesis
A Framework for Automatic Generation of OSRA-compliant Applications in BIP
Sikiaridis, Alexandre Jean Denis
2017
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.
Loading...
Name
ASikiaridis - OSRA in BIP.pdf
Access type
openaccess
Size
6.01 MB
Format
Adobe PDF
Checksum (MD5)
0521435618a82d44232ff63fbe964593