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

Model-Based Systems Engineering Approach to Distributed and Hybrid Simulation Systems

INCOSE defines Model-Based Systems Engineering (MBSE) as the formalized application of modeling to support system requirements, design, analysis, verification, and validation activities beginning in the conceptual design phase and continuing throughout development and later life cycle phases. One very important development is the utilization of MBSE to develop distributed and hybrid (discrete-continuous) simulation modeling systems. MBSE can help to describe the systems to be modeled and help make the right decisions and partitions to tame complexity. The ability to embrace conceptual modeling and interoperability techniques during systems specification and design presents a great advantage in distributed and hybrid simulation systems development efforts. Our research is aimed at the definition of a methodological framework that uses MBSE languages, methods and tools for the development of these simulation systems. A model-based composition approach is defined at the initial steps to identify distributed systems interoperability requirements and hybrid simulation systems characteristics. Guidelines are developed to adopt simulation interoperability standards and conceptual modeling techniques using MBSE methods and tools. Domain specific system complexity and behavior can be captured with model-based approaches during the system architecture and functional design requirements definition. MBSE can allow simulation engineers to formally model different aspects of a problem ranging from architectures to corresponding behavioral analysis, to functional decompositions and user requirements (Jobe, 2008)

A model-based systems engineering framework for concept development

Thesis (S.M. in Engineering and Management)--Massachusetts Institute of Technology, Engineering Systems Division, 2012.Cataloged from PDF version of thesis.Includes bibliographical references (p. 148-151).The development of increasingly complex, innovative systems under greater constraints has been the trend over the past several decades. In order to be successful, organizations must develop products that meet customer needs more effectively than the competitors' alternatives. The development of these concepts is based on a broad set of stakeholder objectives, from which alternative designs are developed and compared. When properly performed, this process helps those involved understand the benefits and drawbacks of each option. This is crucial as firms need to effectively and quickly explore many concepts, and easily determine those most likely to succeed. It is generally accepted that a methodical design approach leads to the reduction in design flaws and cost over a product's life cycle. Several techniques have been developed to facilitate these efforts. However, the traditional tools and work products are isolated, and require diligent manual inspection. It is expected that the effectiveness of the high-level product design and development will improve dramatically through the adoption of computer based modeling and simulation. This emerging capability can mitigate the challenges and risks imposed by complex systems by enforcing rigor and precision. Model-based systems engineering (MBSE) is a methodology for designing systems using interconnected computer models. The recent proliferation of MBSE is evidence of its ability to improve the design fidelity and enhance communication among development teams. Existing descriptions of leveraging MBSE for deriving requirements and system design are prevalent. However, very few descriptions of model-based concept development have been presented. This may be due to the lack of MBSE methodologies for performing concept development. Teams that attempt a model-based approach without well defined, structured strategy are often unsuccessful. However, when MBSE is combined with a clear methodology, designs can be more efficiently generated and evaluated. While it may not be feasible to provide a "standard" methodology for concept development, a framework is envisioned that incorporates a variety of methods and techniques. This thesis proposes such a framework and presents an example based on a simulated concept development effort.by Brian London.S.M.in Engineering and Managemen

Executable system architecting using systems modeling language in conjunction with Colored Petri Nets - a demonstration using the GEOSS network centric system

Models and simulation furnish abstractions to manage complexities allowing engineers to visualize the proposed system and to analyze and validate system behavior before constructing it. Unified Modeling Language (UML) and its systems engineering extension, Systems Modeling Language (SysML), provide a rich set of diagrams for systems specification. However, the lack of executable semantics of such notations limits the capability of analyzing and verifying defined specifications. This research has developed an executable system architecting framework based on SysML-CPN transformation, which introduces dynamic model analysis into SysML modeling by mapping SysML notations to Colored Petri Net (CPN), a graphical language for system design, specification, simulation, and verification. A graphic user interface was also integrated into the CPN model to enhance the model-based simulation. A set of methodologies has been developed to achieve this framework. The aim is to investigate system wide properties of the proposed system, which in turn provides a basis for system reconfiguration --Abstract, page iii

Formal transformation methods for automated fault tree generation from UML diagrams

With a growing complexity in safety critical systems, engaging Systems Engineering with System Safety Engineering as early as possible in the system life cycle becomes ever more important to ensure system safety during system development. Assessing the safety and reliability of system architectural design at the early stage of the system life cycle can bring value to system design by identifying safety issues earlier and maintaining safety traceability throughout the design phase. However, this is not a trivial task and can require upfront investment. Automated transformation from system architecture models to system safety and reliability models offers a potential solution. However, existing methods lack of formal basis. This can potentially lead to unreliable results. Without a formal basis, Fault Tree Analysis of a system, for example, even if performed concurrently with system design may not ensure all safety critical aspects of the design. [Continues.]</div

