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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
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)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Grimm, K. (1998). Industrial Requirements for the Efficient Development of Reliable Embedded Systems. In: Bowen, J.P., Fett, A., Hinchey, M.G. (eds) ZUM ’98: The Z Formal Specification Notation. ZUM 1998. Lecture Notes in Computer Science, vol 1493. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-49676-2_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-49676-2_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65070-6
Online ISBN: 978-3-540-49676-2
eBook Packages: Springer Book Archive