Model-Driven System Development for Distributed Fuel Management in Avionics

2013 ◽  
Vol 10 (2) ◽  
pp. 71-86 ◽  
Author(s):  
Carlos C. Insaurralde ◽  
Miguel A. Seminario ◽  
Juan F. Jimenez ◽  
Jose M. Giron-Sierra
Keyword(s):  
System Development ◽  
Fuel Management ◽  
Model Driven ◽  
Driven System

scholarly journals Model-Driven Architectural Framework towards Safe and Secure Nuclear Power Reactors

Sensors ◽  
2021 ◽  
Vol 21 (15) ◽  
pp. 5136
Author(s):  
Bassem Ouni ◽  
Christophe Aussagues ◽  
Saadia Dhouib ◽  
Chokri Mraidha
Keyword(s):  
Nuclear Power ◽  
Nuclear Reactors ◽  
System Development ◽  
Levels Of Abstraction ◽  
Model Driven ◽  
Case System ◽  
Architectural Framework ◽  
Performance Check ◽  
High Level ◽  
Different Levels

Sensor-based digital systems for Instrumentation and Control (I&C) of nuclear reactors are quite complex in terms of architecture and functionalities. A high-level framework is highly required to pre-evaluate the system’s performance, check the consistency between different levels of abstraction and address the concerns of various stakeholders. In this work, we integrate the development process of I&C systems and the involvement of stakeholders within a model-driven methodology. The proposed approach introduces a new architectural framework that defines various concepts, allowing system implementations and encompassing different development phases, all actors, and system concerns. In addition, we define a new I&C Modeling Language (ICML) and a set of methodological rules needed to build different architectural framework views. To illustrate this methodology, we extend the specific use of an open-source system engineering tool, named Eclipse Papyrus, to carry out many automation and verification steps at different levels of abstraction. The architectural framework modeling capabilities will be validated using a realistic use case system for the protection of nuclear reactors. The proposed framework is able to reduce the overall system development cost by improving links between different specification tasks and providing a high abstraction level of system components.

Model Driven System Design Working Group: FOUNDATIONAL CONCEPTS FOR MODEL DRIVEN SYSTEM DESIGN

1996 ◽  
Vol 6 (1) ◽  
pp. 1179-1185 ◽  
Author(s):  
Loyd Baker ◽  
Paul Clemente ◽  
Bob Cohen ◽  
Larry Permenter ◽  
Byron Purves ◽  
...  
Keyword(s):  
System Design ◽  
Working Group ◽  
Model Driven ◽  
Driven System

scholarly journals Model-driven Design-Runtime Interaction in Safety Critical System Development: an Experience Report.

2019 ◽  
Vol 18 (2) ◽  
pp. 1:1 ◽  
Author(s):  
Romina Eramo ◽  
Florent Marchand de Kerchove ◽  
Maximilien Colange ◽  
Michele Tucci ◽  
Julien Ouy ◽  
...  
Keyword(s):  
System Development ◽  
Experience Report ◽  
Critical System ◽  
Safety Critical ◽  
Model Driven ◽  
Safety Critical System

A Compliance-Driven Framework for Privacy and Security in Highly Regulated Socio-Technical Environments

2021 ◽  
pp. 933-962
Author(s):  
Ayda Saidane ◽  
Saleh Al-Sharieh
Keyword(s):  
Business Processes ◽  
System Development ◽  
Regulatory Compliance ◽  
Security And Privacy ◽  
Modeling Framework ◽  
Privacy And Security ◽  
Legitimate User ◽  
Simulation Based ◽  
Driven System ◽  
City System

Regulatory compliance is a top priority for organizations in highly regulated ecosystems. As most operations are automated, the compliance efforts focus on the information systems supporting the business processes of the organizations and, to a lesser extent, on the humans using, managing, and maintaining them. Yet, the human factor is an unpredictable and challenging component of a secure system development and should be considered throughout the development process as both a legitimate user and a threat. In this chapter, the authors propose COMPARCH as a compliance-driven system engineering framework for privacy and security in socio-technical systems. It consists of (1) a risk-based requirement management process, (2) a test-driven security and privacy modeling framework, and (3) a simulation-based validation approach. The satisfaction of the regulatory requirements is evaluated through the simulation traces analysis. The authors use as a running example an E-CITY system providing municipality services to local communities.

scholarly journals Model Driven Interoperability for System Engineering

Modelling ◽  
2020 ◽  
Vol 1 (2) ◽  
pp. 94-121
Author(s):  
Gregory Zacharewicz ◽  
Nicolas Daclin ◽  
Guy Doumeingts ◽  
Hezam Haidar
Keyword(s):  
Supply Chain ◽  
System Engineering ◽  
Model System ◽  
Enterprise Modeling ◽  
Cyber Physical System ◽  
Heterogeneous Information ◽  
Model Driven ◽  
Manufacturing Enterprises ◽  
Driven System ◽  
Enterprise Interoperability

To keep up to date, manufacturing enterprises need to use the latest results from the ICT sector, especially when collaborating with external partners in a supply chain and exchanging products and data. This has led to dealing with an increasing amount of heterogeneous information exchanged between partners including machines (physical means), humans and IT in the Supply Chain of ICT Systems (SC-ICTS). In this context, interoperability management is becoming more and more critical, but paradoxically, it is not yet fully efficiently anticipated, controlled and accompanied to recover from incompatibilities issues or failures. This paper intends to present how enterprise modeling, enterprise interoperability and model driven approaches can lead, together with system engineering architecture, to contribute to developing and improving the interoperability in the SC-ICTs. Model Driven System Engineering Architecture (MDSEA) is based on Enterprise Modeling using GRAI Model and its extensions. It gives enterprise internal developments guidelines, but originally, MDSEA is not the considering interoperability that is required between partners when setting a collaboration in the frame of SC-ICTS. As a result, the MDSEA, extended with interoperability concerns, led to the design of the MDISE (Model Driven Interoperability System Engineering) framework, which capitalizes on the research on enterprise interoperability. To finish, some proposals are made to extend the Model System Tool Box (MSTB) and the use of MDISE for Cyber Physical System (CPS) that are relevant components of SC-ICTS.

Sign in / Sign up

Export Citation Format

Share Document