Paper Info
Title
Timed Extensions for SDL
Abstract
: In this paper we propose some extensions necessary to enable the specificationand description language SDL to become an appropriate formalism for thedesign of real-time and embedded systems. The extensions we envisage concernboth roles of SDL: First, in order to make SDL a real-time specification language,allowing to correctly simulate and verify real-time specifications, we propose a setof annotations to express in a flexible way assumptions and assertions on timingissues such as ...
Year
DOI
Venue
2001
10.1007/3-540-48213-X_14
International Conference on System Design Languages
Keywords
Field
DocType
timed extensions,appropriate formalism,timer value,real-time design language,real-time specification,cyclic timers,real-time specification language,useful real-time programming concept,interruptive timers,urgencies.,description language sdl,timed automata,time semantics,sdl,basic sdl timer mechanism,specification language
Specification language,Design language,Knowledge representation and reasoning,Programming language,Formal language,Computer science,Automaton,Artificial intelligence,Timer,Specification and Description Language,Semantics,Distributed computing
Conference
ISBN
Citations 
PageRank 
3-540-42281-1
24
1.13
References 
Authors
14
6
Name
Order
Citations
PageRank
Marius Bozga12100127.83
Susanne Graf240024.11
Laurent Mounier3118779.54
Iulian Ober434230.96
Jean-luc Roux5241.47
Daniel Vincent6473.99