Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems

Guimar?es, Portugal June 18-June 20

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/CSD.2003.1207701

Third International Conference on App ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Mohammad Reza Mousavi Articles by Michel Reniers Articles by Twan Basten Articles by Michel Chaudron

	ASCII Text	x
	Mohammad Reza Mousavi, Michel Reniers, Twan Basten, Michel Chaudron, "Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems," Application of Concurrency to System Design, International Conference on, pp. 71, Third International Conference on Application of Concurrency to System Design (ACSD'03), 2003.

	BibTex	x
	@article{ 10.1109/CSD.2003.1207701, author = {Mohammad Reza Mousavi and Michel Reniers and Twan Basten and Michel Chaudron}, title = {Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems}, journal ={Application of Concurrency to System Design, International Conference on}, volume = {0}, year = {2003}, isbn = {0-7695-1887-7}, pages = {71}, doi = {http://doi.ieeecomputersociety.org/10.1109/CSD.2003.1207701}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Application of Concurrency to System Design, International Conference on TI - Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems SN - 0-7695-1887-7 SP EP A1 - Mohammad Reza Mousavi, A1 - Michel Reniers, A1 - Twan Basten, A1 - Michel Chaudron, PY - 2003 KW - null VL - 0 JA - Application of Concurrency to System Design, International Conference on ER -

Mohammad Reza Mousavi, Eindhoven University of Technology

Michel Reniers, Eindhoven University of Technology

Twan Basten, Eindhoven University of Technology

Michel Chaudron, Eindhoven University of Technology

This paper proposes a formal framework for the design of real-time shared data-space systems. The proposed method separates the concerns of functionality, behavior, and timing. This work exploits the idea of separation of concerns at the specification and design level, and it establishes a robust theoretical basis that allows rigid analysis and verification of (timed) designs.

Citation:

Mohammad Reza Mousavi, Michel Reniers, Twan Basten, Michel Chaudron, "Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems," acsd, pp.71, Third International Conference on Application of Concurrency to System Design (ACSD'03), 2003

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.