Real-Time Implementation

Real-Time Implementations of BIP Models

This activity focuses on providing real-time implementations of BIP applications.


Real-time implementation of BIP applications includes two main research topics:

  • Real-Time. This topic focuses on how to safely handle time in a BIP application.
  • Execution Environment (Open System). This topic focuses on how to safely handle an external environment (e.g. sensors, actuators, software not written in BIP) interacting with a BIP application.

The behavior layer of BIP is extended to timed automata for expressing timing constraints of the application. We also introduce environment ports that can be trigger on the presence of events in the execution environment.

We have implemented a real-time Engine that allows real-time execution of BIP models on the target platform.

[1S. Bornot and J. Sifakis. An algebraic framework for urgency. Inf. Comput., 163(1):172—202, 2000.

[2T. Abdellatif, J. Combaz, J. Sifakis. Model-Based Implementation of Real-Time Applications. In Proceedings of the 10th Conference on Embedded Software (EMSOFT 2010).

Contact | Site Map | Site powered by SPIP 3.0.24 + AHUNTSIC [CC License]

info visites 760906