powerpoint-präsentation · artemis joint undertaking © mbat, artemis project 269335 8 cross-d...

© MBAT, ARTEMIS project 269335ARTEMIS Joint UndertakingARTEMIS Joint UndertakingThe public private partnership for R&D actors in embedded systems

http://www.mbat-artemis.eu/

© MBAT, ARTEMIS project 269335ARTEMIS Joint Undertaking

MBAT’s overall Challenges

V&V technologies are still not effective and efficient enough

V&V costs for Embedded Systems are too high (still up to 50% of

Embedded System’s total development costs)

V&V technologies should improve the error detection rate

HIL Test Environment © Daimler

2


MBAT‘s Key Technological Solution

MBAT = Combined Model-based Static Analysis and Dynamic Testing of Embedded Systems

Analysis & Test Models

Test Cases

Analysis Results

Test Results

Analysis Cases

Embedded Systems Descriptions

Dynamic Tests

Static Analysis

in

out

3


Main results of MBAT on V&V Methodologies

Results:

we can definitely achieve V&V cost reduction by applying MBAT A&T technologies combining static analysis with

testing, e.g. by focussing testing on the basis of static analysis

results and earlier removal of errors discovered already by early

static analysis

the probability of error detection is increased by a more intensive coverage of the system under V&V using a

combination of model-based A&T in form of MBAT technologies*

HIL Test Environment © Daimler

4

*We cannot seriously claim that we can uncover more errors for sure


Common

Workflow

Layer

Method Layer

Tool Layer

Apply A&T patterns as e.g.

• first uncover all boundary value errors statically , then test the remaining cases

• first detect static flaws, then concentrate on testing these flaws

Use A&T tools chains as e.g. Astree→Embedded Tester→PROVEtech:TA, and integrated via the MBAT RTP & IOS

Abstract work flow, many flows possible

MBAT Technological Approach –From Workflow via Patterns to Tool chains

3

3

1

2

2

1

5

© MBAT, ARTEMIS project 269335ARTEMIS Joint Undertaking6

(Solution) Patterns describe generic solution core

for a recurring problem

in a given context

Best practice!

A&T-Patterns Workflow combining analysis and test

+ descr. of participants/roles and activities

+ Application hints+ limitations

+ discussion

+ Known use examples

Code +

config

report

Diagnostic Info:

• Program slice

• Path

precondition

• Semantic preserving

Model

• Property

report• Confirmed defects • Remaining

warnings

StaticCode

Analyzer

Model

Generator

2

Report

Merger

Model

Analyzer

3

4

1 warnings

Confirmeddefects

MBAT A&T Patterns


17 Patterns (with their interrelations) defined and available publicly from

http://mbat-wiki.iese.fraunhofer.de

MBAT A&T Patterns

http://mbat-wiki.iese.fraunhofer.de


Cross-Domain & Lifecycle

RM

Res V&V

Res

D&I

Res

SPC

Res CM

Res SCM Res

RE&F

D&I

V&V

Lifecy

cle

Data

Level

Tool I

ntern

al

Dat

a

Level

Ele

mA

E

lem

B

Ele

mC

Art

ifact

Elvior TestCast

Ele

mA

E

lem

B

Ele

mC

Art

ifact

All4Tec Matelo

Ele

mA

E

lem

B

Ele

mC

Art

ifact

AbsInt WCET An.

Ele

mA

E

lem

B

Ele

mC

Art

ifact

Uppall Tools

ElemA ElemB

ElemC

Artifact

UML

Rhapsody

ElemA ElemB

ElemC

Artifact

Simulink

ElemA ElemB

ElemC

Artifact

C Editor

Compiler

ElemA ElemB

ElemC

Artifact

UML

Eclipse

ElemA ElemB

ElemC

Artifact

SVN server

Team Mgt

Tool

ElemA ElemB

ElemC

Artifact

Process Mgt

Tool

