Pålitlig programvara för inbyggda system

Kurslängd:
2 dagar

Kursmål: Deltagarna skall på ett teoretiskt och praktiskt sätt få exempel på hur man utvecklar och designar för pålitliga program i ett inbyggda system.

Målgrupp: Kursen vänder sig till programmerare av inbyggda system.

Förkunskaper: Programmeringsvana. Språken C och C++ används i exemplen. För avsnittet Modellering med UML krävs kännedom om objektorienterad programmering.

Innehåll
1. Principer - Henrik Thane, Mälardalens högskola - 1 1/2 dag

• De fundamentala problemen vid design och verifiering av programvara kontra "klassiska" ingenjörsdicipliner.
• Hasardanalys - när blir en programvara farlig - och hur farlig?
• Säker design - hur skall man designa sin programvara & Hw för att eliminera, reducera, och kontrollera hasarder (farorna)?
• Feltolerans - Hur designar man feltolerant programvara?
• Verifiering av sekventiella program (statisk analys, testning och debugging)

2. Praktiska erfarenheter - CC SYSTEMS AB i Uppsala, 2 - 4 h

• Projekt - några fallstudier
• Krav
• Svårigheter - lösning
• Skillnader mellan projekten
• Utvecklingsmetodik - så här gör vi på CC Systems
• Process
• Realtidsprogrammering
• Modellering med UML
• Simulering

Tid och plats:
Inga kurstillfällen finns för tillfället.

Avgift:
3800:- per deltagare (Medlemsföretag)
5000:- per deltagare (Icke medlemsföretag)

Genomförande:
Kursen är utvecklad och genomförs av Henrik Thane i samarbete med Mälardalens Högskola och CC Systems i Uppsala.

Information
Närmare information kan erhållas via
Anders Martinsen, 021 - 10 31 07
e-post: anders.martinsen@mdh.se