Title :
TRIO, a logic formalism for the specification of real-time systems
Author :
Morzenti, Angelo ; Ratto, Elena ; Roncato, Marco ; Zoccolante, Luigi
Author_Institution :
Milan Polytech., Italy
Abstract :
Results are presented of a research project aimed at the definition of an executable logic formalism for the specification of real-time systems. The logic language TRIO allows the specifier to express formally and quantitatively the temporal properties of the specified systems. A formal definition of execution of specifications in terms of generation of interpretations for the corresponding formulas is given. Also given are the conditions and degrees of generality in which such execution is possible. A specification environment based on the TRIO formalism is outlined
Keywords :
formal specification; real-time systems; software tools; specification languages; TRIO; executable logic formalism; interpretations; logic formalism; logic language; real-time systems; specification; specification environment; temporal properties; Automation; Calculus; Connectors; Control systems; Data processing; Discrete event simulation; Kernel; Logic; Real time systems; Time factors;
Conference_Titel :
Real Time, 1989. Proceedings., Euromicro Workshop on
Conference_Location :
Como
Print_ISBN :
0-8186-1956-2
DOI :
10.1109/EMWRT.1989.43437
