Semantical aspects of an architecture for distributed embedded systems

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Semantical aspects of an architecture for distributed embedded systems

Full text

Pdf (641 KB)

Source

Symposium on Applied Computing archive
Proceedings of the 2000 ACM symposium on Applied computing - Volume 1 table of contents

Como, Italy

Pages: 149 - 155

Year of Publication: 2000

ISBN:1-58113-240-9

Authors

Roel Bloo	Eindhoven University of Technology, Eindhoven, The Netherlands
Jozef Hooman	University of Nijmegen, Nijmegen, The Netherlands
Edwin de Jong	Hollandse, Signaalapparaten B.V., Hengelo, The Netherlands

Sponsor

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 10, Citation Count: 3

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/335603.335731 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	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.
	3	Marcello M. Bonsangue , Joost N. Kok , Maarten Boasson , Edwin de Jong, A software architecture for distributed control systems and its transition system semantics, Proceedings of the 1998 ACM symposium on Applied Computing, p.159-168, February 27-March 01, 1998, Atlanta, Georgia, United States [doi>10.1145/330560.330664]
	4	Marcello M. Bonsangue , Joost N. Kok , G. Zavattaro, Comparing coordination models based on shared distributed replicated data, Proceedings of the 1999 ACM symposium on Applied computing, p.156-165, February 28-March 02, 1999, San Antonio, Texas, United States [doi>10.1145/298151.298226]
	5	Paul Dechering , Edwin de Jong , Rix Groenboom , Jan Tijmen Udding, Formalization of a Software Architecture for Embedded Systems: A Process Algebra for SPLICE, Proceedings of the Thirty-Second Annual Hawaii International Conference on System Sciences-Volume 3, p.3050, January 05-08, 1999
	6	J. Hooman, Specification and Compositional Verification of Real-Time Systems, Springer-Verlag New York, Inc., Secaucus, NJ, 1991
	7	Jozef Hooman, Correctness of Real Time Systems by Construction, Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems, p.19-40, September 19-23, 1994
	8	Sam Owre , John Rushby , Natarajan Shankar , Friedrich von Henke, Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS, IEEE Transactions on Software Engineering, v.21 n.2, p.107-125, February 1995 [doi>10.1109/32.345827]
	9	I. van de Pol, J. Hooman, and E. de long. Formal requiremerits specification for command and control systems. In Proceedings of the Conference on Engineering of Computer- Based Systems, pages 3744. IEEE, 1998.
	10	Jaco van de Pol , Jozef Hooman , Edwin D. de Jong, Modular Formal Specification of Data and Behaviour, Proceedings of the 1st International Conference on Integrated Formal Methods, p.109-128, June 28-29, 1999

CITED BY 3

	Jozef Hooman , Jaco van de Pol, Formal verification of replication on a distributed data space architecture, Proceedings of the 2002 ACM symposium on Applied computing, March 11-14, 2002, Madrid, Spain
	Jozef Hooman , Jaco van de Pol, Semantic models of a timed distributed dataspace architecture, Theoretical Computer Science, v.331 n.2-3, p.291-323, 25 February 2005
	Simona Orzan , Jaco van de Pol, Distribution of a Simple Shared Dataspace Architecture, Fundamenta Informaticae, v.73 n.4, p.535-559, December 2006