Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising...

[Free GPT-4]
[PDF] ljmu.ac.uk

DECISIVE: Designing critical systems with iterative automated safety analysis

R Wei, Z Jiang, X Guo, R Yang, H Mei… - … on Computer-Aided …, 2023 - ieeexplore.ieee.org
Systems safety is becoming increasingly challenging due to the presence of ever-more
complex applications. Safety analysis is an important aspect of safety-critical systems …
Enregistrer Citer Cité 5 fois Autres articles Les 3 versionsFree GPT-4
[Free GPT-4]
[PDF] acm.org

Designing critical systems with iterative automated safety analysis

R Wei, Z Jiang, X Guo, H Mei, A Zolotas… - Proceedings of the 59th …, 2022 - dl.acm.org
Safety analysis is an important aspect in Safety-Critical Systems Engineering (SCSE) to
discover design problems that can potentially lead to hazards and eventually, accidents …
Enregistrer Citer Cité 10 fois Autres articles Les 3 versionsFree GPT-4

[CITATION][C] Addressing the shortcomings of commercial-of-the-shelf model-to-model transformations with open-source tools; from SysML to AUTOSAR

H Hoyos Rodriguez, F Siavashi, M Jaskolka, V Pantelic… - 2024 - NA
Enregistrer Citer Autres articles