I detta dokument definierar vi TTCN i realtid och tillämpar det på flera tillämpningar. I realtid TTCN är uttalanden kommenterade med tidsetiketter som anger deras tidigaste och senaste genomförandetider. De syntaktiska utökningarna av TTCN är definitionen av en tabell för specifikationen av tidsnamn och tidsenheter, och två nya kolumner i tabellerna för dynamisk beteendebeskrivning för notering av uppgifter med tidsmärkning. Vi definierar en operativ semantik för realtids-TTCN genom att kartlägga realtids-TTCN till tidsinställda övergångssystem. Alternativt introducerar vi en förfinad TTCN ögonblicksbildssemantik som tar tid med kommentarer i beräkningen.
REF är en förlängning av TTCN för att testa hårda realtidskrav.
Real-time TTCN for testing real-time and multimedia systems
{'venue': 'Testing of Communicating Systems', 'journal': 'Testing of Communicating Systems', 'mag_field_of_study': ['Computer Science']}