On safe service-oriented real-time coordination for autonomous vehicles

Proceedings - 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2008

Volumn , Issue , 2008, Pages 203-210

  Becker, Basil ^a   Giese, Holger ^a  

^a UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AD HOC NETWORKS; DISTRIBUTED COMPUTER SYSTEMS; MAINTENANCE; UNIFIED MODELING LANGUAGE; VEHICLES;

AD-HOC NETWORKING; AUTONOMOUS VEHICLES; BEHAVIORAL RULES; DISTRIBUTED COMPUTING; DYNAMIC STRUCTURAL CHANGES; JOINT BEHAVIOR; OBJECT DIAGRAMS; REAL TIME INTERACTIONS; SAFE SERVICE; SERVICE CONTRACTING; SERVICE-ORIENTED; STRUCTURAL CHANGES; SYSTEM OPERATIONS;

CONTRACTS;

EID: 49649090358     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISORC.2008.13     Document Type: Conference Paper

References (19)

1. J. Amsden, P. Rivett, K. Henk, F. Cummins, J. Mukerji, A. Lonjon, C. Casanave, and I. Badr. UML Profile and Metamodel for Services, June 2007. http://www.omg.org/docs/ad/07-06-03.pdf.
2. P. Baldan, A. Corradini, and B. König. A static analysis technique for graph transformation systems. In Proc. CONCUR, LNCS 2154, pages 381-395. Springer, 2001.
3. L. Baresi, R. Heckel, S. Thöne, and D. Varró. Modeling and validation of service-oriented architectures: Application vs. style. In Proc. ESEC/FSE, pages 68-77. ACM. 2003.
4. J. Bauer and R. Wilhelm. Static Analysis of Dynamic Communication Systems by Partner Abstraction, chapter 16, pages 249-264, LNCS 4634. Springer Berlin / Heidelberg, 2007.
5. B. Becker, D. Beyer, H. Giese, F. Klein, and D. Schilling. Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation. In Proc. ICSE, pages 72-81. ACM Press, 2006.
6. M. Broy, I. H. Krüger, and M. Meisinger. A formal model of services. ACM Trans. Softw. Eng. Methodol. 16(1):5, 2007.
7. M. Charpentier. Composing invariants. In Proc. FME, LNCS 2805, pages 401-421. Springer. 2003.
8. M. F. Frias, J. P. Galeotti, C. L. Pombo, and N. Aguirre. DynAlloy: Upgrading Alloy with actions. In Proc. ICSE, pages 442-451. ACM, 2005.
9. H. Giese. Modeling and verification of cooperative self-adaptive mechatronic systems. In Reliable Systems on Unreliable Networked Platforms, LNCS 4322, pages 258-280. Springer Verlag, 2007.
10. H. Giese, M. Tichy, S. Burmester, W. Schäfer, and S. Flake. Towards the compositional verification of real-time uml designs. In Proc. ESEC, pages 38-47. ACM Press, September 2003.
11. D.Jackson. Alloy: A lightweight object modelling notation. ACM Trans. Softw. Eng. and Methodol., 11(2):256-290, 2002.
12. H. Köhler, U. Nickel, J. Niere, and A. Zündorf. Integrating UML diagrams for production control systems. In Proc. ICSE, pages 241-251, ACM, 2000.
13. F. Kordon. Mastering complexity in formal analysis of complex systems: Some issues and strategies applied to intelligent transport systems. Proc. ISORC, pages 420-427, 2007.
14. P. Ölveczky and J. Meseguer. Specification and analysis of real-time systems using Real-Time Maude. In Proc. EASE, LNCS 2984, pages 354-358. Springer, 2004.
15. F. Rammig. Engineering self-coordinating real-time systems. Proc. ISORC, pages 21-28, 2007.
16. A. Rensink. Towards model checking graph grammars. In Proc. AVoCS, pages 150-160. University of Southampton. 2003.
17. G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation: Foundations, volume 1. World Scientific Pub Co, 1997.
18. D. Varró. Automated formal verification of visual modeling languages by model checking. Software and System Modeling, 3(2):85-113, 2004.
19. W. Yi, P. Pettersson, and M. Daniels. Automatic verification of real-time communicating systems by constraint-solving. In D. Hogrefe and S. Leue, editors, FORTE, volume 6 of IFIP Conference Proceedings, pages 243-258. Chapman & Hall, 1994.