Abstract
For ensuring functional safety of electrical/electronic systems, it is necessary to exclude malfunctions from hardware and software as well as from the interaction of both. In today’s passenger vehicles, more and more safety critical functionalities are implemented in software. Thus, its importance for functional safety increases. The dominating safety standard for the automotive domain (ISO 26262) considers the software part and defines requirements for safety critical software. However, applying and fulfilling the standard is a major problem in industry. In this context, the paper presents a novel metric-based approach to evaluate dataflow-oriented software architectures used in many model-driven processes regarding the fulfillment of requirements defined by ISO 26262 (in particular part 6). The core idea is to derive metrics for model-based software from already existing, well-performing metrics elaborated for other programming paradigms. To link metrics to requirements fulfillment of ISO 26262, we briefly sketch the factor-criteria-metrics paradigm for this problem. Technically, this paper presents a generic meta-model for dataflow systems, which is used to define the metrics. We implemented this meta-model and the metrics as a prototype for Matlab Simulink. As examples, two models of a 400 kW full Drive-by-Wire experimental vehicle with all-wheel-steering, all-wheel-drive, and electro-mechanical brakes are analyzed using this prototype.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Abreu, F.B., Carapuça, R.: Object-oriented software engineering: Measuring and controlling the development process. In: 4th Int. Conf. on Software Quality (1994)
Bergmiller, P., Maurer, M., Lichte, B.: Probabilistic fault detection and handling algorithm for testing stability control systems with a drive-by-wire vehicle. In: 2011 IEEE International Symposium on Intelligent Control (ISIC), pp. 601–606 (2011)
Bieman, J.M., Kang, B.K.: Cohesion and reuse in an object-oriented system. In: Proceedings of the 1995 Symposium on Software Reusability, SSR 1995, pp. 259–262. ACM (1995)
Briand, L.C., Daly, J.W., Wüst, J.: A unified framework for cohesion measurement in object-oriented systems. Empirical Software Engineering 3(1) (1998)
Cavano, J.P., McCall, J.A.: A framework for the measurement of software quality. In: Proceedings of the Software Quality Assurance Workshop on Functional and Performance Issues, pp. 133–139. ACM (1978)
Deißenböck, F.: Simulink Library for Java, https://www.cqse.eu/en/products/simulink-library-for-java/overview/
Halstead, M.H.: Elements of Software Science (Operating and programming systems series). Elsevier Science Inc. (1977)
Henry, S., Kafura, D.: Software structure metrics based on information flow. IEEE Transactions on Software Engineering SE-7(5), 510–518 (1981)
International Organisation for Standardization: ISO 26262 (11/11): Road vehicles - functional safety, http://www.iso.org/iso/catalogue_detail?csnumber=43464
Kemmann, S., Kuhn, T., Trapp, M.: Extensible and Automated Model-Evaluations with INProVE. In: Kraemer, F.A., Herrmann, P. (eds.) SAM 2010. LNCS, vol. 6598, pp. 193–208. Springer, Heidelberg (2011)
Lieberherr, K., Holland, I., Riel, A.: Object-oriented programming: an objective sense of style. In: Conference Proceedings on Object-oriented Programming Systems, Languages and Applications, OOPSLA 1988, pp. 323–334. ACM (1988)
Mayer, T., Hall, T.: Measuring OO systems: a critical analysis of the MOOD metrics. In: Proceedings of Technology of Object-Oriented Languages and Systems, pp. 108–117 (1999)
Menkhaus, G., Andrich, B.: Metric suite for directing the failure mode analysis of embedded software systems. In: ICEIS 2005 - Proceedings of the Seventh International Conference on Enterprise Information Systems, pp. 266–273 (2005)
Meyer, B.: Object-Oriented Software Construction. Prentice Hall (1998)
Oesterreich, B.: Analyse und Design mit der UML 2.5: Objektorientierte Softwareentwicklung. Oldenbourg Verlag (2012)
Scheible, J.: Automatisierte Qualitätsbewertung am Beispiel von MATLAB Simulink-Modellen in der Automobil-Domäne. Ph.D. thesis, Universität Tübingen (2012)
Stürmer, I., Pohlheim, H., Rogier, T.: Berechnung und Visualisierung der Modellkomplexität bei der modellbasierten Entwicklung sicherheitsrelevanter Software. Automotive–Safety & Security, 69–82 (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Mäurer, L., Hebecker, T., Stolte, T., Lipaczewski, M., Möhrstädt, U., Ortmeier, F. (2014). On Bringing Object-Oriented Software Metrics into the Model-Based World – Verifying ISO 26262 Compliance in Simulink. In: Amyot, D., Fonseca i Casas, P., Mussbacher, G. (eds) System Analysis and Modeling: Models and Reusability. SAM 2014. Lecture Notes in Computer Science, vol 8769. Springer, Cham. https://doi.org/10.1007/978-3-319-11743-0_15
Download citation
DOI: https://doi.org/10.1007/978-3-319-11743-0_15
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11742-3
Online ISBN: 978-3-319-11743-0
eBook Packages: Computer ScienceComputer Science (R0)