3.5.2 Tesperanto - A Model-Based System Specification Methodology and Language

2013 ◽  
Vol 23 (1) ◽  
pp. 139-153 ◽  
Author(s):  
Alex Blekhman ◽  
Dov Dori
Keyword(s):  
System Specification ◽  
Model Based ◽  
Specification Methodology

scholarly journals Physical parametrisation of fire-spotting for operational fire spread models: response analysis with a model based on the Level Set Method

2018 ◽  
Author(s):  
Inderpreet Kaur ◽  
Anton Butenko ◽  
Gianni Pagnini
Keyword(s):  
Level Set Method ◽  
Level Set ◽  
Discrete Event ◽  
Fire Spread ◽  
Response Analysis ◽  
System Specification ◽  
Time Step ◽  
Processing Scheme ◽  
Model Based ◽  
The Many

Abstract. Fire-spotting is often responsible for a dangerous flare up in the wildfire and causes secondary ignitions isolated from the primary fire zone leading to perilous situations. In this paper a complete physical parametrisation of fire-spotting is presented within a formulation aimed to include random processes into operational fire spread models. This formulation can be implemented into existing operational models as a post-processing scheme at each time step, without calling for any major changes in the original framework. In particular, the efficacy of this formulation has already been shown for wildfire simulators based on an Eulerian moving interface method, namely the Level Set Method (LSM) that forms the baseline of the operational software WRF-SFIRE, and for wildfire simulators based on a Lagrangian front tracking technique, namely the Discrete Event System Specification (DEVS) that forms the baseline of the operational software FOREFIRE. The simple and computationally less expensive parametrisation includes the important parameters necessary for describing the landing behavior of the firebrands. The results from different simulations with a simple model based on the LSM highlight the response of the parametrisation to varying fire intensities, wind conditions and different firebrand radii. The contribution of the firebrands towards increasing the fire perimeter varies according to different concurrent conditions and the simulation results prove to be in agreement with the physical processes. Among the many rigorous approaches available in literature to model the firebrand transport and distribution, the approach presented here proves to be simple yet versatile for application to operational fire spread models.

A Unifying Model for Mechatronic Systems Specification

2015 ◽  
Vol 789-790 ◽  
pp. 803-811
Author(s):  
Sabah Al-Fedaghi ◽  
Ahmed Abdullah
Keyword(s):  
Coherent System ◽  
System Specification ◽  
Mechatronic Systems ◽  
Model Based ◽  
Development Teams ◽  
Proposed Model ◽  
Baggage Handling ◽  
Specification Analysis

Over the years, mechatronic systems have witnessed an increase in complexity. To address this issue, a model-based approach has been utilized to produce coherent system specification. In model-based engineering, a system is depicted graphically and textually at various levels of granularity and complexity. For this purpose, Systems Modeling Language (SysML) is designed to support development stages in systems, including specification, analysis, design, and validation, and to generate specifications in a single language for use by heterogeneous development teams. Nevertheless, an underlying tool is lacking that would express the totality of a system’s processes and concepts, including mechanical, electrical, and informational aspects. SysML introduces a variety of diagrams and tools that are heterogeneous in notation and terms, e.g., use cases, blocks, activities, components, parameters, sequence, and so forth. This paper proposes a diagrammatic methodology to specify a unified conceptual map for mechatronic systems that can play the role of blueprint for a whole system at different stages of development. The paper focuses on using the proposed methodology as a specification tool, offering a new model that captures the dynamic behaviors of the system. The claim is that this proposed model for specification provides a nontechnical map of the system without a multiplicity of representations as in SysML. To demonstrate the viability of the model, it is applied to a case study of an airport baggage handling system.

Negotiating Early Reuse of Components - A Model-Based Analysis

2011 ◽  
pp. 66-79 ◽  
Author(s):  
J. A. Sykes
Keyword(s):  
Component Composition ◽  
The Other ◽  
Component Reuse ◽  
System Specification ◽  
Modeling Framework ◽  
Model Based ◽  
Model Based Analysis ◽  
Semiotic Theory

Unless existing components are considered during formulation of a system specification, the amount of component reuse that is possible may be limited. In order to increase the amount of reuse, it may be necessary to alter the functionality or performance of the system from that originally envisioned. Tension between stakeholders thus exists. Reuse of components also significantly changes the specification activity because it must now deal with component specifications as input models, which is not necessarily the case when reuse is not the goal. These issues are investigated using a modeling framework based on semiotic theory. The nature of modeling abstractions that could support the negotiation between stakeholders is also explored. Two scenarios are examined: one based on the idea of functional abstractions that can be composed and the other one using structural abstractions of the kind available in the UML as the basis of component composition. Even though at this stage, there are no good examples of functional abstractions that can be composed, it is concluded that functional abstractions are the best prospect for supporting collaboration and negotiation.

