Filters








255 Hits in 2.9 sec

SDL and MSC Based Test Generation for Distributed Test Architectures [chapter]

Jens Grabowski, Beat Koch, Michael Schmitt, Dieter Hogrefe
1999 SDL '99  
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]

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

Mallikarjun B. Channappagoudar, Pallapa Venkataram
2014 Zenodo  
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

Andreas Mitschele-Thiel, Bruno Müller-Clostermann
1999 Computer Networks  
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]

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

Philippe Leblanc, Jean-Luc Roux
1999 Distributed and Parallel Embedded Systems  
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

DongGill Lee Lee, JoonKyung Lee Lee, Wan Choi Choi, Byung Sun Lee Lee, Chimoon Han Han
1997 ETRI Journal  
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]

Dieter Hogrefe, Beat Koch, Helmut Neukirchen
2001 Lecture Notes in Computer Science  
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]

Anders Ek
1998 Testing of Communicating Systems  
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

F. Slomka, M. Dorfel, R. Munzenberger, R. Hofmann
2000 IEEE Design & Test of Computers  
., 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

Nikolai N. Mansurov, Robert L. Probert
2001 Computer Networks  
, 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]

Eurico Inocêncio, Manuel Ricardo, Hitoshi Sato, Toshimitsu Kashima
1996 IFIP Advances in Information and Communication Technology  
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]

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

Mihal Brumbulli, Joachim Fischer
2012 Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC)  
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

Anna Medve
2008 Computer Standards & Interfaces  
(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