Designing precise and flexible graphical modelling languages for software development

Model-driven approaches to software development involve building computerized models of software and the environment in which it is intended to operate. This thesis offers a selection of the author’s work over the last three decades that addresses the design of precise and flexible graphical modelling languages for use in model-driven software development. The primary contributions of this work are: • Syntropy: the first published object-oriented analysis and design (OOAD) method to fully integrate formal and graphical modelling techniques. • The creation of the Object Constraint Language (OCL) and its integration into the Unified Modeling Language (UML) specification. • The identification of requirements and mechanisms for increasing the flexibility of the UML specification. • The design and implementation of tools for implementing graphical Domain Specific Languages (DSLs). The starting point was the author’s experience with formal specification techniques contrasted with the lack of precision of published object-oriented analysis and design methods. This led to a desire to fully integrate these two topics – formal specification and object-orientation - into a coherent discipline. The Syntropy approach, created in 1994 by this author and John Daniels, was the first published complete attempt to do this. Much of the author’s subsequent published work concerns the Unified Modeling Language (UML). UML represented a welcome unification of earlier OOAD approaches, but suffered badly from inflexibility and lack of precision. A significant part of the work included in this thesis addresses the drawbacks of the UML and proposes improvements to the precision of its definition, including through the invention of Object Constraint Language (OCL) and its incorporation into the UML specification, and the consideration of UML as source material for the definition of Domain Specific Languages (DSLs). Several of the author’s published works in this thesis concern mechanisms for the creation of DSLs, both within a UML framework and separately

A Study of Executable Model Based Systems Engineering from DODAF Using Simulink

Diagrams and visuals often cannot adequately capture a complex system’s architecture for analysis. The Department of Defense Architectural Framework (DoDAF), written to follow the Unified Modeling Language (UML), is a collection of mandated common architectural products for interoperability among the DoD components. In this study, DoDAF products from as-is Remotely Piloted Aircraft (RPA) Satellite Communication (SATCOM) systems have been utilized for the creation of executable architectures as part of an Executable Model Based Systems Engineering (EMBSE) process. EMBSE was achieved using Simulink, a software tool for modeling, simulating and analyzing dynamic systems. This study has demonstrated that DoDAF products can be created and executed following the rules of UML for analysis. It has also shown that DoDAF products can be utilized to build analysis models. Furthermore, these analysis models and executable architectures have been presented to a panel of experts on the topic. The comments and study results show a desire for executable architectures as well as their viability as presented in Simulink. This study concludes there is a need, a use and a method to implement objective analysis using EMBSE from DoDAF products in Simulink for current and future DoD systems

Understanding the Elements of Executable Architectures Through a Multi-Dimensional Analysis Framework

The objective of this dissertation study is to conduct a holistic investigation into the elements of executable architectures. Current research in the field of Executable Architectures has provided valuable solution-specific demonstrations and has also shown the value derived from such an endeavor. However, a common theory underlying their applications has been missing. This dissertation develops and explores a method for holistically developing an Executable Architecture Specification (EAS), i.e., a meta-model containing both semantic and syntactic information, using a conceptual framework for guiding data coding, analysis, and validation. Utilization of this method resulted in the description of the elements of executable architecture in terms of a set of nine information interrogatives: an executable architecture information ontology. Once the detail-rich EAS was constructed with this ontology, it became possible to define the potential elements of executable architecture through an intermediate level meta-model. The intermediate level meta-model was further refined into an interrogative level meta-model using only the nine information interrogatives, at a very high level of abstraction

Application of Executable Architecture in Early Concept Evaluation using the DoD Architecture Framework

The increasing complexity in the development of today\u27s modern warfighting systems demands a systematic evaluation approach in the assessment of the envisaged capability and estimating the cost effectiveness, especially in the early stages of Concept Development. This research focused on the development of early Concept evaluation methodology through the use of Executable Architecture (EA) through the System Architecting process. Particularly, the methodology was applied in the assessment of a proposed Multi-tiered Unmanned Aircraft System System-of-System that is designed provide target acquisition and conduct dynamic strike on Theater Ballistic Missile launchers. Through the implementation of the evaluation methodology using dynamic modeling of the system-under-design, the research was able to provide quantitative assessment of different design parameters on the overall system effectiveness, as measured using a set of pre-determined Measures-of-Effectiveness. Specifically, Innoslate was used to develop the EA model of a fictitious multi-tier Unmanned Aircraft System System-of-Systems, and provided quantitative assessment of the overall system performance due to changes in the design parameters. Specification, the research showed that the proposed evaluation methodology provides system architects with the tool to 1) evaluate different design parameters, 2) understand the overall system capability given sub-system capabilities, and 3) determine sub-system requirement given desired system performance