%0 Journal Article
%T Fast and Flexible Modelling of Real-Time Systems with RTCP-Nets
%A Marcin Szpyrka
%J Computer Science
%D 2004
%I AGH University of Science and Technology Press
%X 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.
%K Real-time systems
%U http://www.csci.agh.edu.pl/56/1/cs2004%2D06.pdf