automotive demonstrator hev powertrain use case tooling nsc wp520 roland mader, avl list gmbh

ARTEMIS-2010-1 JU Grant Agreement number 269265


Safety Certification of Software-intensive Systems with Reusable Components

Sept 25-27, 2013 Riga

Automotive DemonstratorHEV Powertrain Use Case Tooling

nSC WP520

Roland Mader, AVL List GmbHHelmut Martin, Virtual Vehicle Competence Center (ViF)

Riga, nSafeCer, Day1 Workingsession, 25-09-2013, 17:00h -18:00h

AVL List, Roland MaderVirtual Vehicle, Helmut Martin



Sept 25-27, 2013 Riga

Status of WP520 – HEV Powertrain

Tool description

Integration in CTF and CAR tool framework

Next Steps to Y3 Review Evaluation

Agenda




Sept 25-27, 2013 Riga

Status of WP520 – HEV PowertrainStatus of WP520 – HEV Powertrain

Tool description



Agenda




Sept 25-27, 2013 Riga

Specificationo Conception and Specification of Use Case PMTC – Review o D501.1 D521.1o Relase planned nSCM18 (09/2013)

Methodso Safety Modeling – First experiences in SysML modeling o Safety Analysis – Concept Phase work in progress

Tool Integration in CTF&CARo MDS: Meta X integrated in CTF&CAR o CEA List: Diversity integrated in CTF&CAR

ARTiMon

Evaluation of demonstrator o First preliminary evaluation planned for nSC M19 (10/2013)


IN REVIEW

WORKING

WORKING

WORKING




Sept 25-27, 2013 Riga


Tool description Tool description



Agenda




Sept 25-27, 2013 Riga

AVL Safety Extensions – Big Picture




Sept 25-27, 2013 Riga

AVL Safety Extensions as Addin for Enterprise Architect 9.3

Specific language enhancement of SysML1.1 – AVL Meta Model

Meta Model and Addin Features support:o Item Definitiono Hazard Analysis & Risk Assessmento Functional Safety Concepto Technical Safety Concept

Interface to Requirement Management System

AVL Safety Extensions




Sept 25-27, 2013 Riga

Analyses on-the-fly a flow of dated observations in order to detect hazards expressed in its formal entry language

A flow may be obtained from the instrumentation of a physical object, from the simulation of a model, the execution of a code.

Useful in the design process of complex systems, for models validation, systems testing.

Can used as an embedded component for control or diagnostic.

Operates in continuous time or in logical time mode.

No limitation about the length of flow (memory is bounded and predictable).

CEA-List ARTiMon




Sept 25-27, 2013 Riga

CEA-List ARTiMon – Big Picture

HEVSimulinkModel

ARTiMon

Report

Detectionsignal

Timing Contracts




Sept 25-27, 2013 Riga

Mapping of design elements

Declaration and formalization of the existing relationships between fragments of artifacts involved in the development (requirements, specifications, models, source code, etc.).

Forward and backward traceability

Static safety analysis, e.g. coverage and consistency checks, by exploiting the traceability links declared between artifacts.

Change impact analysis

Assessment of the impacts implied by a given modification of an artifact at any level of the flow.

Interfacing to requirements management toolsSupport of the Requirement Interchange Format (ReqIF) standard in order to interface with widespread requirements management tools

MDS MetaX




Sept 25-27, 2013 Riga

MDS MetaX mapping toolo Supports traceability

Between heterogeneous fragments of information

Over different tools Semantics relationships

o Change impact analysis Refined precision (fragments) Identify impacted elements Guarantee consistency between

coupled structured hierarchical elements

MDS MetaX – Big Picture




Sept 25-27, 2013 Riga


Tool description

Integration in CTF and CAR tool frameworkIntegration in CTF and CAR tool framework


Agenda




Sept 25-27, 2013 Riga

Integration in CTF and CAR as a future perspective

At first integration at conceptual level aspired

Restrictions of Enterprise Architect need to be considered

Potential of integration still under evaluation

Integration in CTF and CAR




Sept 25-27, 2013 Riga

Integration in CTF and CAR CTF: ARTiMon can potentially be plugged to any simulator or

running device producing a trace on which one want check real time oriented properties.

CAR: ARTiMon is a C library with a simple API (to refresh variables values and time). Thus no input format is stricly imposed but a wrapper/driver/parser has to to developped for each format/environment.




Sept 25-27, 2013 Riga

Integration in CTF & CAR under investigation

Integration in CTF and CAR




Sept 25-27, 2013 Riga


Tool description


Next Steps to Y3 Review EvaluationNext Steps to Y3 Review Evaluation

Agenda




Sept 25-27, 2013 Riga


FINISHED

FINISHED

IN PROGRESS

OPEN




Sept 25-27, 2013 Riga

Obtaining some timing contracts about the HEV system from end users, stake holder, project owner

Traduction of those contracts into the ARTiMon language

Automatic check of those timing contracts against HEV simulations performed in Simulink.





Sept 25-27, 2013 Riga

Extensions of the supported formats (SysML, Sequences, …)

Definition of appropriate parsers for supported files

Generation of impact analysis reports





Sept 25-27, 2013 Riga

automotive demonstrator hev powertrain use case tooling nsc wp520 roland mader, avl list gmbh

Documents