Abstract | ||
---|---|---|
The intention of this paper is to show how real-time systems modeled with time Petri nets can be implemented in Ada 95. To achieve this objective, we use models of the Ada 95 tasking statements. Using reduction rules the model of the statement is reduced in order to make it recognizable in the net which models the system. Thus, we can build a catalogue of the reduced models of the Ada 95 tasking statements so that they can be used in the translation of net structures into Ada programs. |
Year | DOI | Venue |
---|---|---|
1999 | 10.1007/3-540-48753-0_14 | Ada-Europe |
Keywords | Field | DocType |
real time systems | Programming language,Petri net,Computer science,Real-time computing,Real-time operating system,Software development,The Internet,Formal verification | Conference |
Volume | ISSN | ISBN |
1622 | 0302-9743 | 3-540-66093-3 |
Citations | PageRank | References |
0 | 0.34 | 12 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Francisco José García Izquierdo | 1 | 13 | 4.55 |
J. L. Villarroel | 2 | 84 | 5.90 |