ADM - Autonomous Decision Maker (PIITSA)

Förutom SP deltar också AerotechTelub och Blekinge Tekniska Högskola. ADMs uppgift är att på ett intelligent och självständigt sätt hantera funktionssäkerhet när styrning/övervakning görs via Internet.

ADM:en är ett gränssnitt och ”programmeras” av applikationen. Den principiella uppbyggnaden av programspråket är ett viktigt resultat och speciella aspekter att hantera är: stora och varierande fördröjningar, hot från hackers och krav på integritet. Dessutom ingår att ta fram en logisk demonstrator för att validera konceptet.

Bakgrunden

Brakgrunden till projektet är att då styrning ska göras via Internet, och i fallet säkerhetskritiska tillämpningar, det inte är tillräckligt säkert att överlåta allt ansvar till applikationen. En separat och standardiserad enhet är ur alla synpunkter att föredra. ADM:en är tänkt att vara en intelligent och autonom gränssnittsfunktion med fokus på säkerhets- och realtidskritiska aspekter.

Mål

Målet är att definiera den logiska uppbyggnaden av beslutsfunktionen (ADM), som både är generell nog och samtidigt välstrukturerad och tillräckligt enkel för att vara praktiskt användbar.

Målet är också att arbetet direkt ska kunna leda fram till byggandet av en demonstrator i en tänkt fortsättning av detta projekt.

Aktivitet 1 - Granskning av existerande algoritmer och metoder

Denna aktivitet innebär att kartlägga vilka algoritmer och metoder som kan vara tillämpbara och vilka egenskaper de har. Syftet är att få en bild av ”state-of-the-art” av forskning och tillämpning inom området. Som resultat anges också om nya algoritmer och metoder är nödvändiga att ta fram.

Aktivitet 2 - Specifikation

Denna aktivitet innebär att formulera krav på ADM. En grundläggande uppgift är att undersöka hur man avbildar säkerhetsaspekter till/från applikationen och från/till ADM. En ansats är att specificera ett språk som definierar vad som är möjligt att uttrycka. Flexibilitet specificeras bl.a. genom krav på konfigurering. En speciell aspekt är också om den kunskap ADM:en bygger upp kan extraheras och användas för att initiera en annan ADM för att ge denna en ”flygande start”.

Aktivitet 3 – Integration

I denna aktivitet ingår att studera hur de delar som beskrivits i aktivitet 1 och 2 kan integreras till en samverkande enhet. Här ingår också representation av data och vilken typ av exekveringsprincip som är lämplig. Resultatet av denna aktivitet är en logisk prototyp.

Aktivitet 4 – Utvärdering

Denna del syftar till att utvärdera den logiska prototypen som definierats i aktivitet 3. I uppgiften ingår funktion och egenskaper och arbetet utförs med hjälp av analys och simuleringar. Aktiviteten avslutas med slutdokumentation av resultat och specifikationer.