DocumentCode
1574715
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
fYear
1989
Firstpage
26
Lastpage
30
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Real Time, 1989. Proceedings., Euromicro Workshop on
Conference_Location
Como
Print_ISBN
0-8186-1956-2
Type
conf
DOI
10.1109/EMWRT.1989.43437
Filename
43437
Link To Document