Nytt programspråk för modellering

Utveckling av komplexa system som flygplan, bilar och kraftverk bedrivs alltmer genom simulering i matematiska modeller. Ett nytt programspråk som gör att sådana modeller kan skapas mer flexibelt har tagits fram vid Linköpings universitet.

Modelica är idag det mest utvecklade språket för ekvationsbaserad modellering av fysiska system. Det är stort och komplext med mycket funktionalitet för avancerad modellering. Men storleken gör det svårt att formalisera, vilket innebär att specifikationen kan feltolkas.

David Broman, doktorand i datavetenskap vid LiU, har i sitt avhandlingsarbete konstruerat ett nytt programspråk, Modeling Kernel Language (MKL). Han har utgått från ett bottom-up-perspektiv och skapat ett litet, väldefinierat språk. Till skillnad från de befintliga språken kan det användas för att bygga såväl modeller som program för automatisk analys. Tack vare detta kan ingenjörer själva bygga ut språket och skapa nya tillämpningar för modellering.

Lösningen bygger på att MKL har en minimalistisk design där språkets kärna är precist matematiskt definierat. Genom att lyfta ut stora delar av funktionaliteten i ett programspråksbibliotek har man lyckats undvika vissa design- och implementationsfel. MKL kan vara ett första steg i en ny riktning för ekvationsbaserade och objektorienterade modelleringsspråk med fokus på minimalism och utbyggbarhet.

Avhandlingen Meta-languages and semantics for equation-based modeling and simulation är publicerad på LiU Electronic Press, se http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-58743. Den läggs fram fredag 1 oktober kl 10:15 i Visionen, hus B, Campus Valla, Linköping.

Kontakt:
David Broman, 0707-909075, david.broman@liu.se