Event

Välkommen till CEDES seminarium på Open Arena Lindholmen. Projektet CEDES och Lindholmen Science Park har organiserat en lång serie teknikseminarier inom området intelligenta säkerhetssystem för fordon. CEDES har pågått sedan 2004 och avslutas nu då de två senaste doktoranderna disputerat. Projektet bjuder in till det sista seminariet, där resultaten från projektet diskuteras.

Bakgrund

CEDES satte som mål att utforska, utvärdera och demonstrera kostnadseffektiva metoder för feltolerans och felhantering i säkerhetskritiska fordonsbaserade elektroniksystem. Huvudinriktning var att studera programvarubaserade mekanismer, vilka behöver minimal hårdvaruredundans, för att uppnå erfordlig systemsäkerhet. Såväl tekniska lösningar som processer att specifi cera och utveckla felhanteringsmekanismer ingick i projektet. Syftet har inte varit, att utveckla en given tillämpning utan underliggande teknik för att bygga robusta och feltoleranta system med programvara. Lämpliga arkitekturer med avseende på säkerhet, kostnadseffektivitet och befintliga arkitekturstandarder skulle studeras.

Föreläsare

Efter en kort inledning kommer vi i seminariet att fördjupa oss i tekniken och presentationerna är:
• Peter Öhman: Lindholmen Science Park och Open Arena.
• Johan Karlsson: Introduktion och sammanfattning av CEDES.
• Martin Ivarsson: Processutvärdering och förbättring baserat på organisationens egen
kunskap och erfarenhet
• Ruben Alexandersson: Aspektorienterad programmering som ett sätt att med programvara bygga feltoleranta datorsystem.
• Daniel Skarin: Utvärdering av inbyggda datorsystem med felinjicering.
• Reiner Hähnle: Symbolisk felinjicering och formell verifi ering av feltoleransmekanismer.