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.
CITATION STYLE
Broy, M., & Slotosch, O. (2001). From requirements to validated embedded systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2211, pp. 51–65). Springer Verlag. https://doi.org/10.1007/3-540-45449-7_5
Mendeley helps you to discover research relevant for your work.