10,423 research outputs found
Analytical performance evaluation of concurrent communicating systems using SLD and stochastic Petri nets
Bibliography: leaves 113-117.In this thesis, the performance analysis of SDL with a new type of stochastic Petri net is described. This new net is called SDL-net. The Concurrent Communicating System is described, and the need for qualitative and quantitative analysis of such systems is motivated. Formal methods are demonstrated which can be used to represent such Concurrent Communicating Systems. The Specification and Description Language (SDL) is shown in the context of Concurrent Communicating Systems and the software development cycle is described for SDL systems. Correctness and performance of SDL are discussed and it is shown how the semantics of time for performance can be introduced into SDL by adding external information, by extending the SDL syntax or by using compiler directives. In this thesis only external information is added
The pros and cons of using SDL for creation of distributed services
In a competitive market for the creation of complex distributed services, time to market, development cost, maintenance and flexibility are key issues. Optimizing the development process is very much a matter of optimizing the technologies used during service creation. 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
LTE and Wi-Fi Coexistence in Unlicensed Spectrum with Application to Smart Grid: A Review
Long Term Evolution (LTE) is expanding its utilization in unlicensed band by
deploying LTE Unlicensed (LTEU) and Licensed Assisted Access LTE (LTE-LAA)
technology. Smart Grid can take the advantages of unlicensed bands for
achieving two-way communication between smart meters and utility data centers
by using LTE-U/LTE-LAA. However, both schemes must co-exist with the incumbent
Wi-Fi system. In this paper, several co-existence schemes of Wi-Fi and LTE
technology is comprehensively reviewed. The challenges of deploying LTE and
Wi-Fi in the same band are clearly addressed based on the papers reviewed.
Solution procedures and techniques to resolve the challenging issues are
discussed in a short manner. The performance of various network architectures
such as listenbefore- talk (LBT) based LTE, carrier sense multiple access with
collision avoidance (CSMA/CA) based Wi-Fi is briefly compared. Finally, an
attempt is made to implement these proposed LTEWi- Fi models in smart grid
technology.Comment: submitted in 2018 IEEE PES T&
SDL based validation of a node monitoring protocol
Mobile ad hoc network is a wireless, self-configured, infrastructureless
network of mobile nodes. The nodes are highly mobile, which makes the
application running on them face network related problems like node failure,
link failure, network level disconnection, scarcity of resources, buffer
degradation, and intermittent disconnection etc. Node failure and Network fault
are need to be monitored continuously by supervising the network status. Node
monitoring protocol is crucial, so it is required to test the protocol
exhaustively to verify and validate the functionality and accuracy of the
designed protocol. This paper presents a validation model for Node Monitoring
Protocol using Specification and Description Llanguage (SDL) using both Static
Agent (SA) and Mobile Agent (MA). We have verified properties of the Node
Monitoring Protocol (NMP) based on the global states with no exits, deadlock
states or proper termination states using reachability graph. Message Sequence
Chart (MSC) gives an intuitive understanding of the described system behavior
with varying node density and complex behavior etc.Comment: 16 pages, 24 figures, International Conference of Networks,
Communications, Wireless and Mobile 201
Towards more accurate real time testing
The languages Message Sequence Charts (MSC) [1], System Design Language1 (SDL) [2] and Testing and Test Control Notation Testing2 (TTCN-3) [3] have been developed for the design, modelling and testing of complex software systems. These languages have been developed to complement one another in the software development process. Each of these languages has features for describing, analysing or testing the real time properties of systems. Robust toolsets exist which provide integrated environments for the design, analysis and testing of systems, and it is claimed, for the complete development of real time systems. It was shown in [4] however, that there are fundamental problems with the SDL language and its associated tools for modelling and reasoning about real time systems. In this paper we present the limitations of TTCN-3 and propose recommendations which help minimise the timing inaccuracies that would otherwise occur in using the language directly
Detection and localization of trailing edge disbond in a large wind turbine blade
Peer reviewedPreprin
- …