Tidsmodell - verktyg, algoritmer, språk, metodik, användarfall

Syfte och mål

Syftet med TIMMO-2-USE är att föreslå en framtida (de facto-) branschstandard för hantering och entydigt dokumentera tidsrelaterad utvecklingsinformation. Huvudsakligen kommer Chalmers att arbeta med att bidra till att definiera en entydig semantik för tidsbegrepp och tidsrelaterade operationer i beskrivningsspråket TADL2.

Resultat och förväntade effekter

Fastän AUTOSAR har utvecklats under många år täcker den nuvarande standarden inte all relevant information. I synnerhet gäller detta hanteringen av tidsinformation. Inom TIMMO-2-USE kommer Chalmers att bidra med en formalisering av de modeller som används för såväl systembeskrivning som tidskorrekt systemsimulering, vilket förväntas minska utvecklingskostnader orsakade av t ex oklara eller tvetydiga systemspecifikationer. Ett förväntat nydanande resultat här är en formalism för bestämmande av validiteten hos systemets tidsegenskaper när gjorda antaganden inte håller (temporärt eller permanent) under drift.

Upplägg och genomförande

Arbetet inleds med framtagning av krav och användarfall som är användbara i alla konstruktionsled. I två därpå följande arbetspaket kommer Chalmers att (utgående från TADL) förädla formalismer gällande syntax och semantik i TADL2. Slutligen utvärderas formalismernas användbarhet genom att de implementeras i konstruktionsverktyg utvecklade av våra projektpartners.