The method engineering paradigm enables designers to reuse portions of design processes (called method fragments or chunks in literature) to build processes that are expressly tailored for realising a system that is specific for some problem or development context. This paper initially reports on the standardisation attempt carried out by the FIPA Methodology Technical Committee (TC) and then presents the research activities we did starting from that work; these resulted in a slightly different definition of some of the most important elements of the approach in order to support a multiview representation of the fragment (the views are process, reuse, storing and implementation). The paper also describes the documents we used for representing a fragment and concludes with an example
Distributed simulation represents a solid discipline and an effective approach for handling the increasing complexity in the analysis and design of modern Systems and Systems of Systems (SoSs). The IEEE 1516-2010-High Level Architecture (HLA) is one of the most mature and popular standards for distributed simulation and it is increasingly exploited in a great variety of application domains, ranging from aerospace to energy, due to its capabilities to enable the interoperability and reusability of distributed simulation components. However, the development of fully fledged simulation models, based on the IEEE 1516-2010 standard, is still a challenging task and requires considerable development effort that often results not only in an increase in development time but also in low reliability. In this context, the paper presents the HLA Development Kit Framework, a generalpurpose, domain independent software framework that aims to ease the development of HLA-based simulations by letting the developers to focus on the specific aspects of their simulation rather than dealing with the common HLA functionalities. Moreover, the so obtained simulation code is independent of any specific HLA platform thus enabling its deployment and execution on any desired implementation of the HLA standard provided it is written in Java. The effectiveness of the proposed framework is shown in the context of the Simulation Exploration Experience (SEE), a project organized by SISO (Simulation Interoperability Standards Organization) and led by NASA that involves several U.S. and European Institutions.
This paper describes a proposal on how to model formal requirements in Modelica for simulation-based verification. The approach is implemented in the open source Modelica_Requirements library. It requires extensions to the Modelica language, that have been prototypically implemented in the Dymola and Open-Modelica software. The design of the library is based on the FOrmal Requirement Modeling Language (FORM-L) defined by EDF, and on industrial use cases from EDF and Dassault Aviation. It uses 2-and 3valued temporal logic to describe requirements.
The increasing complexity of modern systems makes their design, development, and operation extremely challenging and therefore new systems engineering and modeling and simulation (M&S) methods, techniques, and tools are emerging, also to benefit from distributed simulation environments. In this context, one of the most mature and popular standards for distributed simulation is the IEEE 1516-2010 - Standard for M&S high level architecture (HLA). However, building and maintaining distributed simulations components, based on the IEEE 1516-2010 standard, is still a challenging and effort-consuming task. To ease the development of full-fledged HLA-based simulations, the paper proposes the MONADS method (MOdel-driveN Architecture for Distributed Simulation), which relies on the model-driven systems engineering paradigm. The method takes as input system models specified in Systems Modeling Language, the reference modeling language in the systems engineering field, and produces as output the final code of the corresponding HLA-based distributed simulation through a chain of model-to-model and model-to-text transformations. The obtained simulation code is based on the HLA Development Kit software framework, which has been developed by the SMASH-Lab (System Modeling and Simulation Hub - Laboratory) of the University of Calabria (Italy), in cooperation with the Software, Robotics, and Simulation Division (ER) of NASA’s Lyndon B. Johnson Space Center (JSC) in Houston (TX, USA). The effectiveness of the method is shown through a case study that concerns a military patrol operation, in which a set of drones are engaged to patrol the border of a military area, in order to prevent both ground and flight attacks from entering the area.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.