490 research outputs found

    Finite state machine based SDL

    Get PDF
    No abstract available

    SEF-SCC: Software engineering framework for service and cloud computing

    Get PDF
    © Springer International Publishing AG, part of Springer Nature 2018. Service computing and cloud computing have emerged to address the need for more flexible and cost-efficient computing systems where software is delivered as a service. To make this more resilient and reliable, we need to adopt software engineering (SE) principles and best practices that have existed for the last 40 years or so. Therefore, this chapter proposes a Software Engineering Framework for Service and Cloud Computing (SEF-SCC) to address the need for a systematic approach to design and develop robust, resilient, and reusable services. This chapter presents SEF-SCC methods, techniques, and a systematic engineering process supporting the development of service-oriented software systems and software as a service paradigms. SEF-SCC has been successfully validated for the past 10 years based on a large-scale case study on British Energy Power and Energy Trading (BEPET). Ideas and concepts suggested in this chapter are equally applicable to all distributed computing environments including Fog and Edge Computing paradigms

    Service composition based on SIP peer-to-peer networks

    Get PDF
    Today the telecommunication market is faced with the situation that customers are requesting for new telecommunication services, especially value added services. The concept of Next Generation Networks (NGN) seems to be a solution for this, so this concept finds its way into the telecommunication area. These customer expectations have emerged in the context of NGN and the associated migration of the telecommunication networks from traditional circuit-switched towards packet-switched networks. One fundamental aspect of the NGN concept is to outsource the intelligence of services from the switching plane onto separated Service Delivery Platforms using SIP (Session Initiation Protocol) to provide the required signalling functionality. Caused by this migration process towards NGN SIP has appeared as the major signalling protocol for IP (Internet Protocol) based NGN. This will lead in contrast to ISDN (Integrated Services Digital Network) and IN (Intelligent Network) to significantly lower dependences among the network and services and enables to implement new services much easier and faster. In addition, further concepts from the IT (Information Technology) namely SOA (Service-Oriented Architecture) have largely influenced the telecommunication sector forced by amalgamation of IT and telecommunications. The benefit of applying SOA in telecommunication services is the acceleration of service creation and delivery. Main features of the SOA are that services are reusable, discoverable combinable and independently accessible from any location. Integration of those features offers a broader flexibility and efficiency for varying demands on services. This thesis proposes a novel framework for service provisioning and composition in SIP-based peer-to-peer networks applying the principles of SOA. One key contribution of the framework is the approach to enable the provisioning and composition of services which is performed by applying SIP. Based on this, the framework provides a flexible and fast way to request the creation for composite services. Furthermore the framework enables to request and combine multimodal value-added services, which means that they are no longer limited regarding media types such as audio, video and text. The proposed framework has been validated by a prototype implementation

    ASSESSMENT OF MODEL CONVERSION FROM GENESYS TO MAGIC SYSTEM OF SYSTEMS ARCHITECT FOR MODEL-BASED SYSTEMS ENGINEERING INTEROPERABILITY

    Get PDF
    This thesis investigates whether the information contained in a Vitech Genesys model can retain its informational accuracy after conversion into a Dassault Systemes’ Magic System of Systems Architect (MSOSA) model. The thesis uses a sample system model in Vitech that implements the system definition language (SDL) and converts it to MSOSA, which uses the systems modeling language (SysML). The study reviewed conversion methods available to the user and converted a Genesys model to an MSOSA model using the only available method, Excel. The study then assessed the converted model and outlined any post-migration remediation. The results of this thesis demonstrate that the currently available methods are feasible but inefficient, as only 34% of the entities and 9% of the relationships transferred successfully during the experiment. Genesys can output tabular data that represents system model entities and relationships; however, the MSOSA import function was unable to correctly import entities that had one-to-many relationships with other entities. Consequently, the user must perform manual manipulation during the conversion process. Furthermore, ontological differences between the tools prevented the complete import of behavioral data, since many SDL entities map to more than one SysML entity. Based on the results, this thesis recommends pursuing an extensible markup language–based software solution for Genesys and MSOSA and developing a formal Navy and Marine Corps ontology.Civilian, Department of the NavyApproved for public release. Distribution is unlimited

    SDL Programming of Lego Robots

    Get PDF
    This report describes the usage of the SDL development tool Telelogic Tau SDL Suite with the LEGO Mindstorms Robotics Invention System. The purpose of the project was to produce an alternative to the custom built platform currently used by Telelogic for demonstration and education. The report focuses on the adaption of the C code that is generated by Telelogic Tau SDL Suite to the robot environment using legOS, an open source operating system available for the robot plat-form

    Model-Based EIS Performability Analysis

    Get PDF
    In this paper we propose a methodology for the modelling, verification and performance evaluation of communication components of software for enterprise information systems. The methodology is centered upon model-driven development using a subset of UML 2.0 diagrams. It is supported by the proSPEX model processing tool which offers a simulation-based executable verification environment. The model-based development of communication components of wireless middleware solutions is discussed as a motivational example

    Model Driven Communication Protocol Engineering and Simulation based Performance Analysis using UML 2.0

    Get PDF
    The automated functional and performance analysis of communication systems specified with some Formal Description Technique has long been the goal of telecommunication engineers. In the past SDL and Petri nets have been the most popular FDTs for the purpose. With the growth in popularity of UML the most obvious question to ask is whether one can translate one or more UML diagrams describing a system to a performance model. Until the advent of UML 2.0, that has been an impossible task since the semantics were not clear. Even though the UML semantics are still not clear for the purpose, with UML 2.0 now released and using ITU recommendation Z.109, we describe in this dissertation a methodology and tool called proSPEX (protocol Software Performance Engineering using XMI), for the design and performance analysis of communication protocols specified with UML. Our first consideration in the development of our methodology was to identify the roles of UML 2.0 diagrams in the performance modelling process. In addition, questions regarding the specification of non-functional duration contraints, or temporal aspects, were considered. We developed a semantic time model with which a lack of means of specifying communication delay and processing times in the language are addressed. Environmental characteristics such as channel bandwidth and buffer space can be specified and realistic assumptions are made regarding time and signal transfer. With proSPEX we aimed to integrate a commercial UML 2.0 model editing tool and a discrete-event simulation library. Such an approach has been advocated as being necessary in order to develop a closer integration of performance engineering with formal design and implementation methodologies. In order to realize the integration we firstly identified a suitable simulation library and then extended the library with features required to represent high-level SDL abstractions, such as extended finite state machines (EFSM) and signal addressing. In implementing proSPEX we filtered the XML output of our editor and used text templates for code generation. The filtering of the XML output and the need to extend our simulation library with EFSM abstractions was found to be significant implementation challenges. Lastly, in order to to illustrate the utility of proSPEX we conducted a performance analysis case-study in which the efficient short remote operations (ESRO) protocol is used in a wireless e-commerce scenario

    Model Based Security Testing for Autonomous Vehicles

    Get PDF
    The purpose of this dissertation is to introduce a novel approach to generate a security test suite to mitigate malicious attacks on an autonomous system. Our method uses model based testing (MBT) methods to model system behavior, attacks and mitigations as independent threads in an execution stream. The threads intersect at a rendezvous or attack point. We build a security test suite from a behavioral model, an attack type and a mitigation model using communicating extended finite state machine (CEFSM) models. We also define an applicability matrix to determine which attacks are possible with which states. Our method then builds a comprehensive test suite using edge-node coverage that allows for systematic testing of an autonomous vehicle

    Design of a Health Monitoring Device

    Get PDF
    Home medical monitoring systems allow care providers to reduce their patient load, but no available systems offer portable operation. This effectively tethers patients to a specific location. In conjunction with the University of Limerick, our team desiged and implemented a proof-of-concept portable medical monitor able to transfer medical data wirelessly. Our completed project supports USB and 802.11b, includes a display and basic user interface, and runs Linux, making it a highly flexible platform for future progression toward marketability

    The 2nd Conference of PhD Students in Computer Science

    Get PDF
    • …
    corecore