Early Validation of Real-Time Systems by Model Execution

1996 ◽  
Vol 29 (1) ◽  
pp. 7153-7158
Author(s):  
Miguel A. de Miguel ◽  
Juan C. Dueñas ◽  
Alvaro Rendón ◽  
Juan A. de la Puente ◽  
Alejandro Alonso ◽  
...  
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Early Validation ◽  
Model Execution ◽  
Time Systems

scholarly journals Hippo: A formal-model execution engine to control and verify critical real-time systems

2021 ◽  
pp. 111033
Author(s):  
Pierre-Emmanuel Hladik ◽  
Félix Ingrand ◽  
Silvano Dal Zilio ◽  
Reyyan Tekin
Keyword(s):  
Real Time ◽  
Formal Model ◽  
Real Time Systems ◽  
Execution Engine ◽  
Model Execution ◽  
Time 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

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