Semantical aspects of an architecture for distributed embedded systems

Proceedings of the ACM Symposium on Applied Computing

Volumn 1, Issue , 2000, Pages 149-155

  Bloo, Roel ^a   Hooman, Jozef ^b   De Jong, Edwin ^c  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

^c THALES NEDERLAND B V   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

THEOREM PROVING;

DATA SPACE; DISTRIBUTED DATASPACES; DISTRIBUTED EMBEDDED SYSTEM; EFFICIENT IMPLEMENTATION; FORMAL SEMANTICS; INTERACTIVE THEOREM PROVER;

SEMANTICS;

EID: 0002306548     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/335603.335747     Document Type: Conference Paper

References (10)

1. R. Bloo, J. Hooman, and E. de Jong. Semantical aspects of an architecture for distributed embedded systems. Technical report, Eindhoven University of Technology, 2000.
2. M. Boasson, Control systems software. IEEE Transactions on Automatic Control, 38(7):1094-1106, 1993. (Pubitemid 23712133)
3. M. M. Bonsangue, J. Kok, M. Boasson, and E. de Jong. A software architecture for distributed control systems and its transition system semantics. In Proceedings of the 1998 ACM Symposium on Applied Computing (SAC'98), pages 159-168, ACM Press, 1998.
4. M. M. Bonsangue, J. Kok, and G. Zavattaro. Comparing coordination models based on shared distributed replicated data. In Proceedings of the 1999 ACM Symposium on Applied Computing (SAC'99). ACM Press, 1999.
5. P. Dechering, R. Groenboom, E. de Jong, and J. Udding. Formalization of a Software Architecture for Embedded Systems: a Process Algebra for Splice. In Proceedings of the Hawaiian International Conference on System Sciences (HICSS-32), Maui, Hawaii, January 5-8 1999. IEEE Computer Society.
6. J. Hooman. Specification and Compositional Verification of Real-Time Systems. LNCS 558, Springer-Verlag, 1991.
7. J. Hooman. Correctness of real time systems by construction. In Formal Techniques in Real-Time and Fault-Tolerant Systems, pages 19-40. LNCS 863, Springer-Verlag, 1994.
8. S. Owre, J. Rushby, N. Shankar, and F. von Henke. Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS. IEEE Trans. Softw. Eng., 21(2):107-125. 1995.
9. J. van de Pol, J. Hooman, and E. de Jong. Formal requirements specification for command and control systems. In Proceedings of the Conference on Engineering of ComputerBased Systems, pages 37-44. IEEE, 1998.
10. J. van de Pol, J. Hooman, and E. de Jong. Modular formal specification of data and behaviour. In K. T. K. Araki, A. Galloway, editor, Proceedings 1st Conference on Integrated Formal Methods (IFM'99), pages 109-128. Springer-Verlag, 1999.