3218 search results - page 1 / 644 » Timed Extensions for SDL |
SDL
2001
13 years 6 months ago
2001
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...
SDL
2003
13 years 5 months ago
2003
SDL
2001
13 years 6 months ago
2001
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 ...
SDL
2001
13 years 6 months ago
2001
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...
SDL
2003
13 years 5 months ago
2003
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...