Wattanapong Kurdthongmee

pp. 381 - 394

Abstract

A real-time system is a computer system that monitors or controls an external environment. The
system must meet various timing and other constraints that are imposed on it by the real-time behaviour
of the external world. One of the differences between a real-time and a conventional software is that a
real-time program must be both logically and temporally correct. To successfully design and implement
a real-time system, some analysis is typically done to assure that requirements or designs are consistent and
that they satisfy certain desirable properties that may not be immediately obvious from specification. Executable specifications, prototypes and simulation are particularly useful in real-time systems for debugging
specifications. In this paper, we propose the adaptations to the coloured Petri-net theory to ease the modeling,
simulation and code generation process of an embedded, microcontroller-based, real-time system. The benefits of the proposed approach are demonstrated by use of our prototype software tool called ENVisAge
(an Extended Coloured Petri-Net Based Visual Application Generator Tool).