ElemA ElemB

ElemC

Artifact

Trace Tool

ElemA ElemB

ElemC

Artifact

Conf. Mgt

Tool

ElemA ElemB

ElemC

Artifact

Change Impact

An. Tool

ElemA ElemB

ElemC

Artifact

Trans. Engine

ElemA ElemB

ElemC

Art ifact

Elem

A

Ele

mB

Elem

C

Artifact

Excel

Elem

A

Ele

mB

Elem

C

Artifact

Enovia Reqs Central

Elem

A

Ele

mB

Elem

C

Artifact

DOORS

RM

Res V&V

Res

D&I

Res

Tool Chains

RTP Instances

Main Software assets of the RTP (Reference Technology Platform) • Library of Ready-to-integrate Engineering Tools & Common/

Basic Services

• and implementing the IOS

Set of Methodologies (e.g., the MBAT A&T Method)

Adaptor Adaptor Adaptor Adaptor

Adaptor Adaptor Adaptor Adaptor Adaptor Adaptor

Ad

ap

tor

Ad

ap

tor

Ad

ap

tor

Ad

ap

tor

Ad

ap

tor

Ad

ap

tor

Ad

ap

tor

Tool Adaptors

IOS RM

Res V&V Res

D&I Res

SPC

Res CM Res

SCM

Res

RM

Res V&V Res

D&I Res

Artifact Wrapper

Artifact

Wrapper

Artifact Wrapper

IOS

Interoperability Specifications

MBAT RTP

Integration Interface

Tool


Service


Service


Tool


Tool


Service Integration Interface

Tool


Service


Tool


Tool


Tool


Service


Tool


Service


Tool


Tool


Tool



Service


Service


Tool


Tool


Tool


Service


Service


Tool


Tool



Tool


Tool


Tool


Service

Pre-Integration Interface

Tool


Service


Tool


Service

Library of ready-to-integrate Tools/Services

Tailoring Instantiation

Deployment

End-User Scenarios

& Requirements

MBAT RTP & IOSReference Technology Platform and Interoperability Specifications

(OSLC based with MBAT Specific Extensions)


MBAT RTP Tool Landscape

MBAT Technical Items Released (Total: 172)for 20 Industrial Use Cases

Innovations in testing tools and test-case generation 49

Innovations in static analysis tools 33

MBAT methodology development 32

OSLC/IOS adaptors and IOS services 58


MBAT Results(see www.mbat-artemis.eu)

17 A&T Method Patterns and supporting Tool Chains – all evaluated in 20

use cases (http://mbat-wiki.iese.fraunhofer.de/)

Project has influenced technical standards as e.g.

UML Test Profile, which is under development by the OMG

the ARTEMIS Interoperability Specification (IOS) for the

interaction of Embedded System Engineering Tools

MBAT has influenced and contributed to European R&D Roadmaps in the

domain of Embedded Systems (e.g. ARTEMIS & ECSEL Roadmaps)

Prepared further business by establishing new contacts for futher

collaboration on technical topics

Shown in industrial use cases: using MBAT V&V technologies it is

possible to

gain an increased V&V coverage of the embedded system under

test by at least 20%

reduce costs for V&V by at least 15%10

100+ MBAT publications and public deliverables available, see

www.mbat-artemis.eu and https://www.zotero.org/groups/mbatproject


http://mbat-wiki.iese.fraunhofer.de/


https://www.zotero.org/groups/mbatproject


H2020 Coordination Action kick-started in March 2015

CP-SETIS:Towards IOS Sustainability

If you are interested for supporting our activities (as associated partner) Visit us at Level C / booth 78!

Goal 1: The alignment of all IOS-related forces within Europe to support a common IOS Standardization Strategy

Goal 2: The definition and implementation of sustainable IOS Standardization Activities

powerpoint-präsentation · artemis joint undertaking © mbat, artemis project 269335 8 cross-d...

Documents