Issues with using Ravenscar and the Ada distributed systems annex for high-integrity systems

Neil Audsley; Andy Wellings

doi:10.1145/374369.374378

Issues with using Ravenscar and the Ada distributed systems annex for high-integrity systems

ACM SIGAda Ada Letters ◽

10.1145/374369.374378 ◽

2001 ◽

Vol XXI (1) ◽

pp. 33-39 ◽

Cited By ~ 2

Author(s):

Neil Audsley ◽

Andy Wellings

Keyword(s):

Distributed Systems ◽

High Integrity

Download Full-text

Communication Paradigms for High-Integrity Distributed Systems with Hard Real-Time Requirements

Distributed Embedded Systems: Design, Middleware and Resources - IFIP – The International Federation for Information Processing ◽

10.1007/978-0-387-09661-2_15 ◽

2008 ◽

pp. 151-160

Author(s):

Santiago Urueña ◽

Juan Zamorano ◽

José A. Pulido ◽

Juan A. de la Puente

Keyword(s):

Distributed Systems ◽

Real Time ◽

Time Requirements ◽

High Integrity ◽

Hard Real Time

Download Full-text

The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems

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

10.1007/11767077_18 ◽

2006 ◽

pp. 215-226

Author(s):

Santiago Urueña ◽

Juan Zamorano ◽

Daniel Berjón ◽

José A. Pulido ◽

Juan A. de la Puente

Keyword(s):

Distributed Systems ◽

Real Time ◽

Communication Protocol ◽

High Integrity

Download Full-text

Schedulability analysis of AR-TP, a Ravenscar compliant communication protocol for high-integrity distributed systems

Proceedings 20th IEEE International Parallel & Distributed Processing Symposium ◽

10.1109/ipdps.2006.1639400 ◽

2006 ◽

Cited By ~ 1

Author(s):

S. Uruena ◽

J. Zamorano ◽

D. Berjon ◽

J.A. Pulido ◽

J.A. de la Puente

Keyword(s):

Distributed Systems ◽

Communication Protocol ◽

Schedulability Analysis ◽

High Integrity

Download Full-text

Building high-integrity distributed systems with Ravenscar restrictions

ACM SIGAda Ada Letters ◽

10.1145/1316002.1316008 ◽

2007 ◽

Vol XXVII (2) ◽

pp. 29-36 ◽

Cited By ~ 2

Author(s):

Santiago Urueña ◽

Juan Zamorano

Keyword(s):

Distributed Systems ◽

High Integrity

Download Full-text