ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Specification and Timing Analysis of Real-Time Systems
Real-Time Systems
◽
10.1023/b:time.0000033379.78994.1a
◽
2004
◽
Vol 28
(1)
◽
pp. 69-90
◽
Cited By ~ 5
Author(s):
Shuhua Wang
◽
Grace Tsai
Keyword(s):
Real Time
◽
Timing Analysis
◽
Real Time Systems
◽
Time Systems
Download Full-text
Related Documents
Cited By
References
Formal Specification and Timing Analysis of High-Integrity Real-Time Systems
Real Time Computing - NATO ASI Series
◽
10.1007/978-3-642-88049-0_10
◽
1994
◽
pp. 187-211
Author(s):
Miguel Felder
◽
Carlo Ghezzi
◽
Mauro Pezzé
Keyword(s):
Real Time
◽
Formal Specification
◽
Timing Analysis
◽
Real Time Systems
◽
High Integrity
◽
Time Systems
Download Full-text
A Metaheuristic Approach for Best Effort Timing Analysis Targeting Complex Legacy Real-Time Systems
2008 IEEE Real-Time and Embedded Technology and Applications Symposium
◽
10.1109/rtas.2008.25
◽
2008
◽
Cited By ~ 12
Author(s):
Johan Kraft
◽
Yue Lu
◽
Christer Norstr
◽
Anders Wall
Keyword(s):
Real Time
◽
Timing Analysis
◽
Real Time Systems
◽
Best Effort
◽
Time Systems
Download Full-text
Static probabilistic timing analysis for real-time systems using random replacement caches
Real-Time Systems
◽
10.1007/s11241-014-9218-4
◽
2015
◽
Vol 51
(1)
◽
pp. 77-123
◽
Cited By ~ 27
Author(s):
Sebastian Altmeyer
◽
Liliana Cucu-Grosjean
◽
Robert I. Davis
Keyword(s):
Real Time
◽
Timing Analysis
◽
Real Time Systems
◽
Probabilistic Timing Analysis
◽
Time Systems
◽
Probabilistic Timing
Download Full-text
Translating end-to-end timing requirements to timing analysis model in component-based distributed real-time systems
ACM SIGBED Review
◽
10.1145/2452537.2452539
◽
2012
◽
Vol 9
(4)
◽
pp. 17-20
◽
Cited By ~ 2
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
Download Full-text
An Integrated Timing Analysis Methodology for Real-Time Systems
10.4271/2011-01-0444
◽
2011
◽
Cited By ~ 4
Author(s):
Daniel Kästner
◽
Marek Jersak
◽
Christian Ferdinand
◽
Peter Gliwa
◽
Reinhold Heckmann
Keyword(s):
Real Time
◽
Timing Analysis
◽
Real Time Systems
◽
Analysis Methodology
◽
Time Systems
Download Full-text
Fixed priority timing analysis of real-time systems with limited parallelism
Proceedings. 16th Euromicro Conference on Real-Time Systems, 2004. ECRTS 2004.
◽
10.1109/emrts.2004.1311025
◽
2004
◽
Cited By ~ 6
Author(s):
N.C. Audsley
◽
K. Bletsas
Keyword(s):
Real Time
◽
Timing Analysis
◽
Real Time Systems
◽
Fixed Priority
◽
Time Systems
Download Full-text
Timing analysis of industrial real-time systems
Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques
◽
10.1109/wift.1995.515482
◽
2002
◽
Cited By ~ 10
Author(s):
S. Campos
◽
E. Clarke
◽
W. Marrero
◽
M. Minea
Keyword(s):
Real Time
◽
Timing Analysis
◽
Real Time Systems
◽
Time Systems
Download Full-text
Fast static timing analysis of real-time systems
Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences
◽
10.1109/hicss.1992.183303
◽
1992
◽
Cited By ~ 1
Author(s):
A.M.K. Cheng
Keyword(s):
Real Time
◽
Timing Analysis
◽
Real Time Systems
◽
Static Timing Analysis
◽
Static Timing
◽
Time Systems
Download Full-text
Static Timing Analysis for Hard Real-Time Systems
Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation
◽
10.1007/978-3-642-11319-2_3
◽
2010
◽
pp. 3-22
◽
Cited By ~ 15
Author(s):
Reinhard Wilhelm
◽
Sebastian Altmeyer
◽
Claire Burguière
◽
Daniel Grund
◽
Jörg Herter
◽
...
Keyword(s):
Real Time
◽
Timing Analysis
◽
Real Time Systems
◽
Static Timing Analysis
◽
Static Timing
◽
Hard Real Time
◽
Time Systems
Download Full-text
Reservation-based timing analysis - a practical engineering approach for distributed real-time systems
Proceedings. Eighth Annual IEEE International Conference and Workshop On the Engineering of Computer Based Systems-ECBS 2001
◽
10.1109/ecbs.2001.922411
◽
2002
◽
Author(s):
A. Grigg
◽
N. Audsley
Keyword(s):
Real Time
◽
Timing Analysis
◽
Real Time Systems
◽
Engineering Approach
◽
Practical Engineering
◽
Time Systems
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close