Framtidens intelligenta språk – världens experter möts idag

För att utveckla ny, smart och säker teknik måste vi kunna lita på att modeller och simuleringar är korrekta. Ny forskning vid Högskolan i Halmstad om så kallade ”hybrid modelling languages” gör datorsimuleringar smartare, snabbare och betydligt mer precisa. Detta skapar möjligheter för nya innovationer. Den 7–8 maj träffas världens experter i Houston för att snabba på utvecklingen av framtidens intelligenta språk.

Om två fordon är på väg att krocka kan ett automatiskt sensorsystem bromsa ett av fordonen för att undvika en kollision. Systemet måste fungera felfritt, annars kan konsekvenserna bli ödesdigra. Vid simulering av ett sådant system tillåts vissa faktorer påverka resultatet, medan andra inte gör det. Till exempel spelar det ingen roll om däcken blir varma av inbromsningen eller i vilken riktning vinden blåser. Det är heller inte viktigt att simulera bilens exakta position efter inbromsningen – det enda väsentliga är att krocken undviks. 

Detta videoklipp visar en Acumen-simulering där en lastbil, genom ett automatiskt bromssystem, undviker att krocka med en bil. Det unika med Acumen, som är ett hybridmodelleringsspråk, är att det kan hantera osäkerheter och variationer, vilket leder till mer realistiska simuleringar än de metoder som används idag. Simulering: Adam Duracz, doktorand vid Högskolan i Halmstad.

Realistiska simuleringar

Walid Taha, professor i datalogi vid Högskolan i Halmstad, leder forskning med målet att utveckla simuleringsmetoder som kan hantera en variation av, eller osäkerhet om, de olika faktorerna i det scenario som ska simuleras.

– Problemet med dagens simuleringstekniker är att de antar en perfekt omgivning – men verkligheten är aldrig perfekt. Ett sådant antagande ger svaga simuleringar som ibland är helt missvisande. Vi utvecklar därför ett nytt programmeringsspråk, ”hybrid modelling language” eller hybridmodelleringsspråk, som kan hantera osäkerheter och variationer i simuleringens ingående parametrar. Detta resulterar i realistiska simuleringar – som exemplet med den bromsande bilen där fokus är att undvika en olycka, säger Walid Taha, som leder ett möte om hybridmodelleringsspråk (HyMLs) på Rice University i Houston, USA, den 7–8 maj.

Världens experter möts för att snabba på utvecklingen

HyMLs leder till snabba och säkra simuleringar och modeller som är lätthanterliga. Eftersom de imiterar verkligheten effektivt, blir HyML-simuleringar mycket användbara vid utveckling av ny teknik, till exempel ”cyberfysiska system” som robotar, självkörande fordon och andra system med inbäddad mjukvara.

– HyML-mötet är ett forum för att presentera spjutspetsforskning inom området ”hybrid systems modelling and simulation”. Vi vill inspirera forskare som arbetar med detta, och snabba på utvecklingen genom att stimulera till samarbete mellan olika discipliner. I slutändan är vårt mål att tillhandahålla en säker och intelligent design av cyberfysiska system som kan bli en användbar del av vår vardag, säger Walid Taha.

Kontakt

Walid Taha, walid.taha@hh.se

Mobilnummer i USA, 7–10 maj: +1 (832) 564 5111

Mobilnummer i Sverige, från den 11 maj: +46 76 060 7253