A New Specification Methodology for Embedded Systems Based on the

	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 S. Forster Articles by M. Fischer Articles by A. Windisch Articles by B. Balser Articles by D. Monjau

14th IEEE International Workshop on Rapid System Prototyping (RSP'03)

A New Specification Methodology for Embedded Systems Based on the - Calculus Process Algebra

San Diego, California, USA

June 09-June 11

ISBN: 0-7695-1943-1

	ASCII Text	x
	S. Forster, M. Fischer, A. Windisch, B. Balser, D. Monjau, "A New Specification Methodology for Embedded Systems Based on the - Calculus Process Algebra," Rapid System Prototyping, IEEE International Workshop on, pp. 26, 14th IEEE International Workshop on Rapid System Prototyping (RSP'03), 2003.

	BibTex	x
	@article{ 10.1109/IWRSP.2003.1207026, author = {S. Forster and M. Fischer and A. Windisch and B. Balser and D. Monjau}, title = {A New Specification Methodology for Embedded Systems Based on the - Calculus Process Algebra}, journal ={Rapid System Prototyping, IEEE International Workshop on}, volume = {0}, year = {2003}, issn = {1074-6005}, pages = {26}, doi = {http://doi.ieeecomputersociety.org/10.1109/IWRSP.2003.1207026}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Rapid System Prototyping, IEEE International Workshop on TI - A New Specification Methodology for Embedded Systems Based on the - Calculus Process Algebra SN - 1074-6005 SP EP A1 - S. Forster, A1 - M. Fischer, A1 - A. Windisch, A1 - B. Balser, A1 - D. Monjau, PY - 2003 KW - null VL - 0 JA - Rapid System Prototyping, IEEE International Workshop on ER -

S. Forster, EADS Military Aircraft, New Avionics Structures, 81663 Munich, Germany/Chemnitz University of Technology, DCS, 09107 Chemnitz, Germany

M. Fischer, EADS Military Aircraft, New Avionics Structures, 81663 Munich, Germany/Chemnitz University of Technology, DCS, 09107 Chemnitz, Germany

A. Windisch, EADS Military Aircraft, New Avionics Structures, 81663 Munich, Germany

B. Balser, EADS Military Aircraft, New Avionics Structures, 81663 Munich, Germany

D. Monjau, Chemnitz University of Technology, DCS, 09107 Chemnitz, Germany

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/IWRSP.2003.1207026

This paper presents a formal specification methodologyfor embedded systems which is founded upon the π-calculus process algebra. The domain model underlying this newly developed methodology identifies eight categories of system building blocks each of which describes a particular system facet. Based on these building blocks complex embedded systems can be specified, refined, and formally verified. The theories underlying both system specification and refinement are explained and exemplified by applications from the field of aeronautics.

Citation:

S. Forster, M. Fischer, A. Windisch, B. Balser, D. Monjau, "A New Specification Methodology for Embedded Systems Based on the - Calculus Process Algebra," rsp, pp.26, 14th IEEE International Workshop on Rapid System Prototyping (RSP'03), 2003

Peer Review Notice | Give Us Feedback

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