Skip to main content

A Framework for Distributing Real-Time Functions

  • Conference paper
Formal Modeling and Analysis of Timed Systems (FORMATS 2008)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 5215))

  • 555 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. 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)

    Chapter  Google Scholar 

  2. 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)

    Article  Google Scholar 

  3. Cheng, A.M.K.: Real-Time Systems: Scheduling, Analysis, and Verification. John Wiley & Sons, Inc., New York (2002)

    Google Scholar 

  4. Ekelin, C.: An Optimization Framework for Scheduling of Embedded Real-Time Systems. PhD thesis, Chalmers University of Technology (2004)

    Google Scholar 

  5. 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)

    Chapter  Google Scholar 

  6. Grolleau, E., Choquet-Geniet, A.: Off-line computation of real-time schedules using petri nets. Discrete Event Dynamic Systems 12(3), 311–333 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  7. 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)

    MATH  MathSciNet  Google Scholar 

  8. 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. ILOG. OPL Studio, http://www.ilog.com/products/oplstudio/

  10. Pop, P., Eles, P., Peng, Z.: Analysis and Synthesis of Distributed Real-Time Embedded Systems. Kluwer Academic Publishers, Dordrecht (2004)

    Google Scholar 

  11. Rossi, F., van Beek, P., Walsh, T. (eds.): Handbook of Constraint Programming. Elsevier, Amsterdam (2006)

    Google Scholar 

  12. 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. 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. Schild, K., Würtz, J.: Scheduling of time-triggered real-time systems. Constraints 5(4), 335–357 (2000)

    Google Scholar 

  15. Web, http://www.cert.fr/anglais/deri/pagetti/FORMATS/

Download references

Author information

Authors and Affiliations

Authors

Editor information

Franck Cassez Claude Jard

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Boniol, F., Hladik, PE., Pagetti, C., Aspro, F., Jégu, V. (2008). A Framework for Distributing Real-Time Functions. In: Cassez, F., Jard, C. (eds) Formal Modeling and Analysis of Timed Systems. FORMATS 2008. Lecture Notes in Computer Science, vol 5215. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85778-5_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-85778-5_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-85777-8

  • Online ISBN: 978-3-540-85778-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics