Vi designade och implementerade ett nytt programmeringsspråk kallat Hierarchical Timing Language (HTL) för hårda realtidssystem. Kritiska tidsbegränsningar anges inom språket och säkerställs av kompilatorn. Program i HTL är extensible i två dimensioner utan att ändra deras timing beteende: nya programmoduler kan läggas till, och enskilda program uppgifter kan förfinas. Mekanismen som stöder tidsinvariant under parallell sammansättning är att olika programmoduler kommunicerar vid bestämda tidpunkter. Tidsbrist under förfining uppnås genom konservativ schemaläggning av den högsta nivån. HTL är ett samordningsspråk, i det att enskilda uppgifter kan genomföras på "utländska" språk. Som en fallstudie presenterar vi en distribuerad HTL-implementering av en styr-för-tråd-styrenhet för fordon.
Det hierarkiska timingspråket (HTL) REF är en annan efterträdare till Giotto.
A hierarchical coordination language for interacting real-time tasks
{'venue': "EMSOFT '06", 'journal': None, 'mag_field_of_study': ['Computer Science']}