Sciweavers

Share
SDL
1997
90views Hardware» more  SDL 1997»
8 years 7 months ago
High-level message sequence charts
Sjouke Mauw, Michel A. Reniers
SDL
1997
134views Hardware» more  SDL 1997»
8 years 7 months ago
Automating the process of test derivation from SDL specifications
Gregor von Bochmann, Alexandre Petrenko, O. Bellal...
SDL
1997
75views Hardware» more  SDL 1997»
8 years 7 months ago
MSC'96 and beyond - a critical look
Stefan Loidl, Ekkart Rudolph, Ursula Hinkel
SDL
2003
147views Hardware» more  SDL 2003»
8 years 7 months ago
Modelling and Evaluation of a Network on Chip Architecture Using SDL
Network on Chip (NoC) is a new paradigm for designing large and complex systems on chips (SoCs). In this paradigm, a packet switched network is provided for on-chip communication. ...
Rickard Holsmark, Magnus Högberg, Shashi Kuma...
SDL
2003
158views Hardware» more  SDL 2003»
8 years 7 months ago
Automatic Formal Model Generation and Analysis of SDL
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
Annikka Aalto, Nisse Husberg, Kimmo Varpaaniemi
SDL
2001
73views Hardware» more  SDL 2001»
8 years 7 months ago
HyperMSCs with Connectors for Advanced Visual System Modelling and Testing
Experiences with the use of the MSC language for complex system specifications have shown that certain extensions are necessary in order to arrive at sufficiently transparent and m...
Jens Grabowski, Peter Graubmann, Ekkart Rudolph
SDL
2001
125views Hardware» more  SDL 2001»
8 years 7 months ago
Verification of Quantitative Temporal Properties of SDL Specifications
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
Iulian Ober, Alain Kerbrat
SDL
2001
110views Hardware» more  SDL 2001»
8 years 7 months ago
Timed Extensions for SDL
In this paper we propose some extensions necessary to enable the speci cation and description language SDL to become an appropriate formalism for the design of real-time and embedd...
Marius Bozga, Susanne Graf, Laurent Mounier, Iulia...
books