Description

• Title:
  FAST AND FLEXIBLE MODELLING OF REAL-TIME SYSTEMS WITH RTCP-NETS
• Creator:
  Szpyrka, Marcin
• Description:
  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.
• Object availability:
  free access
• Date:
  2013.07.23
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion;
  Peer-reviewed Article
• Language:
  English
• Source:
  Computer Science; Vol. 6; 81;
  2300-7036;
  1508-2806
• Format:
  application/pdf
• Publisher:
  AGH University of Krakow, Faculty of Computer Science
• Relation: https://journals.agh.edu.pl/csci/article/view/498/379
• Subject:
  RTCP-nets;
  real-time systems;
  modelling
• Identifier: https://journals.agh.edu.pl/csci/article/view/498 ;
  10.7494/csci.2004.6.5.81
• Data provider:
  AGH University of Science and Technology Journals
• Can I use it?:
  seek permission
• Type:
  text