Model-based design and quality management: an automated process for safety trusted production code


Eugenio Romeo, Paolo Bizzarri, Michele Settembrino
Teoresi Group S.p.A.

Titolo della presentazione

Model-based design and quality management: an automated process for safety trusted production code

Autori

Eugenio Romeo
Teoresi Group S.p.A.
Paolo Bizzarri
Teoresi Group S.p.A.
Michele Settembrino
Teoresi Group S.p.A.

Tipologia della presentazione

Presentazione tecnica

Abstract

The production of quality standards documentation is a mandatory step in the process of producing software that ensures safety standard compliance. Common artifacts include functional and software requirements, test reports, code verification, traceability reports and others.

Fulfilling this task requires team members to produce the above documentation, resulting in significant quality management costs.

The model-based design approach simplifies and speeds up the software development and verification processes and offers a wide range of tools dedicated to quality management. Some of them are already qualified to produce safety-relevant software compliant with various standards (ISO 26262 - automotive, EN 50128 - railway, ISO 25119 - agriculture and machinery, etc.).

Our solution consists of a "one-click" process that, starting from an existing model-based software component (implemented by hand or automatically), performs an automatic routine to generate all the outputs required to be compliant with ISO-26262 standard Part 6.

In detail, with one command, the tool associates requirements and test cases with the software component units; then, it performs test automation routines, both for functional verification and coverage calculation, based on the pre-produced test cases. After this verification phase, the quality process begins: the tool generates (again automatically) test reports, traceability matrices, coverage reports, and code verification reports.

The result is a faster qualification process that greatly reduces time-to-market.


Ulteriore materiale

  • Slide della presentazione: [pdf]

Per ulteriori dettagli su questa presentazione, cliccare sul pulsante seguente: