Project overview
Download
1 / 6

Project Overview - PowerPoint PPT Presentation


  • 162 Views
  • Uploaded on

Project Overview. Wolfgang Herzner / ARC smart systems. Objectives. To significantly enhance testing and verification of dependable embedded systems by means of automated generation of efficient test cases

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about ' Project Overview' - tyme


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
Project overview

Project Overview

Wolfgang Herzner / ARC smart systems


Objectives
Objectives

  • To significantly enhance testing and verification of dependable embedded systems

    • by means of automated generation of efficient test cases

    • relying on development of new approaches as well as innovative integration of state-of-the-art techniques

      Goal: reduce testing effort by at least 20%

  • To address both testing of

    • functional safety tests

    • and non-functional issues like reliability, e.g. by system stress or overload tests

  • To apply these technologies in large industrial systems,

    • simultaneously enabling application domain experts (with rather little knowledge and experience in usage of formal methods) to use them with minimal learning effort


MOGENTES – demonstrators

  • Automotive

  • Off-highway

  • Railway signalling

User Requirements

Specification

Test Case

Application

(unit, system,

SIL, HIL, FI)

Software / System

Constructoir

Destructi

f1(xd, fs nnm)

isOpen()

Constructoir

Destructi

f1(xd, fs nnm)

isOpen()

Constructoir

Destructi

isOpen()

Safety Requirements(Standards)

Test CaseGeneration

Result

Data

Test Cases

Scenario

MOGENTES – research core

(Fault)Model


Application demonstrators
Application Demonstrators

  • Automotive

    • Test cases for HIL

  • Off-highway vehicles

    • Implement-control (bucket) through human driver(ISOBUS-conform)

  • Railway interlocking

    • (stress) tests for signalling and interlocking control system

    • verification of peripheral signals analyser (of electronic rail control desk)


Approach aspects considered
Approach (Aspects considered)

  • Common modelling languages and semantics

    • for domain specific requirements and (partial) models of the demonstrators

  • Test theory(/ies)

    • conformance relation between the model and implementation

    • notion of success and failure of a test case

  • Fault models

    • extending modelling languages

  • Coverage criteria

  • Model-based fault injection (MBFI)

    • Validate the defined fault models (and thus the generated test cases) with physical fault injection

  • Framework

    • semantics-aware transformations

    • from system models to inputs of specific tools,

    • to interface with existing simulation/test environments from industrial partners


Figures partner

Duration:

36 months (Jan. 2008 – Dec. 2010)

Costs:

4,4 M€ Total

3,1 M€ Funding

Efforts:

400,5 PM RTD

48,5 Demo

12,0 Mgmt

Coordination:

ARC

More at

www.mogentes.eu

Universities

Budapest University of Technology and Economics (HU)

ETH Zurich (CH) / Oxford University (GB)

Graz University of Technology (AT)

Research Organisations

Austrian Research Centers GmbH - ARC

SP Technical Research Institute of Sweden

Industrial Demonstrators

Ford Forschungszentrum Aachen (DE)

Prolan Irányítástechnikai ZRT (HU)

Re:Lab S.R.L. (IT)

Thales Rail Signalling Solutions GmbH (AT)

Tool Developer

Prover Technology AB (SE)

Figures Partner


ad