TCPN-Based Tool for Timing Constraints Modelling and Validation

Authors:
Sławomir Samolej;Tomasz Szmuc
Affiliations:
Computer and Control Engineering Chair, Rzeszów University of Technology, ul. W. Pola 2, 35-959 Rzeszów, Poland, e-mail: ssamolej@prz-rzeszow.pl;Institute of Automatics, AGH University of Science and Technology, Al. Mickiewicza 30, 30-059 Kraków, Poland, e-mail: tsz@agh.edu.pl
Venue:
Proceedings of the 2005 conference on Software Engineering: Evolution and Emerging Technologies
Year:
2005

Citing 10
Cited 1

A Unified High-Level Petri Net Formalism for Time-Critical Systems

IEEE Transactions on Software Engineering
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1

Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns

Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

Journal of the ACM (JACM)
A formal design notation for real-time systems

ACM Transactions on Software Engineering and Methodology (TOSEM)
An approach to modeling and evaluation of functional and timing specifications of real-time systems

Journal of Systems and Software
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications

Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications
Real-Time Systems and Programming Languages: ADA 95, Real-Time Java, and Real-Time POSIX

Real-Time Systems and Programming Languages: ADA 95, Real-Time Java, and Real-Time POSIX
Priority Inheritance Protocols: An Approach to Real-Time Synchronization

IEEE Transactions on Computers
Real-Time Systems: Scheduling, Analysis, and Verification

Real-Time Systems: Scheduling, Analysis, and Verification

HTCPNs: based tool for web-server clusters development

CEE-SET'08 Proceedings of the Third IFIP TC 2 Central and East European conference on Software engineering techniques

Quantified Score

Hi-index	0.00

Visualization

Abstract

A new software tool for hard real-time system timing constraint modelling and validation is presented. The tool consists of a set of predefined timed coloured Petri net (TCPN) structures. The structures include built-in mechanisms, which detect missing timing constraints and make it possible to validate the timing correctness of the modelled system. The final model of the system is a hierarchical TCPN following the execution and simulation rules of CPN/Design software. The paper focuses on presenting the construction of the software tool and the guidelines for applying it in real-time system development.