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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
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)
Cheng, A.M.K.: Real-Time Systems: Scheduling, Analysis, and Verification. John Wiley & Sons, Inc., New York (2002)
Ekelin, C.: An Optimization Framework for Scheduling of Embedded Real-Time Systems. PhD thesis, Chalmers University of Technology (2004)
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)
Grolleau, E., Choquet-Geniet, A.: Off-line computation of real-time schedules using petri nets. Discrete Event Dynamic Systems 12(3), 311–333 (2002)
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)
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)
ILOG. OPL Studio, http://www.ilog.com/products/oplstudio/
Pop, P., Eles, P., Peng, Z.: Analysis and Synthesis of Distributed Real-Time Embedded Systems. Kluwer Academic Publishers, Dordrecht (2004)
Rossi, F., van Beek, P., Walsh, T. (eds.): Handbook of Constraint Programming. Elsevier, Amsterdam (2006)
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)
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)
Schild, K., Würtz, J.: Scheduling of time-triggered real-time systems. Constraints 5(4), 335–357 (2000)
Author information
Authors and Affiliations
Editor information
Rights 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)