scholarly journals Conjoining Wymore’s Systems Theoretic Framework and the DEVS Modeling Formalism: Toward Scientific Foundations for MBSE

2021 ◽  
Vol 11 (11) ◽  
pp. 4936
Author(s):  
Paul Wach ◽  
Bernard P. Zeigler ◽  
Alejandro Salado
Keyword(s):  
Systems Engineering ◽  
Mathematical Theory ◽  
Discrete Event ◽  
System Specification ◽  
Practical Application ◽  
Software Application ◽  
Research Article ◽  
Modeling Formalism ◽  
Model Based Systems Engineering ◽  
Initial Results

The objective of this research article is to re-introduce some of the concepts provided by A. Wayne Wymore in his mathematical theory of Model-Based Systems Engineering, discuss why his framework might have not been adopted, and define a potential path to modernize the framework for practical application in the digital age. The dense mathematical theory has never been converted to a practical form. We propose a path to modernization by creating a metamodel of Wymore’s mathematical theory of MBSE. This enables explaining the concepts in simple to understand terms and shows the internal consistency provided by the theory. Furthermore, the metamodel allows for conversion of the theory into software application, for which we show some initial results that open the research to the art of the possible. In recognition of limitation of the theory, we make the case for a merger of the theoretical framework with the enhanced formalism of Discrete Event System Specification (DEVS). This will establish a path toward the scientific foundations for MBSE to enable future implementations of the complementary pairing and their empirical results.

System alternatives for modular, zero-emission high-speed ferries

2021 ◽  
Author(s):  
Benjamin Lagemann ◽  
Tobias Seidenberg ◽  
Christoph Jürgenhake ◽  
Stein Ove Erikstad ◽  
Roman Dumitrescu
Keyword(s):  
Systems Engineering ◽  
High Speed ◽  
Discrete Event ◽  
System Architectures ◽  
Event Simulation ◽  
Conceptual Design Phase ◽  
Low Emission ◽  
System Configurations ◽  
Model Based Systems Engineering ◽  
Passenger Ferry

Low emission requirements exert increasing influence upon ship design. The large variety of technological options makes selecting systems during the conceptual design phase a difficult endeavor. To compare different solutions, we need to be able to exchange individual systems and directly evaluate their impact on the design’s economic and environmental performance. Based on the idea of model-based systems engineering, we present a modular synthesis approach for ship systems. The modules are coupled to a discrete event simulation and allow for a case-based assessment of system configurations. We apply this method to a high-speed passenger ferry and show how it can provide decision support for hydrogen- and battery-based system architectures.

System theoretic foundations of modeling and simulation: a historic perspective and the legacy of A Wayne Wymore

SIMULATION ◽  
2012 ◽  
Vol 88 (9) ◽  
pp. 1033-1046 ◽  
Author(s):  
Tuncer I Ören ◽  
Bernard P Zeigler
Keyword(s):  
System Theory ◽  
Modeling And Simulation ◽  
Systems Engineering ◽  
Discrete Event ◽  
Systems Design ◽  
General System ◽  
System Specification ◽  
Simulation Languages ◽  
Engineering Department ◽  
Theoretic Foundations

AW Wymore, the founder of the world’s first systems engineering department at the University of Arizona, has been at the origin of the system theoretic foundations of modeling and simulation. Wymore’s intellectual family tree, which goes back to Gauss and Weierstrass, is given. How the authors met, cooperated, and advocated system theory for the advancement of modeling and simulation are explained. The concept of model-based simulation was also one of the outcomes of this cooperation. This article reviews the emergence of systems-theory-based modeling and simulation languages and environments, such as the General System Theory implementor and Discrete Event System Specification, and their relation to Wymore’s concepts. We also discuss the application of powerful software development frameworks to support user-friendly access to systems concepts and to increase the power to support systems design and engineering.

scholarly journals Configurable Sensor Model Architecture for the Development of Automated Driving Systems

Sensors ◽  
2021 ◽  
Vol 21 (14) ◽  
pp. 4687
Author(s):  
Simon Schmidt ◽  
Birgit Schlager ◽  
Stefan Muckenhuber ◽  
Rainer Stark
Keyword(s):  
Systems Engineering ◽  
Field Of View ◽  
Practical Application ◽  
Automated Driving ◽  
Sensor Model ◽  
Virtual Vehicle ◽  
Sensor Properties ◽  
Single Sensor ◽  
Sensor Models ◽  
Model Based Systems Engineering

Sensor models provide the required environmental perception information for the development and testing of automated driving systems in virtual vehicle environments. In this article, a configurable sensor model architecture is introduced. Based on methods of model-based systems engineering (MBSE) and functional decomposition, this approach supports a flexible and continuous way to use sensor models in automotive development. Modeled sensor effects, representing single-sensor properties, are combined to an overall sensor behavior. This improves reusability and enables adaptation to specific requirements of the development. Finally, a first practical application of the configurable sensor model architecture is demonstrated, using two exemplary sensor effects: the geometric field of view (FoV) and the object-dependent FoV.

The high level language for system specification: A model-driven approach to systems engineering

2016 ◽  
Vol 07 (01) ◽  
pp. 1641003 ◽  
Author(s):  
Hamzat Olanrewaju Aliyu ◽  
Oumar Maïga ◽  
Mamadou Kaba Traoré
Keyword(s):  
Systems Engineering ◽  
Discrete Event ◽  
Discrete Event System ◽  
High Level Language ◽  
System Specification ◽  
Model Driven ◽  
Event System ◽  
Visual Formalisms ◽  
Devs Formalism ◽  
High Level

