Timing Parameter Characterization of Real-Time Systems

2003 ◽  
pp. 23-34 ◽  
Author(s):  
Farn Wang ◽  
Hsu-Chun Yen
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Time Systems ◽  
Timing Parameter

scholarly journals Reachability solution characterization of parametric real-time systems

2004 ◽  
Vol 328 (1-2) ◽  
pp. 187-201 ◽  
Author(s):  
Farn Wang ◽  
Hsu-Chun Yen
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Time Systems

scholarly journals Unifying Equivalences for Timed Transition Systems

10.29007/kkds ◽  
2018 ◽  
Author(s):  
Irina Virbitskaite ◽  
Natalya Gribovskaya ◽  
Eike Best
Keyword(s):  
Real Time ◽  
Linear Time ◽  
Time Spectrum ◽  
Branching Time ◽  
Real Time Systems ◽  
Transition Systems ◽  
Abstract Characterization ◽  
Time Systems ◽  
Open Maps

Timed transition systems are a widely studied model for real-time systems.The intention of the paper is to show how several categorical (open maps, path-bisimilarity and coalgebraic) approaches to an abstract characterization ofbisimulation relate to each other and to the numerous suggested behavioral equivalences of linear time -- branching time spectrum, in the setting of timed transition systems.

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
Sign in / Sign up

Export Citation Format

Share Document