Event language for real-time on-the-fly control according to the initial requirements

The paper describes a logical language (called ECL) based on Duration Calculus (DC) for,the description of the requirements and behaviour of distributed and/or real-time systems. Purpose of the language is to check the behaviour of the computer base system according to the requirements written by DC in the maintenance time of the system. Furthermore, the language supports simulation of the system behaviour in the development time. The language is supported by a multipurpose tool - the EC-console, which was developed by the author in the period 1998 to 2002. EC-console was designed to support the whole software life-cycle. It can be used to: define requirement conditions, perform simulation tests, check and control the running system on-the-fly. The first part of the paper describes the concept of the language ECL; the next part presents how the conditions written in DC are mechanically translated to the ECL, and the last one presents the recent utilization of the language during the software development process.