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

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

Flexible group communication protocol for distributed systems

17th International Conference on Advanced Information Networking and Applications, 2003. AINA 2003. ◽

10.1109/aina.2003.1192845 ◽

2003 ◽

Author(s):

T. Enokido ◽

M. Takizawa

Keyword(s):

Distributed Systems ◽

Communication Protocol ◽

Group Communication

Download Full-text

Flow-Based Mode Changes: Towards Virtual Uniprocessor Models for Efficient Reduction-Based Schedulability Analysis of Distributed Systems

2009 30th IEEE Real-Time Systems Symposium ◽

10.1109/rtss.2009.44 ◽

2009 ◽

Author(s):

Praveen Jayachandran ◽

Tarek Abdelzaher

Keyword(s):

Distributed Systems ◽

Schedulability Analysis ◽

Efficient Reduction

Download Full-text

A Self-Manageable Group Communication Protocol for Partially Synchronous Distributed Systems

2011 5th Latin-American Symposium on Dependable Computing ◽

10.1109/ladc.2011.24 ◽

2011 ◽

Cited By ~ 2

Author(s):

Raimundo Jose de Araujo Macedo ◽

Allan Edgard Silva Freitas ◽

Alirio Santos de Sa

Keyword(s):

Distributed Systems ◽

Communication Protocol ◽

Group Communication

Download Full-text

Reduction-based schedulability analysis of distributed systems with cycles in the task graph

Real-Time Systems ◽

10.1007/s11241-010-9098-1 ◽

2010 ◽

Vol 46 (1) ◽

pp. 121-151 ◽

Cited By ~ 5

Author(s):

Praveen Jayachandran ◽

Tarek Abdelzaher

Keyword(s):

Distributed Systems ◽

Schedulability Analysis ◽

Task Graph

Download Full-text

Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems

Communications in Computer and Information Science - Formal Techniques for Safety-Critical Systems ◽

10.1007/978-3-319-05416-2_14 ◽

2014 ◽

pp. 212-228 ◽

Cited By ~ 5

Author(s):

Youcheng Sun ◽

Romain Soulat ◽

Giuseppe Lipari ◽

Étienne André ◽

Laurent Fribourg

Keyword(s):

Distributed Systems ◽

Real Time ◽

Schedulability Analysis ◽

Fixed Priority

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

Secure group communication protocol for distributed systems

Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93 ◽

10.1109/cmpsac.1993.404230 ◽

2002 ◽

Cited By ~ 1

Author(s):

M. Takizawa ◽

H. Mita

Keyword(s):

Distributed Systems ◽

Communication Protocol ◽

Group Communication ◽

Secure Group Communication

Download Full-text

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

Group communication protocol for flexible distributed systems

Proceedings of 1996 International Conference on Network Protocols (ICNP-96) ◽

10.1109/icnp.1996.564901 ◽

2002 ◽

Cited By ~ 3

Author(s):

H. Higaki ◽

M. Takizawa

Keyword(s):

Distributed Systems ◽

Communication Protocol ◽

Group Communication

Download Full-text