Timing Analysis of Distributed End-to-End Task Graphs with Model-Checking

2005 ◽  
pp. 214-223 ◽  
Author(s):  
Zonghua Gu
Keyword(s):  
Model Checking ◽  
Timing Analysis ◽  
Task Graphs ◽  
End To End

Refining Timing Requirements in Extended Models of Legacy Vehicular Embedded Systems Using Early End-to-end Timing Analysis

2016 ◽  
pp. 497-508 ◽  
Author(s):  
Saad Mubeen ◽  
Thomas Nolte ◽  
John Lundbäck ◽  
Mattias Gålnander ◽  
Kurt-Lennart Lundbäck
Keyword(s):  
Embedded Systems ◽  
Timing Analysis ◽  
End To End

scholarly journals Translating end-to-end timing requirements to timing analysis model in component-based distributed real-time systems

2012 ◽  
Vol 9 (4) ◽  
pp. 17-20 ◽  
Author(s):  
Saad Mubeen ◽  
Jukka Mäki-Turja ◽  
Mikael Sjödin
Keyword(s):  
Real Time ◽  
Timing Analysis ◽  
Real Time Systems ◽  
Analysis Model ◽  
End To End ◽  
Time Systems

scholarly journals Scalable and Precise Refinement of Cache Timing Analysis via Model Checking

2011 ◽  
Author(s):  
Sudipta Chattopadhyay ◽  
Abhik Roychoudhury
Keyword(s):  
Model Checking ◽  
Timing Analysis

Scheduling multiple task graphs with end-to-end deadlines in distributed real-time systems utilizing imprecise computations

2010 ◽  
Vol 83 (6) ◽  
pp. 1004-1014 ◽  
Author(s):  
Georgios L. Stavrinides ◽  
Helen D. Karatza
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Task Graphs ◽  
End To End ◽  
Time Systems ◽  
Multiple Task

scholarly journals End-to-end timing analysis of cause-effect chains in automotive embedded systems

2017 ◽  
Vol 80 ◽  
pp. 104-113 ◽  
Author(s):  
Matthias Becker ◽  
Dakshina Dasari ◽  
Saad Mubeen ◽  
Moris Behnam ◽  
Thomas Nolte
Keyword(s):  
Embedded Systems ◽  
Timing Analysis ◽  
End To End

Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts

2008 ◽  
Author(s):  
Swarup Mohalik ◽  
A. C. Rajeev ◽  
Manoj G. Dixit ◽  
S. Ramesh ◽  
P. Vijay Suman ◽  
...  
Keyword(s):  
Model Checking ◽  
Real Time ◽  
Real Time Systems ◽  
End To End ◽  
Time Systems

scholarly journals Energy-aware Scheduling of Task Graphs with Imprecise Computations and End-to-end Deadlines

2020 ◽  
Vol 25 (1) ◽  
pp. 1-21 ◽  
Author(s):  
Amirhossein Esmaili ◽  
Mahdi Nazemi ◽  
Massoud Pedram
Keyword(s):  
Energy Aware ◽  
Task Graphs ◽  
Energy Aware Scheduling ◽  
End To End

End-to-End Timing Analysis of Sporadic Cause-Effect Chains in Distributed Systems

2019 ◽  
Vol 18 (5s) ◽  
pp. 1-24 ◽  
Author(s):  
Marco Dürr ◽  
Georg Von Der Brüggen ◽  
Kuan-Hsun Chen ◽  
Jian-Jia Chen
Keyword(s):  
Distributed Systems ◽  
Timing Analysis ◽  
End To End
Sign in / Sign up

Export Citation Format

Share Document