FORMAL SPECIFICATION AND PROTOTYPING OF MULTIMEDIA APPLICATIONS

2000 ◽  
Vol 10 (04) ◽  
pp. 377-409 ◽  
Author(s):  
TIMOTHY ARNDT ◽  
SHI-KUO CHANG ◽  
ANGELA GUERCIO
Keyword(s):  
Formal Specification ◽  
User Interaction ◽  
Knowledge Structure ◽  
Multimedia Applications ◽  
Multimedia Systems ◽  
System Specification ◽  
Validation And Verification ◽  
Multimedia Object ◽  
Efficient Communication ◽  
Specification Methodology

Multimedia systems incorporating hyperlinks and user interaction can be prototyped using TAOML, an extension of HTML. TAOML is used to define a Teleaction Object (TAO) which is a multimedia object with associated hypergraph structure and knowledge structure The hypergraph structure supports the effective presentation and efficient communication of multimedia information. In this paper, a formal specification methodology for TAOs using Symbol Relation (SR) grammars is described. An attributed SR grammar is then introduced in order to associate knowledge with the TAO. The limitations to achieve an efficient parser are given. The grammatical formalism allows for validation and verification of the system specification. This methodology provides a principled approach to specify, verify, validate and prototype multimedia applications.

scholarly journals Novel Model-Based approach for instrumentation and control of nuclear reactors

2021 ◽  
Vol 253 ◽  
pp. 05003
Author(s):  
Bassem Ouni ◽  
Christophe Aussagues ◽  
Saadia Dhouib ◽  
Chokri Mraidha
Keyword(s):  
Nuclear Reactors ◽  
System Development ◽  
Source Model ◽  
System Specification ◽  
Levels Of Abstraction ◽  
Model Based ◽  
Digital Instrumentation ◽  
High Level ◽  
And Control ◽  
Different Levels

Technological platforms dedicated for digital instrumentation and control of nuclear reactors are quite complex in terms of functionalities and devices. Hence, the design of these platforms requires high-level abstraction layers able to reduce the complexity, to rise the automation and to check the consistency between different development stages. The development of such systems is a challenging task that requires modeling of various components at different levels of abstraction and viewpoints, notably functional, hardware and software levels. In this paper, a new system engineering methodology is proposed to provide high-level models of different components and inter/intra-communication between them. These models are used for system specification, architecture design, performance evaluation or verification and validation. This approach focuses on the internal behavior of different components at different levels of abstraction in order to enable the interoperability of these components and to enhance cooperation between different stakeholders of the development process. An experimental setup has been carried out to validate this approach by customizing an open source model based engineering tool, Eclipse Papyrus, towards a significant reduction of system development cost in terms of engineering resources and equipment devices.

scholarly journals Model Based Control System Design Using SysML, Simulink, and Computer Algebra System

2013 ◽  
Vol 2013 ◽  
pp. 1-14 ◽  
Author(s):  
Takashi Sakairi ◽  
Eldad Palachi ◽  
Chaim Cohen ◽  
Yoichi Hatsutori ◽  
Junya Shimizu ◽  
...  
Keyword(s):  
Control System ◽  
Computer Algebra ◽  
Systems Engineering ◽  
Computer Algebra System ◽  
Modeling Language ◽  
Continuous Control ◽  
System Specification ◽  
Cruise Control ◽  
Analysis And Design ◽  
Model Based

The Systems Modeling Language (SysML) is a standard, general-purpose, modeling language for model-based systems engineering (MBSE). SysML supports the specification, analysis, and design of a broad range of complex systems such as control systems. The authors demonstrate how they can integrate a SysML modeling tool (IBM Rational Rhapsody) with a proprietary simulation tool (MathWorks Simulink) and a Computer Algebra System (CAS) to validate system specification. The integration with Simulink enables users to perform systems engineering process in a SysML model, while designing continuous control algorithms and plant behavior in Simulink, and to validate the behavior by simulating the overall composition in Simulink. The integration with a CAS enables the evaluation of mathematical constraints defined in SysML parametric diagrams. The authors also show the overall approach using a Dual Clutch Transmission (DCT) and a Cruise Control System as examples.

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.

Sign in / Sign up

Export Citation Format

Share Document