Title:

An incremental formal approach to real-time systems

Author:

Ana Férnandez Vilas

Address:

Area de Ingeniería Telemática. University of Vigo. 36200 Vigo. Spain

Keyword:

Real-time systems, temporal logic, verification, requirements

Abstract:

A real-time system is one in which the correctness of the system depends not only on the logical results, but also on the time at which results are produced. Formal approach to real-time systems has been tackled extending a large amount of timeless formalisms studied at length. Once major timed problems have been completely or partially resolved, our aim is slightly different. In order to improve software quality, our intend is to merge two different nature solutions: the formalization of the software process; and a process approach which is both iterative and incremental over the whole life cycle. In this way we combine the correctness of formal methods, and the suitability of a life cycle that follows the user requirements and splits complexity.