Article
Engineering, Aerospace
Moritz Neumaier, Stefan Kranemann, Bernd Kazmeier, Stephan Rudolph
Summary: System design in an aircraft is still a costly, manual, and iterative process. To reduce costs and time to market, an automation approach using graph-based design languages and a design compiler is proposed. The capabilities of the newly developed automated piping are demonstrated on the pipe work in an Airbus A320 landing gear bay.
Article
Engineering, Aerospace
Wojciech Skarka, Rafal Nalepa, Robert Musik
Summary: This article discusses the effects of work performed during a software project for generative models and spreadsheets, allowing for the quick creation of conceptual models for aircraft. The presented software is currently suitable for glider representation but can be further developed to meet the requirements of planes and UAV design. The work addresses the current trends and needs in CAD and aviation.
Review
Automation & Control Systems
Chao Yu, Qing Li, Kui Liu, Yuwen Chen, Hailong Wei
Summary: This paper introduces two breakthroughs in industrial design and development software system: MBSE and cloud computing, to cater for the new generation of cyber-physical manufacturing. By refining an MBSE double-Vs model and discussing cloud computing's impact on traditional industrial software systems, a new architecture combining MBSE and cloud computing is proposed to optimize the design and development process. Through a detailed example of a flight management system, the effectiveness of this new architecture in creating an efficient collaborative mechanism for FMS development is verified.
ANNUAL REVIEWS IN CONTROL
(2021)
Article
Chemistry, Multidisciplinary
Yimin Feng, Qiang Zou, Chenchu Zhou, Yusheng Liu, Qibo Peng
Summary: A metamodel for system-of-systems (SoS) architecture is defined, which considers both structural and behavioral perspectives. Ontologies enhanced with a flow-based extension are used to characterize architecture views. An SoS capability ontology and an SoS operational ontology are built based on the metamodel, including factors, relationships, and flows. A four-step architecture process for developing capabilities and a five-step architecture process for operational modeling are provided using the ontologies. The proposed approach is applied in a search and rescue case study, demonstrating its ability to improve operability in the early design stage. The process is implemented using the Unified Architecture Framework (UAF) to enhance understanding and development of an SoS by stakeholders and engineers.
APPLIED SCIENCES-BASEL
(2023)
Article
Computer Science, Information Systems
Jinzhi Lu, Junda Ma, Xiaochen Zheng, Guoxin Wang, Han Li, Dimitris Kiritsis
Summary: Model-based systems engineering (MBSE) is an important capability for managing the complexities of system development, but heterogeneous modeling languages and techniques can lead to difficulties in data interoperability. This article introduces an ontology, GOPPRRE, to support various MBSE formalisms and demonstrates its applicability through quantitative and qualitative approaches. The GOPPRRE ontologies are also used to create MBSE formalisms in a domain-specific modeling tool and validate their availability.
IEEE SYSTEMS JOURNAL
(2022)
Article
Computer Science, Interdisciplinary Applications
Haoqi Wang, Hao Li, Xiaoyu Wen, Guofu Luo
Summary: This paper introduces the application of digital twin technology to address complexity management issues in MBSE for system design. By constructing a five-dimensional system design digital twin framework, services such as design complexity measurement, effort estimation, and change propagation prediction are provided, bringing new directions to system design.
ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING
(2021)
Article
Engineering, Aerospace
Mitchell Kirshner
Summary: As MBSE is increasingly adopted in various industries for system lifecycle design, engineers are able to manage and describe highly complex systems. This is particularly crucial in the field of space systems, where NASA and other organizations have recently started using MBSE. However, the importance of cybersecurity in space systems development is often overlooked. This work proposes a methodology that utilizes MBSE and SysML requirements modeling to demonstrate adequate cybersecurity for cyberphysical space systems, addressing the need for continuous verification and validation.
Article
Computer Science, Interdisciplinary Applications
Avi Shaked
Summary: Addressing cybersecurity aspects is challenging in system design, as security and resilience need to be considered. However, integrating pertinent information and following guidelines is not easy, and there is a lack of model-based methodology for threat-aware design. This article presents an integrative, model-based methodology for designing and assessing systems' security, with industrial case studies demonstrating its applicability.
JOURNAL OF INDUSTRIAL INFORMATION INTEGRATION
(2023)
Article
Computer Science, Information Systems
Eugenio Brusa
Summary: Predicting RAMS analysis in the design of safety-critical systems helps designers make tradeoffs at the concept stage, reduce costs, and shorten time to market. Model-based systems engineering supports system reliability allocation through tool chain integration, aligning with industry practices and standards.
IEEE SYSTEMS JOURNAL
(2021)
Article
Chemistry, Multidisciplinary
Avi Shaked, Yoram Reich
Summary: Introducing domain-specific models can enhance the applicability of model-based systems engineering. Domain-specific modeling approach can relieve some hurdles in adopting MBSE and augment rigor in models when used in tandem with a general-purpose modeling approach.
APPLIED SCIENCES-BASEL
(2021)
Article
Computer Science, Information Systems
John T. J. Mathieson, Thomas Mazzuchi, Shahram Sarkani
Summary: The article introduces the concept of blending DevOps principles from software engineering into systems engineering, creating the SEDevOps life cycle model. This facilitates the merging of systems engineering processes, tools, and products to enhance agility in later life cycle phases.
IEEE SYSTEMS JOURNAL
(2021)
Article
Social Sciences, Interdisciplinary
Nicolas Navarro, Laszlo Horvath, Alejandro Salado
Summary: This paper presents an operational concept for implementing IoT technology in pallets, which can monitor the conditions of products and unit loads to improve product distribution control and packaging design.
Article
Chemistry, Multidisciplinary
Chengkai Xia, Heng Wang, Jung Kyu Kim, Jingyu Wang
Summary: The research focuses on the rational design of metal oxide heterostructures to enhance photo-to-chemical energy conversion efficiency using photocatalytic and photoelectrochemical systems. Strategies to improve conversion efficiency include surface modification, surface regulation, and interfacial assembly with various materials. The underlying reaction mechanisms and challenges in developing metal oxide-based heterostructures for photo-to-chemical devices are also discussed.
ADVANCED FUNCTIONAL MATERIALS
(2021)
Article
Engineering, Industrial
Lara Qasim, Andreas Makoto Hein, Sorin Olaru, Jean-Luc Garnier, Marija Jankovic
Summary: System reconfiguration is essential for flexible and adaptable complex systems management. Identifying data supporting system reconfiguration is a challenge, and few publications propose an ontology for the entire process. In this paper, we propose the OSysRec ontology, developed based on expert knowledge and industrial use cases, to formalize and improve the understanding of the reconfiguration process. The proposed ontology can be deployed for developing efficient and effective reconfiguration tools at the industrial scale.
SYSTEMS ENGINEERING
(2023)
Article
Social Sciences, Interdisciplinary
Avi Shaked
Summary: The Israeli Aerospace Industries helped hospitals during the pandemic by designing a system to support their effective operation, management, and decision making. The approach relied on domain-specific modeling using tools embedded into the Eclipse Modeling Framework. The paper reports on the development of a functional prototype and discusses the advantages and challenges of using model-based engineering approach.
Article
Computer Science, Software Engineering
Kangfeng Ye, Ana Cavalcanti, Simon Foster, Alvaro Miyazawa, Jim Woodcock
Summary: RoboChart is a domain-specific language for robotics that supports automated verification through model checking and theorem proving, with an extension to model uncertainty using probabilism. The language includes a new construct for enriching state machines with probability and an accompanying tool called RoboTool for modelling and verifying functional and real-time behavior. An automatic technique has been implemented in RoboTool to transform RoboChart models into PRISM models for verification, with an extension of the property language to support probabilistic properties expressed in temporal logic using controlled natural language.
SOFTWARE AND SYSTEMS MODELING
(2022)
Article
Computer Science, Theory & Methods
Christian Legaard, Thomas Schranz, Gerald Schweiger, Jan Drgona, Basak Falay, Claudio Gomes, Alexandros Iosifidis, Mahdi Abkar, Peter Larsen
Summary: Dynamical systems are extensively used in natural sciences and engineering disciplines. While simple systems can be described by differential equations derived from fundamental physical laws, more complex systems require data-driven modeling approaches. This article surveys the use of neural networks to construct models of dynamical systems, reviews related literature, identifies significant challenges, and discusses promising research areas.
ACM COMPUTING SURVEYS
(2023)
Editorial Material
Computer Science, Software Engineering
Simon Collart-Dutilleul, Anne E. Haxthausen, Thierry Lecomte, Jim Woodcock
FORMAL ASPECTS OF COMPUTING
(2023)
Review
Green & Sustainable Science & Technology
F. Naseri, S. Gil, C. Barbu, E. Cetkin, G. Yarimca, A. C. Jensen, P. G. Larsen, C. Gomes
Summary: Transportation electrification has seen advancements in battery technology and manufacturing, but faces challenges that can be overcome with digital twining. Digital twins utilize advanced models, AI, sensing units, IoT, and cloud computing to improve performance, safety, and cost-effectiveness of battery systems. Various studies have discussed applications and use cases for digital twins in battery management, testing, and the entire value chain. This comprehensive review examines potential use cases, enabling technologies, and requirements for battery digital twins, including electrical topics and software architectures.
RENEWABLE & SUSTAINABLE ENERGY REVIEWS
(2023)
Article
Automation & Control Systems
Mirgita Frasheri, Henrik Ejersbo, Casper Thule, Claudio Gomes, Jakob Levisen Kvistgaard, Peter Gorm Larsen, Lukas Esterle
Summary: Digital twins (DTs) are a crucial technology for the development, real-time monitoring, and optimization of cyber-physical systems (CPSs). This paper presents an approach to handle situations where a DT and its physical twin (PT) get out of sync, providing user notification, degradation of DT to digital shadow (DS), and recovery mechanisms to re-establish synchronization between DT and PT.
ROBOTICS AND AUTONOMOUS SYSTEMS
(2023)
Article
Engineering, Civil
G. Abbiati, E. E. Bas, C. Gomes, P. G. Larsen
Summary: The failure mode of a structural component under fire loading is influenced by its mechanical boundary conditions, emphasizing the importance of controlling those conditions for realistic fire experiments. Hybrid fire testing, which combines actuator loading and fire exposure, has been developed to achieve this aim. Middlewares have been proposed to facilitate interoperability in hybrid testing, but the portability of hybrid models remains a challenge. This paper proposes a method using the Co-Simulation paradigm and the Functional Mock-up Interface standard to address this limitation.
FIRE SAFETY JOURNAL
(2023)
Review
Engineering, Industrial
Zahra Kazemi, Jonas Kjaer Rask, Claudio Gomes, Emre Yildiz, Peter Gorm Larsen
Summary: The concept of movable factory, defined as mobile production units near customer's location, is important for sustainability, faster response times, compliance with regulations, and dealing with fragile international supply chains. This paper conducts a systematic literature review to break down the concept, relate it to the state-of-the-art, and summarize its use cases, requirements, research gaps, and opportunities.
JOURNAL OF MANUFACTURING SYSTEMS
(2023)
Article
Computer Science, Software Engineering
Mario Gleirscher, Jaco van de Pol, Jim Woodcock
Summary: In recent years, formal methods have been successfully applied in large industrial organisations, proving their effectiveness in finding important bugs in software engineering processes. However, their application is still limited, especially in safety-critical systems where their potential is greatly emphasized. This manifesto aims to define the concept of a formal method and its applicability from both scientific and practical perspectives, identifying key challenges and providing guiding principles for their mature and widespread use in appropriate contexts.
SOFTWARE AND SYSTEMS MODELING
(2023)
Review
Engineering, Manufacturing
Till Bottjer, Daniella Tola, Fatemeh Kakavandi, Christian R. Wewer, Devarajan Ramanujan, Claudio Gomes, Peter G. Larsen, Alexandros Iosifidis
Summary: In recent years, there has been a growing hype around Digital Twins (DTs) in both industry and academia. DTs have the potential to increase automation and advance towards Smart Manufacturing. This literature review focuses on DTs at the unit level in manufacturing, specifically in terms of real-time control. The review summarizes the current implementation and operation of DTs, and highlights their potential benefits in four categories: generic reference models, services, DT content (models and data), and DT deployment (hardware and software).
CIRP JOURNAL OF MANUFACTURING SCIENCE AND TECHNOLOGY
(2023)
Review
Electrochemistry
Farshid Naseri, Zahra Kazemi, Peter Gorm Larsen, Mohammad Mehdi Arefi, Erik Schaltz
Summary: Battery management systems (BMSs) are critical for ensuring the efficiency and safety of high-power battery energy storage systems (BESSs). The development of cloud computing and big data has led to the emergence of a new generation of BMSs, called Cloud BMS (CBMS), which aim to improve the performance and safety of BESSs. However, CBMS also creates vulnerabilities against cyberattacks that could potentially lead to damaging the BESS and causing dangerous situations.
Proceedings Paper
Computer Science, Information Systems
Bentley James Oakes, Claudio Gomes, Peter Gorm Larsen, Joachim Denil, Julien Deantoni, Joao Cambeiro, John Fitzgerald
Summary: Digital Twins (DTs) are created using modeling and simulation techniques in complex domains, such as cyber-physical systems. This article focuses on the investigation of how a DT service and its qualities relate to the models used by the service. It examines the qualities of relevance, verifiability, substitutability, and fidelity, and discusses strategies for adapting models to ensure these qualities, using an incubator system as an example.
2023 ANNUAL MODELING AND SIMULATION CONFERENCE, ANNSIM
(2023)
Proceedings Paper
Automation & Control Systems
Fatemeh Kakavandi, Peter Gorm Larsen
Summary: This paper presents an explainable deep-learning-based fault detection method for quality assessment in an industrial medical device assembly line. The method includes a multi-layer perceptron model and a layer-wise relevance propagation algorithm, which can diagnose different fault classes and visualize the decision-making process.
2022 10TH INTERNATIONAL CONFERENCE ON CONTROL, MECHATRONICS AND AUTOMATION (ICCMA 2022)
(2022)
Proceedings Paper
Computer Science, Software Engineering
Laurynas Ubys, Valeriu Nicolas Vancea, Tomas Kulik, Peter Gorm Larsen, Jalil Boudjadar, Diego F. Aranha
Summary: Current trends of digitalization in industrial control systems require secure communication and device authentication. This paper presents a prototype of a pluggable key management device that utilizes VDM to analyze network traffic and ensure system security.
FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2022)
(2022)
Proceedings Paper
Computer Science, Information Systems
Daniella Tola, Till Bottjer, Peter Gorm Larsen, Lukas Esterle
Summary: The passage discusses the use of robots in manufacturing applications and the concept of digital twins. Digital twins are digital copies of physical systems that can exchange information to adapt to changes and solve problems. However, developing digital twins can be challenging. Therefore, a modular approach is proposed.
2022 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING AND SELF-ORGANIZING SYSTEMS COMPANION (ACSOS-C 2022)
(2022)
Proceedings Paper
Computer Science, Interdisciplinary Applications
Hao Feng, Claudio Gomes, Santiago Gil, Peter H. Mikkelsen, Daniella Tola, Peter Gorm Larsen, Michael Sandberg
Summary: This paper discusses the significance of Digital Twins in the manufacturing industry and explores their implementation and application by bridging them with the MAPE-K loop and Cyber-Physical Systems (CPS).
PROCEEDINGS OF THE 2022 ANNUAL MODELING AND SIMULATION CONFERENCE (ANNSIM'22)
(2022)