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.
Filters
SDL and MSC Based Test Generation for Distributed Test Architectures
[chapter]
1999
SDL '99
Preserved Fulltext
Most of the SDL and MSC based test generation methods and tools produce nonconcurrent TTCN test cases only. ...
In this paper, we explain how concurrent TTCN test cases can be generated directly from SDL system speci cations and MSC test purposes. ...
Acknowledgements We would like to thank Stefan Heymer for valuable comments on earlier drafts of this paper and for careful proofreading. ...
doi:10.1016/b978-044450228-5/50026-6
fatcat:55ijjubjvbejfjjf6ii7enzq4u
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.
.), Formal Methods for Open Object-Based Distributed Systems ...
30 3463 8 200 email: {born I a.hoffmann I m.1i I schieferdecker} @fokus.gmd.de Introduction The Reference Model for Open Distributed Processing (RM-ODP) [5] describes an architecture for the design of ...
Conclusion ODP provides an architecture for the description and development of distributed systems by the use of different viewpoints, each of them highlights specifiC aspects of a distributed system. ...
doi:10.1007/978-0-387-35562-7_22
fatcat:uqrjxyjvkbbltkiip4tvyjmmdq
Ttcn-3 Based Conformance Testing Of A Node Monitoring Protocol For Manets
2014
Zenodo
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 2020; you can also visit the original URL.
The file type is application/pdf.
First, we use SDL to obtain MSCs, which represent the scenario descriptions by sequence diagrams, which in turn generate test sequences and test cases. ...
This approach shows, the effective conformance testing of the distributed protocols for the network with varying node density and complex behavior. ...
TTCN-3 test case generation based on MSC, and the MSCs are generated using SDL [20] . ...
doi:10.5281/zenodo.1090839
fatcat:hciqhytvtrarxeb6s4aa5dn6vm
Performance engineering of SDL/MSC systems
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 1998; you can also visit the original URL.
The file type is application/pdf.
Principles of Performance Engineering 4 of 24 Performance Engineering of SDL/MSC Systems Andreas Mitschele-Thiel Bruno MŸller-Clostermann Performance Engineering of SDL/MSC Systems Andreas Mitschele-Thiel ...
Bruno MŸller-Clostermann Performance Engineering of SDL/MSC Systems Andreas Mitschele-Thiel Bruno MŸller-Clostermann Performance Engineering of SDL/MSC Systems Andreas Mitschele-Thiel Bruno MŸller-Clostermann ...
SDL/MSC-Based Performance Engineering
. SDL/MSC-Based Performance Engineering
Performance Modelling with SDL/MSC (contÕd)
. Tools for SDL-and MSC-based Performance Engineering
. ...
doi:10.1016/s1389-1286(99)00061-4
fatcat:l7v2mp4przholb6vkxsjjyw2si
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.
In a competeative market for the creation of complex distributed services, time to market, development cost, maintenance and flexibility are key issues. ...
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. ...
Fast prototyping, verification (model checking) and code generation for implementation and combined use with MSC and TTCN for testing are also supported by SDL. ...
doi:10.1007/3-540-48888-x_33
fatcat:pakg3n3b2zh2vfr2xk5lvg5boa
Extended SDL-Based Tools for Rapid Prototyping of Application Specific Signal Processors
[chapter]
1999
Distributed and Parallel Embedded 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.
hierarchical states, distributed simulation and co-execution, non-regression testing of SDL design. ...
All these features make SDL well-suited for the design of event-driven, multitasking and distributed systems. ...
doi:10.1007/978-0-387-35570-2_13
fatcat:oi5ajjaz2re7dme4yixxwc7y4u
A New Integrated Software Development Environment Based on SDL, MSC, and CHILL for Large-scale Switching Systems
1997
ETRI Journal
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.
SDL/CHILL are more suitable languages than STD/C to develop real-time concurrent systems based on distributed architecture because SDL and CHILL provide formal specifications and languages features for ...
Its architecture was designed as a distributed concurrent system based on message passing as in the TDX series. ...
His research interests include the system architecture and its performance evaluation, system engineering, system design, and implementation for ATM switching systems and wireless ATM PCS systems. ...
doi:10.4218/etrij.97.0197.0044
fatcat:gla36mi74vctfp4fxaw5ku3uoi
Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation
[chapter]
2001
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 2020; you can also visit the original URL.
The file type is application/pdf.
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 available or currently ...
The implications for currently available test generation tools are shown and proposals for their improvement are made. ...
The testing of time constraints in a distributed test architecture has not been solved yet. ...
doi:10.1007/3-540-48213-x_11
fatcat:wo3uv7m7abc23dlysu5pqpnaky
Testing and Test Generation: State of the Art and Future Expectations
[chapter]
1998
Testing of Communicating 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.
So, how do formal methods, testing and test generation fit into this? ...
Formal methods, testing and test generation are in this paper discussed from a pragmatical industrial perspective and in particular as seen from a CASE tool vendors point of view. ...
Figure 4 . 4 Generation of test purpose MSCs and TICN test cases based on use case MSCs.
© Springer Science+Business Media New York 1998 ...
doi:10.1007/978-0-387-35381-4_18
fatcat:x7ha7bvj45fjznnkzwypxj5yza
Hardware/software codesign and rapid prototyping of embedded systems
2000
IEEE Design & Test of Computers
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.
., electrical circuits, logic Hardware/Software Codesign and Rapid Prototyping of Embedded Systems Embedded Systems with SDL/MSC 28 This article describes tools for the analysis, synthesis, and rapid prototyping ...
of distributed embedded real-time systems and presents a complete design flow from specification to implementation. ...
Phoenix contains four Altera FPGAs supported by large memory modules to implement the computational model of SDL and programmable clock generators to test different architectures. ...
doi:10.1109/54.844331
fatcat:7wla7cdyifeenb6wwfrwclbkaq
Improving time-to-market using SDL tools and techniques
2001
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 2017; you can also visit the original URL.
The file type is application/pdf.
, and simulation and
generation of MSC. ...
: Maturation of CASE tools, models,
and notations (UML, SDL, MSC, TTCN)
• Methodology:
-Focus on primary customer scenarios
-Use UML, MSC and SDL tools for validation
-Use scenario-based rapid prototyping ...
doi:10.1016/s1389-1286(00)00200-0
fatcat:64xlcxsb6jcxtisswznq5rtozq
Combined Application of SDL-92, OMT, MSC and TTCN
[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.
For that, MSC and SDL combined languages complemented with time and probabilistic descriptions, are being used to specify test purposes, describe and verify test cases. ...
While OMT is used to model the management aspects of the system, typically described as TMN objects, SDL-92 is used to describe the V5 signalling stack as well as all the distributed components. ...
At last we would like to thank our work colleagues for they review and helpful suggestions. ...
doi:10.1007/978-0-387-35079-0_29
fatcat:c7aaihid5fb6rpz7hzmni4rxnu
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.
In the telecommunications industry SDL and MSC specifications are common FDTs for developing reactive real-time systems. ...
While SDL specifications describe the overall system architecture in detail, MSC scenarios are used to specify the load-dependent behavior of interacting system components. ...
In general, the presented method of MSC-based monitoring of SDL systems gives us a tool to adjust time-sensitive parameters of complex parallel and distributed systems. ...
doi:10.1007/978-0-387-34988-6_26
fatcat:b7rbcym7afhenpqbj3ebknloyu
Simulation visualization of distributed communication systems
2012
Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC)
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 2015; you can also visit the original URL.
The file type is application/pdf.
The system is modeled using Specification and Description Language Real Time (SDL-RT) and a simulation model for the ns-3 network simulator is automatically generated. ...
Simulation is a popular method used for analysis and validation of distributed communication systems due to their complex dynamics. ...
SIMULATION CODE GENERATION SDL-RT descriptions (architecture, behavior, and deployment) are used as a basis for the generation of an executable model for the ns-3 simulator. ...
doi:10.1109/wsc.2012.6465021
dblp:conf/wsc/BrumbulliF12
fatcat:aocwa2zdjff2zemmcby6h7ixqi
Advanced steps with standardized languages in the re-engineering process
2008
Computer Standards & Interfaces
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.
(URN) standard to capture requirements with workflow-based re-engineering process of complex systems. ...
The new components can be very well documented and integrated into the existing system in a manner that even the stakeholders get involved in it. ...
[13] ; MSC, Message Sequence Charts [7] ; OMG, Object-oriented Management Group [13] ; SDL, Specification and Description Language [8] ; TTCN-3, Testing and Test Control Notation [11] ; UCM, Use ...
doi:10.1016/j.csi.2007.09.004
fatcat:jrxtefn6vvgcbmg2pkzrrvle2m
« Previous
Showing results 1 — 15 out of 255 results