ZUM 1998: ZUM ’98: The Z Formal Specification Notation pp 1-4 | Cite as
Industrial Requirements for the Efficient Development of Reliable Embedded Systems
(Extended Abstract)
Conference paper
Abstract
Software-based systems are gaining in importance in almost all business units of the Daimler-Benz Group. In numerous units differentiation between the competitors is achieved mainly by innovative functions implemented in software. Furthermore, a lot of important business processes are based on software solutions. Hence, the quality of the systems as well as the efficiency of the development and business processes are decisive for competition.
Preview
Unable to display preview. Download preview PDF.
References
- 1.Conrad, M., Wetter, D.: An Adaptive Cruise Control System – A Case Study for the Industrial Use of Formal Methods. In: Workshop on Formal Design of Safety Critical Embedded Systems, Munich, Germany, April 16–18 (1997)Google Scholar
- 2.Grieskamp, W., Heisel, M., Dörr, H.: Specifying Embedded Systems with Statecharts and Z: An Agenda for Cyclic Software Components. In: Astesiano, E. (ed.) Proceedings of Formal Aspects of Software Engineering (FASE 1998), March 30–April 1 (1998) (to appear)Google Scholar
- 3.Hiemer, J., Fuhrmann, K.: Formal Verification of Statemate-Statecharts. In: Proceedings of the Int. Conf. on Tool Support for System Specification, Development, and Verification, Malente, Germany, June 2–4 (1998) (to appear)Google Scholar
- 4.Lattemann, F., Lehmann, E.: A Methodological Approach to the Requirement Specification of Embedded Systems. In: Hinchey, M.G., Liu, S. (eds.) Proceedings of 1st IEEE Int. Conf. on Formal Engineering Methods, pp. 183–191. IEEE Computer Society, Los Alamitos (1997)CrossRefGoogle Scholar
- 5.Singh, H., Conrad, M., Sadeghipour, S.: Test Case Design Based on Z and the Classification-Tree Method. In: Hinchey, M.G., Liu, S. (eds.) Proceedings of 1st IEEE Int. Conf. on Formal Engineering Methods, pp. 81–90. IEEE Computer Society, Los Alamitos (1997)CrossRefGoogle Scholar
Copyright information
© Springer-Verlag Berlin Heidelberg 1998