ICES Seminar with Prevas: Verification of Safety Critical Embedded Systems

ICES and Prevas invite you to find out more about the latest in testing safety critical systems. Join us on 7 March for a half-day seminar at KTH.

Time: Wed 2012-03-07 13.00

Location: L52, Drottning Kristinas vägen 30, KTH Campus, Stockholm

Embedded systems today encompass a large variety of systems and applications, from the mobile phone and the DVD player, over the control of steering and brakes in cars and other vehicles, to critical communication systems and medical devices. This embedded test seminar highlights verification of those systems, showing examples from different branches and current research within this area.

As many embedded products needs to be highly reliable, parts of the ideas and methods from testing safety critical systems may also be of interest for testing those products. Examples of key questions that will be addressed at the seminar include the following:

* When to stop testing?
* How can testing be made cost-efficient?
* How does testing relate to newer concepts of model-based analysis and testing?
* How to incorporate successful testing into an organization?

An outline of the programme is given below ( Speakers' Abstracts available as pdf).

13.00-13.10 Introduction

13.10-13.50 "Model-based Testing (MBT) without Models", Karl Meinke (KTH)

13.50-14.30 "Abnormal Testing of ECU’s", Roger Johansson (Prevas)

14.30-15.00 Coffe break

15.00-15.40 "Qualification of Test Tools for Safety Critical Systems with Fault Injection and a Monitor", Viacheslav Izosimov (EIS by Semcon)

15.40-15.50 Short break

15.50-16.30 "Efficient Test Design for Industry", Sigrid Eldh (Ericsson & Karlstad University, KAU)

16.30-17.00 Discussion

--------------------
To register, email ices-admin@md.kth.se (with "ICES Prevas Testing seminar" in the heading please).

------------------
Attendance is free for KTH staff and ICES members.

Others interested in attending can do so by paying a one-off fee of 1700:- per seat, or by joining ICES as a Bronze member (which buys 3 places at ICES events during 2012). For more information, please see the ICES Membership Offer below.

Tagged as:
2012-03-07T13:00 2012-03-07T13:00 ICES Seminar with Prevas: Verification of Safety Critical Embedded Systems ICES Seminar with Prevas: Verification of Safety Critical Embedded Systems