A methodology for an incremental, logical specification of real-time systems

2002 ◽  
Author(s):  
E. Corsetti ◽  
A. Montanari ◽  
E. Ratto
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Logical Specification ◽  
Time Systems

scholarly journals Embedding time granularity in a logical specification language for synchronous real-time systems

1993 ◽  
Vol 20 (1-2) ◽  
pp. 141-171 ◽  
Author(s):  
E. Ciapessoni ◽  
E. Corsetti ◽  
A. Montanari ◽  
P. San Pietro
Keyword(s):  
Real Time ◽  
Specification Language ◽  
Real Time Systems ◽  
Logical Specification ◽  
Time Systems

scholarly journals Automatic Synthesis of Real Time Systems

1994 ◽  
Vol 1 (45) ◽  
Author(s):  
Jørgen H. Andersen
Keyword(s):  
Real Time ◽  
Model Construction ◽  
Real Time Systems ◽  
Automatic Synthesis ◽  
Prototype Implementation ◽  
Construction Problem ◽  
Verification Tool ◽  
Logical Specification ◽  
Direct Model ◽  
Time Systems

This paper presents a method for automatically constructing real time systems directly from their specifications. The model-construction problem is considered for implicit specifications of the form: <br />(A_1 | . . . | A_n | X) sat S <br /> where S is a real time (logical) specification, A_1, ... , A_n are given (regular) timed agents and the problem is to decide whether there exists (and if possible exhibit) a real time agent X which when put in parallel with A_1, ..., A_n will yield a network satisfying S. The method presented proceeds in two steps: first, the implicit specification of X is transformed into an equivalent direct specification of X; second, a model for this direct specification is constructed (if possible) using a direct model construction algorithm. A prototype implementation of our method has been added to the real time verification tool EPSILON.

Software Engineering for Real Time Systems

IEE Review ◽  
1992 ◽  
Vol 38 (3) ◽  
pp. 112
Author(s):  
Stuart Bennett
Keyword(s):  
Software Engineering ◽  
Real Time ◽  
Real Time Systems ◽  
Time Systems

Generic Round Robin Scheduling for Real Time Systems

2017 ◽  
Vol 7 (5) ◽  
pp. 148-155
Author(s):  
Pallab Banerjee ◽  
◽  
Riya Shree ◽  
Richa Kumari Verma ◽  
◽  
...  
Keyword(s):  
Real Time ◽  
Round Robin ◽  
Real Time Systems ◽  
Time Systems

Elastic scheduling in real-time systems

2013 ◽  
Vol 32 (2) ◽  
pp. 573-577
Author(s):  
Zhi-bang YANG ◽  
Cheng XU ◽  
Xu ZHOU ◽  
Xue-qing ZHU
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Time Systems ◽  
Elastic Scheduling
Sign in / Sign up

Export Citation Format

Share Document