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.
Petri Nets Modeling for the Schedulability Analysis of Industrial Real Time Systems / Pepi, Stefano; Fantechi, Alessandro. - ELETTRONICO. - (2016), pp. 5-13. (Intervento presentato al convegno International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn 2016) [10.5220/0005841700050013].
Petri Nets Modeling for the Schedulability Analysis of Industrial Real Time Systems
PEPI, STEFANO;FANTECHI, ALESSANDRO
2016
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.File | Dimensione | Formato | |
---|---|---|---|
AMARETTO_2016_1.pdf
Accesso chiuso
Tipologia:
Pdf editoriale (Version of record)
Licenza:
Tutti i diritti riservati
Dimensione
495.31 kB
Formato
Adobe PDF
|
495.31 kB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.