Project code:CES.5009
Research group: Specification and Analysis of Embedded Systems (SEN2)
Start: 2000-06-01
End: 2004-05-31
Project coordinator: Dr. J.C. van de Pol
Thales builds complex distributed, real-time systems air traffic management systems. Their software architecture SPLICE has been used in command and control systems on frigates and for the control of the metro in Amsterdam. In this project we specify and analyse the services provided by SPLICE.
Members
Drs. S.M. Orzan, Dr. J.C. van de Pol, Ir. M.A. Valero Espada
Key publications
- Simona Orzan and Jaco van de Pol, Distribution of a simple shared dataspace architecture , In: Proc. of the 1st Int. Workshop on Foundations of Coordination Languages and Software Architectures, Brno, Czech Republic, August 2002, FLOCASA, To appear in ENTCS 68(3).
- Jaco van de Pol and Miguel Valero Espada, muCRL specification of Event Notification in JavaSpaces, In Proc. of X Jornadas de Concurrencia, Jaca, Spain, June 2002, pp. 191-204, Universidad de Zaragoza.
- Jaco van de Pol and Miguel Valero Espada, Formal Specification of JavaSpaces Architecture using muCRL, In F. Arbab and C. Talcott (eds), Proc. of 5th int. conf. on Coordination Models and Languages, York, UK, April 2002, COORDINATION, LNCS 2315, pp. 274-290, Springer.
- Jaco van de Pol and Jozef Hooman, Formal Verification of Replication on a Distributed Data Space Architecture, In: Proc. of ACM SAC 2002, special track on Coordination Models, Languages and Applications, Madrid, Spain, March 2002.
- Stefan Blom and Simona Orzan, A Distributed Algorithm for Strong Bisimulation Reduction of State Spaces, in Proceedings of PDMC, Brno, August 2002, To appear in ENTCS.
Project reports
List of publications in CWI reports
Cooperation
Thales Nederland
Zuidelijke Havenweg 40
Postbus 42
7550 GD Hengelo
(Dr ir Ronald Lutje Spelberg)
Universiteit of Nijmegen
Department of Computer Science
Toernooiveld 1
6525 ED Nijmegen
(Dr Jozef Hooman)
