A Framework for Distributing Real-Time Functions

  • Frédéric Boniol
  • Pierre-Emmanuel Hladik
  • Claire Pagetti
  • Frédéric Aspro
  • Victor Jégu
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5215)


The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are supported on a single monoprocessor, behavior of which is completely predictable, while the execution is totally deterministic. With the growing complexity of systems, it becomes quite unavoidable to implement these systems on distributed architectures. Scaling from mono to multiprocessor raises several issues which we address in this paper: we propose a simple executive model based on time triggered paradigm and an automated approach to allocate real-time tasks based on constraint resolution techniques. We illustrate the method on an industrial case study.


Distributed systems Constraint programming Industrial case study 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Bar04]
    Baruah, S.K.: Partitioning real-time tasks among heterogeneous multiprocessors. In: ICPP 2004: Proceedings of the 2004 International Conference on Parallel Processing, pp. 467–474. IEEE Computer Society Press, Washington (2004)CrossRefGoogle Scholar
  2. [CCM+03]
    Caspi, P., Curic, A., Maignan, A., Sofronis, C., Tripakis, S., Niebert, P.: From Simulink to SCADE/Lustre to TTA: a layered approach for distributed embedded applications. SIGPLAN Not. 38(7), 153–162 (2003)CrossRefGoogle Scholar
  3. [Che02]
    Cheng, A.M.K.: Real-Time Systems: Scheduling, Analysis, and Verification. John Wiley & Sons, Inc., New York (2002)Google Scholar
  4. [Eke04]
    Ekelin, C.: An Optimization Framework for Scheduling of Embedded Real-Time Systems. PhD thesis, Chalmers University of Technology (2004)Google Scholar
  5. [FAB05]
    Fisher, N., Anderson, J.H., Baruah, S.: Task partitioning upon memory-constrained multiprocessors. In: RTCSA 2005: Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, pp. 416–421. IEEE Computer Society Press, Washington (2005)CrossRefGoogle Scholar
  6. [GCG02]
    Grolleau, E., Choquet-Geniet, A.: Off-line computation of real-time schedules using petri nets. Discrete Event Dynamic Systems 12(3), 311–333 (2002)zbMATHCrossRefMathSciNetGoogle Scholar
  7. [GGJY76]
    Garey, M.R., Graham, R.L., Johnson, D.S., Yao, A.C.: Resource constrained scheduling as generalized bin packing. Journal of Combinatorial Theory 21, 257–298 (1976)zbMATHMathSciNetGoogle Scholar
  8. [HCDJ07]
    Hladik, P.-E., Cambazard, H., Déplanche, A.-M., Jussien, N.: Solving a real-time allocation problem with constraint programming. Journal of Systems and Software 5(4), 335–357 (2007)Google Scholar
  9. [ILO]
  10. [PEP04]
    Pop, P., Eles, P., Peng, Z.: Analysis and Synthesis of Distributed Real-Time Embedded Systems. Kluwer Academic Publishers, Dordrecht (2004)Google Scholar
  11. [RvBW06]
    Rossi, F., van Beek, P., Walsh, T. (eds.): Handbook of Constraint Programming. Elsevier, Amsterdam (2006)Google Scholar
  12. [SGR07]
    Sethu, R., Ganesan, P.V., Raravi, G.: A formal framework for the correct-by-construction and verification of distributed time triggered systems. In: IEEE Symposium on Industrial Embedded Systems (SIES 2007). IEEE Computer Society, Los Alamitos (2007)Google Scholar
  13. [SK03]
    Szymanek, R., Kuchcinski, K.: Partial task assignment of task graphs under heterogeneous resource constraints. In: Proceedings of the 40th conference on Design Automation (DAC 2003), pp. 244–249 (2003)Google Scholar
  14. [SW00]
    Schild, K., Würtz, J.: Scheduling of time-triggered real-time systems. Constraints 5(4), 335–357 (2000)Google Scholar
  15. [Web]

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Frédéric Boniol
    • 1
  • Pierre-Emmanuel Hladik
    • 2
  • Claire Pagetti
    • 1
    • 3
  • Frédéric Aspro
    • 4
  • Victor Jégu
    • 4
  1. 1.IRIT-ENSEEIHTToulouseFrance
  2. 2.LAASToulouseFrance
  3. 3.ONERA-CERTToulouseFrance
  4. 4.AirbusToulouseFrance

Personalised recommendations