Towards a Cache-Aware Development of High Integrity Real-Time Systems

2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications ◽

10.1109/rtcsa.2010.39 ◽

2010 ◽

Cited By ~ 1

Author(s):

Enrico Mezzetti ◽

Tullio Vardanega

Keyword(s):

Real Time ◽

Real Time Systems ◽

High Integrity ◽

Time Systems

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 ◽

Cited By ~ 5

Author(s):

A. Radjenovic ◽

R. Paige

Keyword(s):

Real Time ◽

Real Time Systems ◽

High Integrity ◽

Architecture Description Languages ◽

Architecture Description ◽

Description Languages ◽

Time Systems

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 ◽

Time Systems

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 ◽

Cited By ~ 11

Author(s):

Marco Panunzio ◽

Tullio Vardanega

Keyword(s):

Real Time ◽

Real Time Systems ◽

Component Based Development ◽

High Integrity ◽

Time Systems

Download Full-text

Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time Systems

2008 23rd IEEE/ACM International Conference on Automated Software Engineering ◽

10.1109/ase.2008.86 ◽

2008 ◽

Author(s):

Matteo Bordin ◽

Marco Panunzio ◽

Stefano Puri

Keyword(s):

Real Time ◽

Real Time Systems ◽

Model Driven ◽

High Integrity ◽

Time Systems

Download Full-text

An MDE methodology for the development of high-integrity real-time systems

2009 Design, Automation & Test in Europe Conference & Exhibition ◽

10.1109/date.2009.5090837 ◽

2009 ◽

Cited By ~ 8

Author(s):

S. Mazzini ◽

S. Puri ◽

T. Vardanega

Keyword(s):

Real Time ◽

Real Time Systems ◽

High Integrity ◽

Time Systems

Download Full-text

Model-Driven Development of High-Integrity Distributed Real-Time Systems Using the End-to-End Flow Model

2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications ◽

10.1109/seaa.2011.40 ◽

2011 ◽

Cited By ~ 2

Author(s):

Hector Perez ◽

J. Javier Gutierrez ◽

Esteban Asensio ◽

Juan Zamorano ◽

Juan A. de la Puente

Keyword(s):

Real Time ◽

Flow Model ◽

Real Time Systems ◽

Model Driven Development ◽

Model Driven ◽

High Integrity ◽

End To End ◽

Time Systems

Download Full-text

A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems

Reliable Software Technologies – Ada-Europe 2009 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01924-1_2 ◽

2009 ◽

pp. 16-29 ◽

Cited By ~ 3

Author(s):

Santiago Urueña ◽

Juan Zamorano ◽

Juan A. de la Puente

Keyword(s):

Real Time ◽

Real Time Systems ◽

High Integrity ◽

Time Systems

Download Full-text

ADA 2005 for high-integrity real-time systems

Embedded Systems Conference ESS2005 Incorporating the IEE FPGA Developers Forum ◽

10.1049/ic:20050681 ◽

2005 ◽

Author(s):

J.F. Ruiz

Keyword(s):

Real Time ◽

Real Time Systems ◽

High Integrity ◽

Time Systems

Download Full-text

PRL: Standardizing Performance Monitoring Library for High-Integrity Real-Time Systems

10.1109/iccd53106.2021.00061 ◽

2021 ◽

Author(s):

Jeremy Giesen ◽

Enrico Mezzetti ◽

Jaume Abella ◽

Francisco J. Cazorla

Keyword(s):

Real Time ◽

Performance Monitoring ◽

Real Time Systems ◽

High Integrity ◽

Time Systems

Download Full-text

Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach

Reliable Software Technologies – Ada Europe 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73230-3_9 ◽

2007 ◽

pp. 114-127 ◽

Cited By ~ 15

Author(s):

Matteo Bordin ◽

Tullio Vardanega

Keyword(s):

Real Time ◽

Real Time Systems ◽

High Integrity ◽

Time Systems

Download Full-text