ExpRESAS: Förväntningsinriktad kravelicitering för självanpassande system

Forskningsprojekt, 2025 – 2028

Målet med projektet är att skapa självanpassande mjukvarusystem som är medvetna om användarnas förväntningar. Ett självanpassande system kan automatiskt ändra sitt beteende eller sin struktur. Dammsugarrobotar och smarta molnsystem är exempel på självanpassande system. Sådana system kan förbättra sig själva utan att behöva omprogrammeras av en människa.Just nu är självanpassande system inte medvetna om människors förväntningar. I projektet vill jag möjliggöra för självanpassande system att förstå om de uppfyller människornas förväntningar. Om systemet vill bete sig på ett sätt som är oväntat kan systemet förklara och fråga om slutanvändaren kan godkänna. Om systemet agerar som människan förväntar sig behöver systemet inte förklara sig och skapa kognitiv belastning.I projektet vill jag skapa ett ramverk som resonerar om mänskliga förväntningar, så att självanpassande system kan effektivt interagera med människor. Detta innebär att systemen måste förstå användarens krav. Jag skall utveckla ett språk för att beskriva förväntningar med hjälp av formella modelleringsmetoder. Sedan skall jag utveckla metoder för att förklara systemets beteende på ett sätt som människor förstår. Slutligen skall jag utvärdera ramverket med hjälp av simuleringar och robotar. Min vision är att skapa system som är intuitiva och förstår användarnas behov. Projektet kommer hjälpa oss skapa pålitliga, effektiva och ansvarsfulla system som går att förstå och lita på.