Utvecklingsmetodik baserad på formella konstruktionssteg

Syfte och mål

Dagens designmetoder för utveckling av mjukvara för avioniksystem, där flera tillämpningar delar samma distribuerade plattform, saknar en tydlig väg från den funktionella specifikationen till den slutliga implementeringen och har svårt att garantera realtidsegenskaper. För att övervinna den nuvarande situationen tog projektet ett viktigt steg mot en korrekt-genom-konstruktion designprocess genom att etablera en formell bas, samt utvecklingen av metoder, principer, och verktyg för modellering, designutrymmesutforskning och syntes av den slutgiltiga programvaran.

Resultat och förväntade effekter

Projektet har skapat metoder och verktyg för ett korrekt-genom-konstruktion designprocess för framtida avioniksystem. Projektet har levererat en ny designmetod, förbättrat stöd för modellering och simulering genom utökade ForSyDe modelleringsbibliotek, ett nytt verktyg för designutrymmesutforskning, principer och ett prototypverktyg för mjukvarusyntes. Metodens potential har demonstrerats och utvärderats genom industriella användningsfall. Resultaten är lovande, men det behövs mer forskning för att nå en högre mognadsgrad för att användas i industrin.

Upplägg och genomförande

Projektet har haft sin hemvist inom klustret Avionikplattformteknologi som adresserar framtida system och deras behov av beräkningskraft, robusthet, säkerhet och utvecklingskostnad. Två parallella projekt inom klustret har stöttat detta projekt. Projekten har demonstrerat nya designmetoder för framtida flygplansutveckling inom två områden: avionikfunktioner, krävande sensorfunktioner av typen AESA radar, och tagit ett steg mot införande maskininlärning i framtida autonomifunktioner med omfattande databearbetningsbehov genom att definiera ett användningsfall.