We present HiLLS (High Level Language for System Specification), a graphical formalism that allows to specify Discrete Event System (DES) models for analysis using methodologies like simulation, formal methods and enactment. HiLLS’ syntax is built from the integration of concepts from System Theory and Software Engineering aided by simple concrete notations to describe the structural and behavioral aspects of DESs. This paper provides the syntax of HiLLS and its simulation semantics which is based on the Discrete Event System Specification (DEVS) formalism. From DEVS-based Modeling and Simulation (M&S) perspective, HiLLS is a platform-independent visual language with generic expressions that can serve as a front-end for most existing DEVS-based simulation environments with the aid of Model-Driven Engineering (MDE) techniques. It also suggests ways to fill some gaps in existing DEVS-based visual formalisms that inhibit complete specification of the behavior of complex DESs. We provide a case study to illustrate the core features of the language.

Practical aspects of the DesignDEVS simulation environment

SIMULATION ◽  
2017 ◽  
Vol 94 (4) ◽  
pp. 301-326 ◽  
Author(s):  
Rhys Goldstein ◽  
Simon Breslav ◽  
Azam Khan
Keyword(s):  
Systems Engineering ◽  
Best Practice ◽  
Discrete Event ◽  
State Transitions ◽  
System Specification ◽  
Development Environment ◽  
Simulation Tools ◽  
Model Code ◽  
Strict Enforcement ◽  
Devs Formalism

DesignDEVS is a simulation development environment based on the Discrete Event System Specification (DEVS) formalism. This paper provides an in-depth overview of the software while focusing on the practical considerations influencing its design. Practitioners who stand to benefit from systems engineering will approach formalism-based simulation tools with little knowledge of the underlying theory. It is therefore important that theoretical principles, such as the separation of model and simulator, be emphasized by the user interface. Other practical aspects of DesignDEVS include the simplicity of atomic model code, a focus on coupling for collaboration purposes, the enforcement of essential modeling constraints, and a reliance on best practices in cases where strict enforcement might inconvenience users. In DesignDEVS, an issue we refer to as the Insidious Pointer Problem is aggressively tackled through run-time error handling. By contrast, the separation of output values from state transitions is left as a best practice for the sake of user convenience. The design decisions explained in this paper are relevant to developers of other formalism-based tools seeking widespread adoption of scalable modeling and simulation practices.

A Taxonomy for Model-Based Systems Engineering

2021 ◽  
Author(s):  
João P. Monteiro ◽  
Paulo J. S. Gil ◽  
Rui M. Rocha
Keyword(s):  
Systems Engineering ◽  
System Development ◽  
Emergent Properties ◽  
System Specification ◽  
Academic Context ◽  
Model Based ◽  
Development Processes ◽  
Expected Benefits ◽  
Model Based Systems Engineering ◽  
Execution Models

Abstract In this paper, we define Model Based Systems Engineering (MBSE) as a set of different approaches which vary in scope and in purpose, as opposed to defining it as a monolithic concept. To do so, we inductively extract common themes from papers proposing new MBSE methods based on the type of Systems Engineering (SE) artifacts produced and the expected benefits of MBSE implementation. These themes are then validated against the experiences depicted in a second set of papers evaluating the deployment of MBSE methods in practice. We propose a taxonomy for MBSE which identifies three main categories: system specification repositories, system execution models, and design automation models. The proposed categories map well onto common discussions of the nature of the SE activity, in that the first is employed in the management of system development processes and the second in the understanding of system performance and emergent properties. The third category is almost exclusively discussed in an academic context and is therefore more difficult to relate to SE practice, but its features are clearly distinct from the other two. The proposed taxonomy clarifies what MBSE is and what it can be, therefore helping focus research on the issues that still prevent MBSE practice from living up to expectations.

Informationsqualität in der Produktentwicklung: Modellbasiertes Systems Engineering mit expliziter Berücksichtigung von Unsicherheit/Information Quality in Product Engineering: Model-Based Systems Engineering in Explicit Consideration of Uncertainty

Konstruktion ◽  
2020 ◽  
Vol 72 (11-12) ◽  
pp. 76-83
Author(s):  
Jens Pottebaum ◽  
Iris Gräßler
Keyword(s):  
Systems Engineering ◽  
Information Quality ◽  
Engineering Model ◽  
Model Based ◽  
Product Engineering ◽  
Explicit Consideration ◽  
Model Based Systems Engineering

Inhalt Unscharfe Anforderungen, verschiedene Lösungs-alternativen oder eingeschränkt gültige Simulationsmodelle sind Beispiele für inhärente Unsicherheit in der Produktentwicklung. Im vorliegenden Beitrag wird ein modellbasierter Ansatz vorgestellt, der das industriell etablierte Denken in Sicherheitsfaktoren um qualitative Aspekte ergänzt. Modelle der Informationsqualität helfen, die Unsicherheit von Ent- wicklungsartefakten beschreibend zu charakterisieren. Mittels semantischer Technologien wird Unsicherheit so wirklich handhabbar – nicht im Sinne einer Berechnung, sondern im Sinne einer qualitativen Interpretation. Dadurch entsteht wertvolles Wissen für die iterative Anforderungsanalyse, die Bewertung alternativer System-Architekturen oder für die Rekonfiguration von Simulationen.

Sign in / Sign up

Export Citation Format

Share Document