Petri Nets Modeling for the Schedulability Analysis of Industrial Real Time Systems

Alessandro Fantechi, Stefano Pepi

Abstract

In the experience of a railway signaling manufacturer, schedulability analysis takes an important portion of the time dedicated to configure a complex, generic, real-time application into a specifically customized signalling embedded application. We report on an approach aimed at substituting possibly unreliable and costly empirical measures with rigorous analysis. The analysis is done resorting to modeling the scheduling algorithms by Petri Nets. We have compared two types of Petri Nets: Timed Petri Nets (TPN) and Coloured Petri Nets (CPN), supported by open source tools, respectively TINA and CPN Tools 4.0 concluding that the latter are more suited for the dealt problem.

References

  1. van der Aalst, W. M. P. (1996). Petri Net based scheduling. In Operations-Research-Spektrum vol.18 (219- 229). Springer-Verlag.
  2. Alur, Rajeev and Dill, David (1992). The theory of timed automata. In 17th Real-Time: Theory in Practice, Lecture Notes in Computer Science vol.600 (45-73). Springer.
  3. Barreto, R., Cavalcante, S., and Maciel, P. (2004). A time Petri Net approach for finding preruntime schedules in embedded hard real-time systems. In Distributed Computing Systems Workshops (846-851), 2004. Proceedings. IEEE.
  4. Berthomieu, B. and Vernadat, F. (2006). Time Petri Nets analysis with TINA. In Quantitative Evaluation of Systems (123-124), 2006. IEEE.
  5. Berthomieu, B., Diaz, M. (1991) Modeling and Verification of Time dependent system using Time Petri Nets. IEEE Transactions on Software Engineering, vol. 17 , no. 3 (259-273). IEEE.
  6. Buttazzo, G. (2011). Hard Real-Time Computing System. Springer, New York, 3rd edition.
  7. Cenelec (1996). Cenelec en 50128. In Railway Applications - Communications, Signalling and Processing Systems - Software for Railway Control and Protection Systems.
  8. CPNTools (2015). <http://http://cpntools.org/>.
  9. Fantechi, A. (2013) Twenty-Five Years of Formal Methods and Railways: What Next? SEFM Workshops 2013, Lecture Notes in Computer Science vol.8368 (167-183), Springer.
  10. Grolleau, E., Choquet-Geniet, A. (2002). Off-line computation of real-time schedules using Petri Nets. In Discrete Event Dynamic Systems, vol.12, no.3 (311-333). Springer.
  11. Guillaume Gardey, Didier Lime, Morgan Magnin, and Olivier (H.) Roux (2005). Romo: A tool for analyzing time Petri nets. In 17th International Conference on Computer Aided Verification (CAV05), Lecture Notes in Computer Science vol.3576 (418-423), Edinburgh, Scotland. Springer.
  12. Jensen, K. (1987). Coloured Petri Nets. In Petri Nets: Central Models and Their Properties. Lecture Notes in Computer Science, vol.254 (248-299), Springer.
  13. Jensen, K., Kristensen, L. M., and Wells, L. (2007). Coloured Petri Nets and CPN tools for modelling and validation of concurrent systems. In International Journal on Software Tools for Technology Transfer, vol.9, no.3 (213-254) Springer-Verlag.
  14. Leveson, N. G., Stolzy, J. L. (1987) Safety Analysis using Petri Nets. IEEE Transactions on Software Engineering, vol.13, no.3
  15. Liu, C. L. and Layland, J. W. (1973). Scheduling algorithms for multiprogramming in a hard-real-time environment. In Journal of the ACM, vol.20, no.1 (46-61). ACM.
  16. Murata, T. (1989). Petri Nets: Properties, analysis and applications. In Proceedings of the IEEE, vol.77, no.4 (541-580). IEEE.
  17. Peterson, J. L. (1981). Petri Net Theory and the Modeling of Systems. Prentice Hall PTR, Upper Saddle River, NJ, USA.
  18. Petri, C. A. (1962). Kommunikation mit automaten. In PhD thesis. Universitat Hamburg.
  19. Ramchandani, C. (1974). Analysis of asynchronous concurrent systems by Timed Petri Nets. Massachusetts Institute of Technology.
  20. Stankovic, J. (1988). Misconceptions About Real-Time Computing. IEEE Computer, vol.21 (10-19). IEEE.
  21. TINA (2015). <http://http://http://projects.laas.fr/tina//>.
  22. Tsai, J., Jennhwa Yang, S., and Chang, Y.-H. (1995). Timing constraint Petri Nets and their application to schedulability analysis of real-time system specifications. In IEEE Transactions on Software Engineering, vol. 21, no. 1 (32-49). IEEE.
Download


Paper Citation


in Harvard Style

Fantechi A., Fantechi A., Pepi S. and Pepi S. (2016). Petri Nets Modeling for the Schedulability Analysis of Industrial Real Time Systems . In Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn - Volume 1: AMARETTO, (MODELSWARD 2016) ISBN 978-989-758-166-3, pages 5-13. DOI: 10.5220/0005841700050013


in Bibtex Style

@conference{amaretto16,
author={Alessandro Fantechi and Alessandro Fantechi and Stefano Pepi and Stefano Pepi},
title={Petri Nets Modeling for the Schedulability Analysis of Industrial Real Time Systems},
booktitle={Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn - Volume 1: AMARETTO, (MODELSWARD 2016)},
year={2016},
pages={5-13},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005841700050013},
isbn={978-989-758-166-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn - Volume 1: AMARETTO, (MODELSWARD 2016)
TI - Petri Nets Modeling for the Schedulability Analysis of Industrial Real Time Systems
SN - 978-989-758-166-3
AU - Fantechi A.
AU - Fantechi A.
AU - Pepi S.
AU - Pepi S.
PY - 2016
SP - 5
EP - 13
DO - 10.5220/0005841700050013