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

Using an architecture description language for quantitative analysis of real-time systems

Proceedings of the third international workshop on Software and performance - WOSP '02 ◽

10.1145/584369.584399 ◽

2002 ◽

Author(s):

Robert Allen ◽

Steve Vestal ◽

Dennis Cornhill ◽

Bruce Lewis

Keyword(s):

Quantitative Analysis ◽

Real Time ◽

Real Time Systems ◽

Description Language ◽

Architecture Description Language ◽

Architecture Description ◽

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

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

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 ◽

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 ◽

Author(s):

S. Mazzini ◽

S. Puri ◽

T. Vardanega

Keyword(s):

Real Time ◽

Real Time Systems ◽

High Integrity ◽

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 ◽

Author(s):

Hector Perez ◽

J. Javier Gutierrez ◽

Esteban Asensio ◽

Juan Zamorano ◽

Juan A. de la Puente

Keyword(s):

Real Time ◽

Real Time Systems ◽

Model Driven Development ◽

Model Driven ◽

High Integrity ◽

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 ◽

Author(s):

Santiago Urueña ◽

Juan Zamorano ◽

Juan A. de la Puente

Keyword(s):

Real Time ◽

Real Time Systems ◽

High Integrity ◽

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 ◽

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 ◽

Download Full-text

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 ◽

Author(s):

Enrico Mezzetti ◽

Tullio Vardanega

Keyword(s):

Real Time ◽

Real Time Systems ◽

High Integrity ◽

Download Full-text