167 Hits in 2.8 sec

A new Approach to Performance Evaluation of Formally Specified Protocols [chapter]

Stefan Böhmer, Ralf Klafka
1995 IFIP Advances in Information and Communication Technology  
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

Alessandro Fantechi, Emilio Spinicci
2003 Electronical Notes in Theoretical Computer Science  
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]

Anders Ek, Jan Ellsberger, Anthony Wiles
1995 IFIP Advances in Information and Communication Technology  
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]

Kenneth J. Turner, F. Javier Argul-Marin, Stephen D. Laing
2000 Lecture Notes in Computer Science  
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]

B. Gulla, J. Gorman
1996 IFIP Advances in Information and Communication Technology  
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

Armin P.-G. Eberlein, Fred Halsall
1997 Engineering applications of artificial intelligence  
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]

Laila Daniel, Matti Luukkainen, Markku Kojo
2005 Lecture Notes in Computer Science  
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]

Anders Olsen, Didier Demany, Elsa Cardoso, Fiona Lodge, Mario Kolberg, Morgan Björkander, Richard Sinnott
1999 Lecture Notes in Computer Science  
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

Mario Kolberg, Richard O Sinnott, Evan H Magill
1999 Computer Networks  
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]

P. Dauphin, W. Dulz, F. Lemmen
1996 Protocol Test Systems VIII  
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]

Bjørn Gulla, Joe Gorman
1996 Lecture Notes in Computer Science  
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]

Marc Born, Andreas Hoffmann, Mang Li, Ina Schieferdecker
1999 Formal Methods for Open Object-Based Distributed Systems  
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]

A. Wong, M. Chechik
1999 arXiv   pre-print
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

R.L Probert, H Ural, A.W Williams
2001 Computer Communications  
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

Marsha Chechik, Andre Wong
2002 Journal of Systems and Software  
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