Abstract
RTCP-nets are a subclass of coloured Petri nets formed in order to support specification, design, validation, and verification of embedded systems. The advantages of the nets are directly visible in rapid modelling of the so-called rule-based control systems that are widely applied. A method of embedded systems’ modelling based on RTCP-nets has been presented in the paper. The formalism is supported by software tool called Adder. This tool provides an integrated environment supporting formal specification and design of embedded systems.
Research supported from a KBN Research Project No.: 4 T11C 035 24
Chapter PDF
Similar content being viewed by others
References
Cheng A. M. K. Real-time Systems. Scheduling, Analysis, and Verification. Wiley Interscience, New Jersey, 2002.
Heitmeyer, C., Mandrioli, D. (Eds.) Formal Methods for Real-Time Computing. Jonh Wiley & Sons, Chichester, 1996.
Jensen K. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, volume 1–3. Springer-Verlag, 1992–1997.
Ligęza A. Logical Foundations of Rule-Based Systems. Springer-Verlag, Berlin, 2006.
Szpyrka M. Analysis of RTCP-nets with reachability graphs. Fundamenta Informaticae, 2006 (to appear).
Szpyrka M. Fast and flexible modelling of real-time systems with RTCP-nets. Computer Science, 6:81–94, 2004.
Szpyrka M., Szmuc T. D-nets — Petri net form of rule-based systems. Foundations of Computing and Decision Sciences, 31(2):157–167, 2006.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 International Federation for Information Processing
About this paper
Cite this paper
Szpyrka, M., Szmuc, T. (2006). Integrated Approach to Modelling and Analysis using RTCP-nets. In: Sacha, K. (eds) Software Engineering Techniques: Design for Quality. IFIP International Federation for Information Processing, vol 227. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-39388-9_11
Download citation
DOI: https://doi.org/10.1007/978-0-387-39388-9_11
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-39387-2
Online ISBN: 978-0-387-39388-9
eBook Packages: Computer ScienceComputer Science (R0)