TY - GEN
T1 - From requirements to validated embedded systems
AU - Broy, Manfred
AU - Slotosch, Oscar
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2001.
PY - 2001
Y1 - 2001
N2 - We outline a practical modular method for the development of embedded systems from requirements and its comprehensive support by a CASE tool. Our focal point is on model-oriented development, multiview modelling, and validation. We present a method with a comprehensive tool support to develop models systematically from requirements and discuss various validation techniques by means of a car seat example. The resulting method is industrial strength, but nevertheless based on a solid scientific foundation and mathematical theory.
AB - We outline a practical modular method for the development of embedded systems from requirements and its comprehensive support by a CASE tool. Our focal point is on model-oriented development, multiview modelling, and validation. We present a method with a comprehensive tool support to develop models systematically from requirements and discuss various validation techniques by means of a car seat example. The resulting method is industrial strength, but nevertheless based on a solid scientific foundation and mathematical theory.
UR - http://www.scopus.com/inward/record.url?scp=84947264831&partnerID=8YFLogxK
U2 - 10.1007/3-540-45449-7_5
DO - 10.1007/3-540-45449-7_5
M3 - Conference contribution
AN - SCOPUS:84947264831
SN - 3540426736
SN - 9783540426738
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 51
EP - 65
BT - Embedded Software - 1st International Workshop, EMSOFT 2001, Proceedings
A2 - Henzinger, Thomas A.
A2 - Kirsch, Christoph M.
PB - Springer Verlag
T2 - 1st International Workshop on Embedded Software, EMSOFT 2001
Y2 - 8 October 2001 through 10 October 2001
ER -