INTEGRATING BUSINESS PROCESS CONCEPTS INTO UML ACTIVITY MODEL

The Unified Modeling Language (UML) activity model is widely accepted for modeling processes from pure technical views. Because it's rich high level design language and supported by standard body; OMG which involve most of top worldwide IT players. It turns out in modeling information systems, business processes are main component so needs suitable modeling language such as Business Process Model and Notation (BPMN) that is originated in organization domain. However, learning new language has the cost of learning curve. Since UML activity model has commonality with BPMN as both share the core principles of process modeling, this paper proposes sustainable change to UML activity model by introducing business concepts so technical modelers can speak with UML activity a different language. This synergistic relationship not only doubles the benefit of UML activity and reduces the learning curve, but also highlight the differences that add value to editor providers. A light weight extension or profile has been designed and evaluated using a real case stud

Collaborative Verification-Driven Engineering of Hybrid Systems

Hybrid systems with both discrete and continuous dynamics are an important model for real-world cyber-physical systems. The key challenge is to ensure their correct functioning w.r.t. safety requirements. Promising techniques to ensure safety seem to be model-driven engineering to develop hybrid systems in a well-defined and traceable manner, and formal verification to prove their correctness. Their combination forms the vision of verification-driven engineering. Often, hybrid systems are rather complex in that they require expertise from many domains (e.g., robotics, control systems, computer science, software engineering, and mechanical engineering). Moreover, despite the remarkable progress in automating formal verification of hybrid systems, the construction of proofs of complex systems often requires nontrivial human guidance, since hybrid systems verification tools solve undecidable problems. It is, thus, not uncommon for development and verification teams to consist of many players with diverse expertise. This paper introduces a verification-driven engineering toolset that extends our previous work on hybrid and arithmetic verification with tools for (i) graphical (UML) and textual modeling of hybrid systems, (ii) exchanging and comparing models and proofs, and (iii) managing verification tasks. This toolset makes it easier to tackle large-scale verification tasks

Evaluation of Development Process and Methodology for Co-Models

An embedded control system often requires a tight association between computational and physical system components. In such cases, embedded system development is difficult, as it requires the collaboration among stakeholders with different backgrounds (software engineers, mechanical engineers, managers etc.). With the constant increase in design complexity, caused by advances in implementation technologies, new ways of approaching embedded system development are needed.This thesis presents an evaluation of a tool-oriented development process and methodology, supporting embedded system development. The philosophy of the development process and methodology, is that design complexity can be managed through collaborative work and multi-disciplinary modeling. To obtain input for the evaluation work, the development process is applied during a case study, involving the development of a route following robot and a model of this. To demonstrate the value of this model, it is simulated to predict route completion times for the physical robot.The evaluation work identifies possibilities and challenges of the development process and methodology, with respect to traditional physicalprototyping. This will support developers in choosing the most optimal way of approaching development. In addition to this, suggestions for extensions to the methodology are provided. These intend to increasethe value the development process and methodology may bring thedevelopment work

Model-based training of manual procedures in automated production systems

Maintenance engineers deal with increasingly complex automated production systems (aPSs). Such systems are characterized by an increasing computerization or the addition of robots that collaborate with human workers. The effects of changing or replacing components of such systems are difficult to assess since there are complex interdependencies between process parameters and the state of the components. This paper proposes a model-based training system that visualizes these interdependencies using domain-independent SysML models. The training system consists of a virtual training system for initial training and an online support system for assistance during maintenance or changeover procedures. Both systems use structural SysML models to visualize the state of the machine at a certain step of a procedure. An evaluation of the system in a changeover procedure against a paper-based manual showed promising results regarding effectiveness, usability and attractiveness.Comment: 25 pages, https://www.sciencedirect.com/science/article/pii/S095741581830080

Development of New Model-based Methods in ASIC Requirements Engineering

Requirements in the development of application-specific integrated circuits (ASICs) continue to increase. This leads to more complexities in handling and processing the requirements, which often causes inconsistencies in the requirments. To better manage the resulting complexities, ASIC development is evolving into a model-based process. This thesis is part of a continuing research into the application and evolution of a model-based process for ASIC development at the Robert Bosch GmbH. It focuses on providing methologies that enable tracing of ASIC requirements and specifications as part of a model-based development process to eliminate inconsistencies in the requirements. The question of what requirements are and, what their traceability means, is defined and analysed in the context of their relationships to models. This thesis applies requirements engineering (RE) practices to the processing of ASIC requirements in a development environment. This environment is defined by availability of tools which are compliant with some standards and technologies. Relying on semi-formal interviews to understand the process in this environment and what stakeholders expect, this thesis applies the standards and technologies with which these tools are compliant to provide methodologies that ensures requirements traceability. Effective traceability methods were proven to be matrices and tables, but for cases of fewer requirements (ten or below), requirement diagrams are also efficient and effective. Furthermore, the development process as a collaborative effort was shown to be enhanced by using the resulting tool-chain, when the defined methodologies are properly followed. This solution was tested on an ASIC concept development project as a case study

Software Systems Engineering for Cyber Physical Production Systems

