Verimag

Real-Time Implementation

Real-Time Implementations of BIP Models

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

 Execution Environment

In the previous section, we explained how to connect a BIP program to an external component which is a real-time clock. Another issue is how to connect BIP programs to other environment components. An environment component can be an hardware components (e.g. sensors or actuators), or a software component that is not part of the BIP program (e.g. not written in BIP).

The work includes:

  • The extension of BIP for expressing open systems, that is, mechanisms for connecting classical BIP models to their external execution environment.
  • When simulating the model, a model of the environment should be provided, expressed in BIP.
  • When executing the model on a platform, the model of the environment is replaced by its actual implementation. The Real-Time BIP Execution Engine should ensure the connection between the input/output of the model and the actual environment.

[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.26 + AHUNTSIC [CC License]

info visites 912611