TRIO, a logic formalism for the specification of real-time systems

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 o...

Full description

Saved in:
Bibliographic Details
Main Authors: Morzenti, A., Ratto, E., Roncato, M., Zoccolante, L.
Format: Conference Proceeding
Language:English
Subjects:
Automation
Calculus
Connectors
Control systems
Data processing
Discrete event simulation
Kernel
Logic
Real time systems
Time factors
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.< >
DOI:10.1109/EMWRT.1989.43437