This project solves the problem of easy adaption and usage of CPPS by small scale industries, With this project it has been tried to develop a methodology of requirement engineering for CPPS system and finally the whole system. We have developed the approach right from requirement engineering to mapping into IEC61499 function blocks and then to deployment to a physical devices. This work can be a good foundation and support for scientific communities or industialist to easily implement requirement engineering of a small scale systems for CPPS and thus build a 21st century production system with this and reap its enormous benefits.Cyber physical production systems are the future of production systems not only in europe but in the entire world. It brings with itself huge benefits and popularly attributes to Industry 4.0 also. These are automated systems where physical systems are monitored and controlled by computer based algorithms in real time. Traditional systems have certain disadvantages and are limited in terms of hours of operation as it is governed by manpowers and the type of products that can be produced without making much changes in the production configuration and the speed of production of products. In europe, a lot of research is going on, particularly in germany and in the United states too for upgrading major physical systems and manufacturing systems. Some examples of such systems are smart factory, smart grid, autonomous automobile systems, automatic pilot avionics, robotics systems etc. The main goal of this thesis is to define a set of methodologies for easing the process of implementation of the CPPS(cyber physical production systems) system on small and medium industries so that the adoption rate for such industries can be high. There is no methodology yet particularly for CPPS systems for small and medium industries, although we have methodologies in place for large industries. In order to do so, first study was done for challenges in developing a requirement engineering process in section 3 and how it is different from a typical software system. An approach has been developed based on existing information available on large systems and CPPS and some software engineering frameworks like MODAF and TOGAF. A proposal for the process and some diagrams and tools has been made in section 4. To validate the proposed approach we have taken a synthetic test case of a pizza production system and implemented all the approaches to transform it into a cyber physical production system right from requirement and UML diagrams to the final function block approach. With this set of approaches,there is now a basis for software development methodology for small and medium industries particularly. With these approaches the adoption rate can be really high for such industries bringing out traditional industries more to the 21st century forefront

Using UML for learning how to design and model cyber-physical systems

In this paper a methodology for teaching and learn-ing the modeling of embedded systems and, in a more genericvision cyber-physical systems (CPS) is presented. To this end, asubset of tools from UML is used in an intuitive and orderedway starting with an informal description of the system untilimplementation details are obtained. However, the codificationof the system is left out as the programming language dependson the hardware platform to be used. The method has beenused in grade courses for several years now with an importantaccumulated experience that shows how students are able toadopt it and learn to elicit the different types of requirements,actors and functions.Fil: Ordinez, Leonardo Damian. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Investigaciones en Ingeniería Eléctrica "Alfredo Desages". Universidad Nacional del Sur. Departamento de Ingeniería Eléctrica y de Computadoras. Instituto de Investigaciones en Ingeniería Eléctrica "Alfredo Desages"; ArgentinaFil: Eggly, Gabriel Martin. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Química del Sur. Universidad Nacional del Sur. Departamento de Química. Instituto de Química del Sur; ArgentinaFil: Micheletto, Matías Javier. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Investigaciones en Ingeniería Eléctrica "Alfredo Desages". Universidad Nacional del Sur. Departamento de Ingeniería Eléctrica y de Computadoras. Instituto de Investigaciones en Ingeniería Eléctrica "Alfredo Desages"; ArgentinaFil: Santos, Rodrigo Martin. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Investigaciones en Ingeniería Eléctrica "Alfredo Desages". Universidad Nacional del Sur. Departamento de Ingeniería Eléctrica y de Computadoras. Instituto de Investigaciones en Ingeniería Eléctrica "Alfredo Desages"; Argentin

SysML modeling of service-oriented system-of-systems

The success of the ongoing fourth industrial revolution largely depends on our ways to cope with the novel design challenges arising from a combination of an enormous increase in process and product complexity, as well as the expected autonomy and self-organization of complex and diverse industrial hardware–software installments, often called systems-of-systems. In this paper, we employ the service-oriented architectural paradigm, as materialized in the Eclipse Arrowhead framework, to represent modern systems engineering principles and their open structural principles and, thus, relevance to flexible and adaptive systems. As for adequately capturing the structural aspect, we propose using model-based engineering techniques and, in particular, a SysML-based specialization of systems modeling. The approach is illustrated by a real-life use-case in industrial automation.publishedVersio

SYSML BASED CUBESAT MODEL DESIGN AND INTEGRATION WITH THE HORIZON SIMULATION FRAMEWORK

This thesis examines the feasibility of substituting the system input script of Cal Poly’s Horizon Simulation Framework (HSF) with a Model Based Systems Engineering (MBSE) model designed with the Systems Modeling Language (SysML). A concurrent student project, SysML Output Interface Creation for the Horizon Simulation Framework, focused on design of the HSF Translator Plugin which converts SysML models to an HSF specific XML format. A SysML model of the HSF test case, Aeolus, was designed. The original Aeolus HSF input script and the translated SysML input script retained the format and dependency structure required by HSF. Both input scripts returned identical results and thus validated the feasibility of linking SysML with HSF through the HSF Translator Plugin. A second SysML model of the Cal Poly CubeSat mission, ExoCube, was also designed and converted into an HSF input script. The ExoCube input script also retained the format and dependency structure required by HSF. This demonstrated that future SysML models can be used in conjunction with the HSF Translator Plugin to create a functional HSF system input script