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

Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models

Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems ◽

10.5220/0002503200160025 ◽

2006 ◽

Keyword(s):

Real Time ◽

Formal Specification ◽

Real Time Systems ◽

Design Models ◽

Download Full-text

Architecture description languages for high-integrity real-time systems

IEEE Software ◽

10.1109/ms.2006.36 ◽

2006 ◽

Vol 23 (2) ◽

pp. 71-79 ◽

Author(s):

A. Radjenovic ◽

R. Paige

Keyword(s):

Real Time ◽

Real Time Systems ◽

High Integrity ◽

Architecture Description Languages ◽

Architecture Description ◽

Description Languages ◽

Download Full-text

Formal specification of fault tolerant real time systems using minimal 3-sorted modal logic

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-55092-5_31 ◽

1992 ◽

pp. 571-590 ◽

Author(s):

Peter Coesmans ◽

Martin J. Wieczorek

Keyword(s):

Modal Logic ◽

Real Time ◽

Formal Specification ◽

Fault Tolerant ◽

Real Time Systems ◽

Download Full-text

The Use of Aggregate Approach for Formal Specification and Simulation of Real-Time Systems

Databases and Information Systems ◽

10.1007/978-94-015-9636-7_15 ◽

2001 ◽

pp. 189-198

Author(s):

Henrikas Pranevicius ◽

Dalius Makackas

Keyword(s):

Real Time ◽

Formal Specification ◽

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

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

On Component-Based Development and High-Integrity Real-Time Systems

2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications ◽

10.1109/rtcsa.2009.15 ◽

2009 ◽

Author(s):

Marco Panunzio ◽

Tullio Vardanega

Keyword(s):

Real Time ◽

Real Time Systems ◽

Component Based Development ◽

High Integrity ◽

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