An Integrated Timing Analysis Methodology for Real-Time Systems

Mapping Intimacies ◽

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

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

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

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 ◽

Author(s):

Shuhua Wang ◽

Grace Tsai

Keyword(s):

Real Time ◽

Timing Analysis ◽

Real 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 ◽

Author(s):

S. Campos ◽

E. Clarke ◽

W. Marrero ◽

M. Minea

Keyword(s):

Real Time ◽

Timing Analysis ◽

Real 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 ◽

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

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 ◽

Download Full-text