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

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

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