Projektet har videreudviklet klassiske teknikker til safety-kritisk udvikling således at de kan bruges til analyse af objekt-orienterede arkitekturer.

Yderligere er avancerede simulerings- og analyseteknikker (statecharts og Coloured Petri Nets) blevet anvendt til analyser af frekvensomformeren under udvikling. Et prototype-værktøj til validering af opførslen af Java-baserede arkitektur-prototyper er blevet udviklet. På baggrund af resultater i projektet blev der i 2006 givet en keynote på en af de førende software safety-konferencer.

Danfoss Drives har opnået erfaring med objekt-orienterede teknikker, hvilket anvendes i udviklingen af safety-kritiske systemer.

Systematic Software Engineering har benyttet erfaringerne fra projektet til at fremstille et uddannelsessæt, som anvendes internt over for systemudviklere med opgaver inden for software safety . Systematic har allerede uddannet 8 personer, og forventer at skulle have flere på skolebænken over de næste år.

I dette projekt har Alexandra Instituttet samarbejdet med følgende virksomheder:

	Danfoss Drives A/S
	Aarhus Universitet, Datalogi - Datalogisk Institut

Ønsker du yderligere information kan du til enhver tid henvende dig til Ole Lehrmann Madsen.

Projektet er bl.a. finansieret af:

ISIS Katrinebjerg

Det samlede projektbudget, fordelt på projektets partnere er: kr. 2.100.000,00

Ønsker du yderligere information om dette projekt kan du henvende dig til Ole Lehrmann Madsen.