Publications associées à Model-based testing

Impact of microwave beam scattering by density fluctuations on the electron-cyclotron power deposition profile in tokamaks

Stefano Coda, Joan Decker, Oleg Krutkin, Umesh Kumar, Jean Arthur Cazabonne

Electron-cyclotron waves are a tool commonly used in tokamaks, in particular to drive current. Their ability to drive current in a very localized manner renders them an optimal tool for MHD mode mitigation. However, such applications require high accuracy ...

IOP Publishing Ltd2024

Chat2Code: A Chatbot for Model Specification and Code Generation, The Case of Smart Contracts

Shailesh Mishra

The potential of automatic code generation through Model-Driven Engineering (MDE) frameworks has yet to be realized. Beyond their ability to help software professionals write more accurate, reusable code, MDE frameworks could make programming accessible fo ...

Ieee Computer Soc2023

Reactivity of Bromine Radical with Dissolved Organic Matter Moieties and Monochloramine: Effect on Bromate Formation during Ozonation

Urs von Gunten, Sung Eun Lim

Bromine radical (Br center dot) has been hypothesized to be a key intermediate of bromate formation during ozonation. Once formed, Br center dot further reacts with ozone to eventually form bromate. However, this reaction competes with the reaction of Br c ...

AMER CHEMICAL SOC2023

Making Computer Vision Models Robust and Adaptive

Shuqing Teresa Yeo

Visual perception is indispensable for many real-world applications. However, perception models deployed in the real world will encounter numerous and unpredictable distribution shifts, for example, changes in geographic locations, motion blur, and adverse ...

EPFL2023

Systematic Literature Review of MBSE Tool-Chains

Dimitrios Kyritsis, Jinzhi Lu, Yan Yan

Currently, the fundamental tenets of systems engineering are supported by a model-based approach to minimize risks and avoid design changes in late development stages. The models are used to formalize, analyze, design, optimize, and verify system developme ...

MDPI2022

Code Generation Approach Supporting Complex System Modeling based on Graph Pattern Matching

Dimitrios Kyritsis, Yan Yan, Jinzhi Lu

Code generation is an effective way to drive the complex system development in model-based systems engineering. Currently, different code generators are developed for different modeling languages to deal with the development of systems with multi-domain. T ...

ELSEVIER2022

Auto-tuning deep forest for shear stiffness prediction of headed stud connectors

Xianlin Wang, Yuqing Liu

The shear stiffness of headed stud connector is a critical parameter for the calculation of deflection and inter-facial shear force for steel-concrete composite structure. Thus, this study presented a promising data-driven model auto-tuning Deep Forest (AT ...

2022

Model-based Systems Engineering Papers Analysis based on Word Cloud Visualization

Dimitrios Kyritsis, Jinzhi Lu, Xiaochen Zheng

With the continuous improvement of system scale and complexity, model-based system engineering (MBSE) is of great importance in the practice of system engineering (SE). MBSE has been widely concerned in industry, especially in the field of complex equipmen ...

IEEE2022

Model-Based Systems Engineering Tool-Chain for Automated Parameter Value Selection

Dimitrios Kyritsis, Jinzhi Lu

Cyber-physical systems (CPSs) integrate heterogeneous systems and process sensor data using digital services. As the complexity of CPS increases, it becomes more challenging to efficiently formalize the integrated multidomain views with flexible automated ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022

Design Ontology Supporting Model-Based Systems Engineering Formalisms

Dimitrios Kyritsis, Jinzhi Lu, Xiaochen Zheng, Han Li

Model-based systems engineering (MBSE) provides an important capability for managing the complexities of system development. MBSE empowers the formalism of system architectures for supporting model-based requirement elicitation, specification, design, deve ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022