Design and development of a proof-of-concept platooning application using the HIDENETS architecture

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2009, Pages 223-228

  Marques, Luís ^a   Casimiro, António ^a   Calha, Mário ^a  

^a UNIVERSITY OF LISBON   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN AND DEVELOPMENT; DYNAMIC ENVIRONMENTS; PROOF OF CONCEPT; SAFETY-CRITICAL; UNCERTAIN ENVIRONMENTS; WIRELESS COMMUNICATIONS;

HYBRID SYSTEMS; MIDDLEWARE;

WIRELESS NETWORKS;

EID: 70449914812     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2009.5270334     Document Type: Conference Paper

References (8)

1. A. Bondavalli, A. Ceccarelli, and L. Falai. Assuring resilient time synchronization. In Proc. of the 27th International Symposium on Reliable Distributed Systems, pages 3-12, Napoli, Italy, oct 2008.
2. A. Casimiro, P. Lollini, M. Dixit, A. Bondavalli, and P. Veríssimo. A framework for dependable qos adaptation in probabilistic environments. In 23rd ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track, pages 2192-2196, Fortaleza, Ceara, Brazil, Mar. 2008.
3. J. A. et al. Revised reference model. June 2007. EU FP6 IST project HIDENETS, Deliverable D1.2.
4. H. Moniz, N. F. Neves, M. Correia, and P. Veríssimo. Randomized intrusion-tolerant asynchronous services. In DSN '06: Proceedings of the International Conference on Dependable Systems and Networks (DSN'06), pages 568-577, jun 2006.
5. H. W. site. http://www.hidenets.aau.dk/.
6. T. W. site. http://torcs.sourceforge.net/.
7. P. Varaiya. Smart cars on smart roads: Problems of control. IEEE Transactions on Automatic Control, 38(2):195-207, 1993.
8. P. Verissimo. Travelling through wormholes: a new look at distributed systems models. SIGACT News, 37(1):66-81, 2006.