Name
Title | ||
|---|---|---|
On Bringing Object-Oriented Software Metrics into the Model-Based World - Verifying ISO 26262 Compliance in Simulink. |
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. |
Year | DOI | Venue |
|---|---|---|
2014 | 10.1007/978-3-319-11743-0_15 | Lecture Notes in Computer Science |
Keywords | Field | DocType |
safety analysis,ISO 26262,formal verification,software metrics,Simulink | Object-oriented programming,Software engineering,Programming paradigm,Computer science,Functional safety,Computer network,Software,Dataflow,Software metric,Embedded system,Automotive industry,Formal verification | Conference |
Volume | ISSN | Citations |
8769 | 0302-9743 | 1 |
PageRank | References | Authors |
0.35 | 7 | 6 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Lukas Mäurer | 1 | 1 | 0.35 |
| Tanja Hebecker | 2 | 4 | 0.82 |
| Torben Stolte | 3 | 8 | 3.38 |
| Michael Lipaczewski | 4 | 21 | 4.34 |
| Uwe Möhrstädt | 5 | 1 | 0.35 |
| Frank Ortmeier | 6 | 386 | 47.95 |