A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf
.
Certifying deadlock-freedom for BIP models
2009
Proceedings of th 12th International Workshop on Software and Compilers for Embedded Systems - SCOPES '09
The BIP framework provides a methodology supported by a tool chain for developing software for embedded systems. The design of a BIP system follows the decomposition in behavior, interaction and priority. The first step comprises the division of desired behavior of a system into components. In a second step interactions and their priorities are added between the components. Finally, machine code is generated from the BIP model. While adding interactions it is possible to overconstrain a system
doi:10.1145/1543820.1543832
fatcat:shh356vvwvgt5e5lauchjdcqhu