loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
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
Usage of this product signifies your acceptance of the Terms of Use.