Search
 
loader loading subjects...
cover
Development of Safety-Critical Systems with RTCP-Nets Support
Marcin Szpyrka
394 - 399
Frontiers in Artificial Intelligence and Applications
Volume 130: Software Engineering: Evolution and Emerging Technologies
Abstract

Safety-critical systems require the utmost care in their specification and design to avoid errors in their implementation. Development of such systems may be supported by formal methods. The paper presents a subclass of timed coloured Petri nets called RTCP-nets that may be used for the modelling and analysis of safety-critical systems. Subclass of RTCP-nets is described shortly and some aspects of the modelling of safety-critical systems with RTCP-nets and implementation in Ada are also presented. (The work is carried out within KBN Research Project, Grant No. 4 T11C 035 24.)

$35.00 / €27.50 / £22.00
Add PDF to cart