FAST AND FLEXIBLE MODELLING OF REAL-TIME SYSTEMS WITH RTCP-NETS

Marcin Szpyrka

doi:10.7494/csci.2004.6.5.81

Authors

Marcin Szpyrka AGH University of Science and Technology

DOI:

https://doi.org/10.7494/csci.2004.6.5.81

Keywords:

RTCP-nets, real-time systems, modelling

Abstract

A large number of formalisms has been proposed for real-time systems modelling. However, formal methods are not widely used in industrial software development. Such a situation could be treated as a result of a lack of suitable tools for fast designing of a model, its analysis and modification. RTCP-nets have been defined to facilitate fast modelling of embedded systems incorporating rule-based systems. Computer tools that are being developed for RTCP-nets, use a template mechanism to allow users to design models and manipulate its properties fast and effectively. Both theoretical and practical aspects of RTCP-nets are presented in the paper.

Downloads

Download data is not yet available.

Author Biography

Marcin Szpyrka, AGH University of Science and Technology

Institute of Automatics

References

Cheng A. M. K.: Real-time systems. Scheduling, Analysis, and Verification. New Yersey, Wiley Interscience 2002

Jensen K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Vol. 1–3, Springer 1992–97

Sommerville I.: Software Engineering. Pearson-Addison Wesley 2004

Szmuc T.: Zaawansowane metody tworzenia oprogramowania systemów czasu rzeczywistego. Kraków, CCATIE 1998

Szpyrka M.: Algebraic-Graphical Methods of Knowledge Analysis and Verification – theoretical aspects. In: Cybernetics and Systems 2002 – Proceedings of the Sixteenth European Meeting on Cybernetics and Systems Research, Vienna, Austria, 2002, p 812–817

Szpyrka M., Szmuc T.: RTCP-nets as a Tool for Real-Time Systems Modelling and Analysis. In: Colnaric M., Adamski M., Węgrzyn M. (Eds): Real-Time Programming 2003 – Proceedings of the 27th IFAC/IFIP/IEEE Workshop on RealTime Programming, Łagów, Poland 2003, p. 21–26

Szpyrka M., Szmuc T., Matyasik P., Szmuc W.: Formal Approach to Modelling of Real-time Systems with RTCP-nets. Foundation of Computing and Decision Sciences, vol. 30, no. 1, 2005, pp. 61–71

Szpyrka M., Szmuc T.: New Time Model and Design Method for RTCP-nets. The Proceedings of 29th IFAC/IFIP Workshop on Real-Time Programming WRTP 2004, Istanbul, Turkey, 2004