TRANSFORM - Design transformation för formell konstruktionsmetodik

Syfte och mål

Flygindustrin behöver effektiva metoder för system- och mjukvaruutveckling med formell bas som kan garantera korrekt beteende. Projektet tog ett viktigt steg för att använda designtransformationer på ett formellt sätt inom en korrekt-genom-konstruktion designprocess. Metoden skapar förutsättningar för att transformera en abstrakt, formell och exekverbar systemmodell genom stegvis tillämpning av formella transformationsregler till en fysisk implementering på en nätverksbaserad avionikplattform.

Resultat och förväntade effekter

Projektet har skapat en metod för ett konstruktionsflöde baserat på transformationer. Projektet har levererat: 1) en ny designmetod som använder transformationer för stegvis förfining av systemmodellen till en form som möjliggör implementering i hårdvara och mjukvara; 2) Definition av kontrakt för formella transformationer och verifikation av dessa; 3) Prototyp av ett transformeringsverktyg; 4) Metodiken och tillhörande verktyg har applicerats i en representativ mindre tillämpning. Resultaten är lovande, dock behövs det mer forskning för att nå en högre mognadsgrad.

Upplägg och genomförande

Projektet bygger vidare på projekt som definierats inom klustret avionikplattform teknologi som tillsammans adresserar beräkningskraft, robusthet, säkerhet och utvecklingskostnad. Den utvecklade metodiken nyttjar verktyg och metodik från NFFP7 projekt CORRECT som tog det initiala steget för en korrekt-genom-konstruktion designprocess. Projektet kompletterar CORRECT med en formell transformationsbaserad metodik med potentialen att modellera och hantera avvägningar på högre abstraktionsnivån samt minska behovet av verifiering på lägre abstraktionsnivå.