Concept
Systems modeling language
Related publications (84)
Metamodel for Safety Risk Management of Medical Devices Based on ISO 14971
Mihai Adrian Ionescu, David Atienza Alonso
The integration of information technologies into medical systems has led to an increase in digitalization, which results in enormous possibilities, but also challenges in system development. The ever-growing complexity of modern medical devices (MD) requir ...
2023SWEET-EDGE: Enabling Decentralized renewable Generation in the Alps
Michael Lehning, Jérôme François Sylvain Dujardin, Annelen Kahl
The overall EDGE objective is to fast-track the growth of locally-sourced decentralized renewable energy in Switzerland and to ensure that by 2035 and 2050, when ambitious shares of renewable energy are reached, the Swiss energy system is designed and oper ...
2022Direct Model-checking of SysML Models
Model-checking intends to verify whether a property is satisfied by a model, or not. Model-checking of high-level models, e.g. SysML models, usually first requires a model transformation to a low level formal specification. The present papers proposes a ne ...
SCITEPRESS2021