Number: CS 29/91
Author(s): MOTUS, Leo, VAIN, Jyri.
Title: CONRAD -- a system for evaluating behavioural properties of embedded software. 18 p.
Language: English
Keywords: Q-model; specification; project heredity tree; animation; evaluation;
formal analysis of timing and structural correctness.
ABSTRACT. This paper introduces some aspects of a real-time software
specification environment CONRAD (CONtrol software Requirements, Analysis
and Design). The environment is developed to support stepwise description
and formal analysis of timing and behavioural properties of embedded
systems. Its general architecture and functioning is explained. CONRAD
comprises of four functional parts - GOVERNOR, EDITOR, ANIMATOR, and
EVALUATOR. Main emphasis of this paper is on the description of
EVALUATOR.Measured (by simulation on the sample system prototype) and
evaluated (on the specification of the sample system by using analytical
formulae) characteristics are compared. The message of this paper is: in
many cases analytical methods are preferable to simulational study,
especially when checking timing properties and evaluating performance
characteristics of real-time, embedded systems.