Sciweavers

Share
3218 search results - page 1 / 644
» Timed Extensions for SDL
Sort
View
SDL
2001
110views Hardware» more  SDL 2001»
10 years 5 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...
SDL
2001
89views Hardware» more  SDL 2001»
10 years 5 months ago
Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation
The purpose of this paper is to describe how computer-aided test generation methods can benefit from the time features and extensions to MSC, SDL and TTCN which are either already ...
Dieter Hogrefe, Beat Koch, Helmut Neukirchen
SDL
2001
125views Hardware» more  SDL 2001»
10 years 5 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
2003
158views Hardware» more  SDL 2003»
10 years 5 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
books