A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
A new Approach to Performance Evaluation of Formally Specified Protocols
[chapter]
1995
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A main focus is on semi-automatic generation of a program for stochastic simulation directly from a given protocol specification in SDL. ...
Further, a new method is introduced to estimate the hardware performance requirements to run a given communication protocol properly. ...
Figure 1 the code automatically generated by an SDL tool (e.g. ...
doi:10.1007/978-0-387-34878-0_37
fatcat:lutznlk5hjgdler6hiqtw2bryu
Modelling and Validating a multiple-configuration railway signalling system using SDL
2003
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This paper discusses some issues about the usage of SDL and related commercial SDL support tools for the validation of a railway signalling system: in particular, the issue of the multiple configurations ...
presented by this system is addressed, discussing the possible strategies to validate the system regardless to the actual configuration. ...
Becucci for carrying on the validation experiments, and General Electric Transportation Systems for kindly lending the case study. ...
doi:10.1016/s1571-0661(04)81026-0
fatcat:sodzey2v6bdwfofkq7gsqsjmpe
Computer Supported Test Generation from SDL Specifications
[chapter]
1995
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The method prevents a test suite designer from creating test cases that are not consistent with the corresponding SDL specification. ...
The purpose ofthe method is to provide tool supported generation oftest cases for behaviour tests from SDL specifications (CCITT 1988) . ...
The STED tool also offers the user access to the SDL specification via the SDT tool. ...
doi:10.1007/978-0-387-34867-4_25
fatcat:z24g3gfcejeffhszfnqsyjp2i4
Concurrent Specification And Timing Analysis of Digital Hardware using SDL
[chapter]
2000
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The ANISEED method (Analysis In SDL Enhancing Electronic Design) is presented for specifying and analysing timing characteristics of hardware designs using SDL (Specification and Description Language). ...
This permits the use of a standard formal technique for specification and analysis of circuit designs. ...
Ji He, University of Stirling, discovered and analysed the first arbiter design problem mentioned in section 7. ...
doi:10.1007/3-540-45591-4_137
fatcat:fo5fpbb3srfcboihshw2i2psrq
Supporting evolution of SDL-based systems: industrial experience
[chapter]
1996
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The goal of the project is to provide methodological and tool support for system evolution. ...
The paper then describes the PROTEUS * approach to supporting system evolution, and assesses the extent to which this has been successful in its practical application to SDL-based product development at ...
The work carried out in Norway has been partly funded by the Norwegian Research Council (NFR). ...
doi:10.1007/978-0-387-34945-9_18
fatcat:s7jqyw2yirgczpqhrn5zdbbgsi
Telecommunications service development: A design methodology and its intelligent support
1997
Engineering applications of artificial intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
The RATS tool advises the service developer during all stages of the service development and on different levels of abstraction, and provides requirements management facilities, like traceability, impact ...
The service is developed along the three dimensions of the methodology: refinement, completeness and formality, aiming for a complete, consistent and formally specified service definition. ...
Acknowledgements The authors are grateful to British Telecom for supporting this research, especially to Kevin Woollard and Michael Crowther for many helpful discussions. The authors also thank Prof. ...
doi:10.1016/s0952-1976(97)00024-9
fatcat:4w565bdrjnhlbbz7yq3fa2naxu
Experiences in Using SDL to Support the Design and Implementation of a Logical Link Layer Protocol
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The protocol was modeled in SDL and successive refinements of its design were carried out based on feedback obtained from using the validation facilities of Telelogic Tau 4.4 SDT. ...
We have used SDL to support the design and implementation of SLACP, a novel logical link layer protocol to enhance the performance of TCP over wireless WAN links. ...
Validation of SLACP Using SDL Telelogic Tau 4.4 SDT tool is used for validating SLACP. We formulate the following validation scenarios which represent the protocol operations. ...
doi:10.1007/11506843_13
fatcat:ovlmeayvefctvcxug6nsrljfki
The Pros and Cons of Using SDL for Creation of Distributed Services
[chapter]
1999
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper reports on the experience gained in the Service Creation projects SCREEN and TOSCA on use of the language SDL for efficient service creation. ...
Optimizing the development process is very much a matter of optimizing the technologies used during service creation. ...
The TTCNlink tool provides an environment that links the SDL specification world represented by the Specification Design Tool (SDT) with the testing world represented by the Interactive TTCN Editor and ...
doi:10.1007/3-540-48888-x_33
fatcat:pakg3n3b2zh2vfr2xk5lvg5boa
Experiences modelling and using formal object-oriented telecommunication service frameworks
1999
Computer Networks
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Here we focus on the underlying technology required. In particular we highlight the advantages of SDL and tools as well as issues and problems incurred. ...
This paper describes experiences in using SDL and its associated tools to create telecommunication services by producing and specialising object-oriented frameworks. ...
Acknowledgements The authors are indebted to the partners in the TOSCA project. ...
doi:10.1016/s1389-1286(99)00121-8
fatcat:i46zvn4le5hvnabjkkauobo5nm
Specification-driven Performance Monitoring of SDL/MSC-specified Protocols
[chapter]
1996
Protocol Test Systems VIII
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
A prototype tool called MISS was developed to proof the suitability and practicability of the method. ...
The basic idea is to apply MSCs in order to concentrate on the main parts of interacting SDL processes such as signal exchanges and timeouts. ...
The selection of the method depends on the SDUMSC CAPE tool used. Because we built the MISS prototype in conjunction with SDT (SDL Design Tool) [TeI93] the third method was appropriate. ...
doi:10.1007/978-0-387-34988-6_26
fatcat:b7rbcym7afhenpqbj3ebknloyu
Experiences with the use of a configuration language
[chapter]
1996
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The language and supporting analysis and system generation tools are the main result of the PROTEUS 1 project. ...
The work described is based on practical application of the PROTEUS approach in Stentofon, a Norwegian industrial company producing customized internal communications systems. ...
PCL descriptions and tool versions introduced during this work. ...
doi:10.1007/bfb0023091
fatcat:yw6r3y5euvhd5hk6j4r4cgikoa
Combining Design Methods for Service Development
[chapter]
1999
Formal Methods for Open Object-Based Distributed Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Each of the ODP-viewpoints covers different aspects of the system which is to be designed. ...
distributed services where the basic idea is to split the design concerns into several viewpoints. ...
The Y.SCE tool is able to generate SDL files which afterwards can be imported into SDT from Telelogic. Navigation is again possible. The behaviour information can be added using SDT. ...
doi:10.1007/978-0-387-35562-7_22
fatcat:uqrjxyjvkbbltkiip4tvyjmmdq
Formal Modeling in a Commercial Setting: A Case Study
[article]
1999
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
A formal description language, SDL, was chosen by our qualitative CASE tool evaluation to model a multimedia-messaging system described by an 80-page natural language specification. ...
Our model was used to identify errors in the software requirements document and to derive test suites, shadowing the existing development process and keeping track of a variety of productivity data. ...
We are also grateful to the anonymous referees for suggesting ways to improve the paper. The study was supported in part by Nortel Networks, NSERC, and Ontario Graduate Scholarship (OGS). ...
arXiv:cs/9906032v1
fatcat:oolg63f2wjbhxfyncthqjb42si
Rapid generation of functional tests using MSCs, SDL and TTCN
2001
Computer Communications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In particular, the study involves the use of Message Sequence Charts (MSCs) [International Telecommunications Union (ITU-T), ] and the use of the Telelogic Tau tool set [Telelogic Tau tool set, version ...
This paper reports the results of a study undertaken to determine the suitability of CASE tools and formal methods for systematic, rapid generation of functional test cases. ...
The authors gratefully acknowledge the valuable comments of the anonymous referees; and support for this work from Communications and Information Technology Ontario (CITO), and Mitel Corporation. ...
doi:10.1016/s0140-3664(00)00229-2
fatcat:wpxc675cqjgslkx35oat4rilwu
Formal modeling in a commercial setting: A case study
2002
Journal of Systems and Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
A formal description language, SDL, was chosen by our qualitative CASE tool evaluation to model a multimedia-messaging system described by an 80-page natural language specification. ...
Our model was used to identify errors in the software requirements document and to derive test suites, shadowing the existing development process and keeping track of a variety of productivity data. ...
Acknowledgments The authors would like to thank Albert Loe, Steve Okun, Avinash Persaud, and Shawn Turner of Nortel for their technical assistance and continual support ...
doi:10.1016/s0164-1212(01)00080-2
fatcat:kuwycaca3rhc5myoojvytwhye4
« Previous
Showing results 1 — 15 out of 167 results