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

Diarienummer 2010-01072
Koordinator CHALMERS TEKNISKA HÖGSKOLA AKTIEBOLAG - Institutionen för data- och informationsteknik
Bidrag från Vinnova 2 168 955 kronor
Projektets löptid oktober 2010 - september 2012
Status Avslutat

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.

Texten på denna sida har projektgruppen själv formulerat och innehållet är ej granskat av våra redaktörer. Projektets koordinator kan ge dig mer information.