Automatic failure modes and effects analysis of an electronic fuel injection model

D Lee, D Lee, J Na - Applied Sciences, 2022 - mdpi.com
In the development of safety-critical systems, it is important to perform failure modes and
effects analysis (FMEA) to identify potential failures. However, traditional FMEA activities …

On the use of alloy in engineering domain specific modeling languages

L Gammaitoni - 2017 - orbilu.uni.lu
[en] Domain Specific Modeling Languages (DSMLs) tend to play a central role in modern
design processes as they enable the effective involvement of domain experts by focusing on …

A model driven approach for the development and verification of service-oriented applications

F Rekik - 2017 - theses.hal.science
As software systems are pervasive and play an important role in everyday life, the users are
becoming more and more demanding. They mainly require more reliable systems that …