A profile for high-integrity real-time Java programs

Fourth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISORC 2001 ◽

10.1109/isorc.2001.922813 ◽

2002 ◽

Author(s):

P. Puschner ◽

A. Wellings

Keyword(s):

Real Time ◽

Java Programs ◽

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

Using global data flow analysis on bytecode to aid worst case execution time analysis for real-time Java programs

Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems - JTRES '08 ◽

10.1145/1434790.1434806 ◽

2008 ◽

Author(s):

James J. Hunt ◽

Isabel Tonin ◽

Fridtjof B. Siebert

Keyword(s):

Real Time ◽

Execution Time ◽

Data Flow ◽

Flow Analysis ◽

Time Analysis ◽

Data Flow Analysis ◽

Worst Case Execution Time ◽

Java Programs ◽

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

A methodology for compilation of high-integrity real-time programs

Euro-Par'97 Parallel Processing - Lecture Notes in Computer Science ◽

10.1007/bfb0002883 ◽

1997 ◽

pp. 1274-1281 ◽

Author(s):

Karl Lermer ◽

Colin Fidge

Keyword(s):

Real Time ◽

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

LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper)

2009 Seventh IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2009.13 ◽

2009 ◽

Author(s):

Christian Colombo ◽

Gordon J. Pace ◽

Gerardo Schneider

Keyword(s):

Real Time ◽

Download Full-text

The Ravenscar profile for high-integrity Java programs?

10.1145/374370.374382 ◽

2001 ◽

Author(s):

Brian Dobbing

Keyword(s):

Java Programs ◽

High Integrity ◽

Ravenscar Profile

Download Full-text