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

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	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

Third International Conference on Application of Concurrency to System Design (ACSD'03)

Guimar?es, Portugal

June 18-June 20

ISBN: 0-7695-1887-7

	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

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

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.