Results 71 to 80 of about 8,831 (214)
Development and Validation of Functional Model of a Cruise Control System
, 2016 Modern automobiles can be considered as a collection of many subsystems working with each other to realize safe transportation of the occupants. Innovative technologies that make transportation easier are increasingly incorporated into the automobile in ...
Beijer, Jos +4 more
core +1 more source
Expressing Measurement Uncertainty in OCL/UML Datatypes [PDF]
, 2018 Uncertainty is an inherent property of any measure or estimation performed in any physical setting, and therefore it needs to be considered when modeling systems that manage real data.
A Jiménez-Ramírez +11 more
core +1 more source
MBSE Co‐Pilot: A Research Roadmap
Systems Engineering, Volume 29, Issue 1, Page 20-33, January 2026.ABSTRACT As the complexity of engineered systems continues to increase, Model‐Based Systems Engineering (MBSE) methodologies, languages, and tools are increasingly insufficient to meet the demands of modern systems engineering. This paper proposes a research roadmap for the development of an AI‐driven machine, referred to as MBSE Co‐Pilot, designed to ...
Wenheng Zhang +6 more
wiley +1 more source
Використання онтологічних моделей в цифровізації транспорту: проблеми та перспективи
Збірник наукових праць Державного університету інфраструктури та технологій: серія "Транспортні системи і технології", 2020 Розглянуто проблеми та перспективи застосування онтологій у цифровізації транспорту. Для вирішення проблем цифровізації транспорту важливе значення мають онтології, формалізовані онтологічні та семантичні мови для забезпечення процесів проектування і ...
O. Tkachenko, O. Tkachenko, K. Tkachenko
doaj +1 more source
Mechatronics as Design Philosophy to Inspire Engineering Innovations
IET Collaborative Intelligent Manufacturing, Volume 8, Issue 1, January/December 2026.Conventional mechatronics theory should be expanded to (1) include more innovative design principles, (2) embrace artificial intelligence, human‐robot‐interactions and digital technologies and (3) develop systematic methodologies to make mechatronic systems scalable, adaptable and sustainable.
Zhuming Bi +3 more
wiley +1 more source
Simulation System for the Wendelstein 7-X Safety Control System
, 2018 The Wendelstein 7-X (W7-X) Safety Instrumented System (SIS) ensures personal safety and investment protection. The development and implementation of the SIS are based on the international safety standard for the process industry sector, IEC 61511.
Herbst, U. +5 more
core +1 more source
Time‐ and Behaviour‐Preserving Execution of Determinate Supervisory Control
IET Cyber-Physical Systems: Theory &Applications, Volume 11, Issue 1, January/December 2026.The activity framework is a model‐based framework incorporating a model of activities with determinate timing and behaviour, and a strong mathematical foundation based on max‐plus algebra that allows efficient timing analysis and optimisation of CPS. Preserving the specified behaviour and the model‐predicted timing in an implementation is challenging ...
Alireza Mohamadkhani +3 more
wiley +1 more source
SoS contract verification using statistical model checking [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Exhaustive formal verification for systems of systems (SoS) is impractical and cannot be applied on a large scale. In this paper we propose to use statistical model checking for efficient verification of SoS. We address three relevant aspects for systems
Alessandro Mignogna +4 more
doaj +1 more source
PRISE: An Integrated Platform for Research and Teaching of Critical Embedded Systems [PDF]
, 2012 In this paper, we present PRISE, an integrated workbench for Research and Teaching of critical embedded systems at ISAE, the French Institute for Space and Aeronautics Engineering.
Hamez, Alexandre +2 more
core
Traceability Support for Engineering Reviews of Horizontal Model Evolution
Systems Engineering, Volume 28, Issue 6, Page 720-736, November 2025.ABSTRACT At its very core, model‐based systems engineering uses models to enable a multidisciplinary view on a system design in the early stages. These early stage models evolve horizontally: new diagrams for further perspectives and disciplines are added, using the same notation and the same abstraction level.
Johan Cederbladh +4 more
wiley +1 more source