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 ◽

Author(s):

A.M.K. Cheng

Keyword(s):

Real Time ◽

Timing Analysis ◽

Real Time Systems ◽

Static Timing Analysis ◽

Static Timing ◽

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 ◽

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 ◽

Download Full-text

A static timing analysis environment using Java architecture for safety critical real-time systems

Proceedings of the Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002) WORDS-02 ◽

10.1109/words.2002.1000039 ◽

2003 ◽

Author(s):

E.Y.-S. Hu ◽

G. Bernat ◽

A. Wellings

Keyword(s):

Real Time ◽

Timing Analysis ◽

Real Time Systems ◽

Static Timing Analysis ◽

Static Timing ◽

Safety Critical ◽

Time Systems ◽

Analysis Environment

Download Full-text

Static timing analysis of real-time systems

10.1145/216636.216664 ◽

1995 ◽

Author(s):

M. Jourdan ◽

F. Maraninchi

Keyword(s):

Real Time ◽

Timing Analysis ◽

Real Time Systems ◽

Static Timing Analysis ◽

Static Timing ◽

Download Full-text

Static timing analysis of real-time systems

ACM SIGPLAN Notices ◽

10.1145/216633.216664 ◽

1995 ◽

Vol 30 (11) ◽

pp. 79-87

Author(s):

M. Jourdan ◽

F. Maraninchi

Keyword(s):

Real Time ◽

Timing Analysis ◽

Real Time Systems ◽

Static Timing Analysis ◽

Static Timing ◽

Download Full-text

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 ◽

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 ◽

Author(s):

Johan Kraft ◽

Yue Lu ◽

Christer Norstr ◽

Anders Wall

Keyword(s):

Real Time ◽

Timing Analysis ◽

Real Time Systems ◽

Best Effort ◽

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 ◽

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 ◽

Author(s):

Saad Mubeen ◽

Jukka Mäki-Turja ◽

Mikael Sjödin

Keyword(s):

Real Time ◽

Timing Analysis ◽

Real Time Systems ◽

Analysis Model ◽

Download Full-text

An Integrated Timing Analysis Methodology for Real-Time Systems

10.4271/2011-01-0444 ◽

2011 ◽

Author(s):

Daniel Kästner ◽

Marek Jersak ◽

Christian Ferdinand ◽

Peter Gliwa ◽

Reinhold Heckmann

Keyword(s):

Real Time ◽

Timing Analysis ◽

Real Time Systems ◽

Analysis Methodology ◽

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 ◽

Author(s):

N.C. Audsley ◽

K. Bletsas

Keyword(s):

Real Time ◽

Timing Analysis ◽

Real Time Systems ◽

Fixed Priority ◽

Download Full-text