|
[1]
|
Supporting model-based safety analysis for safety-critical IoT systems
Journal of Computer Languages,
2024
DOI:10.1016/j.cola.2023.101243
|
|
|
|
|
[2]
|
CHESSIoT: A model-driven approach for engineering multi-layered IoT systems
Journal of Computer Languages,
2024
DOI:10.1016/j.cola.2023.101254
|
|
|
|
|
[3]
|
Proceedings of the UNIfied Conference of DAMAS, IncoME and TEPEN Conferences (UNIfied 2023)
Mechanisms and Machine Science,
2024
DOI:10.1007/978-3-031-49421-5_79
|
|
|
|
|
[4]
|
From Corrective to Predictive Maintenance—A Review of Maintenance Approaches for the Power Industry
Sensors,
2023
DOI:10.3390/s23135970
|
|
|
|
|
[5]
|
SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems
Connection Science,
2022
DOI:10.1080/09540091.2021.2017853
|
|
|
|
|
[6]
|
Safety SysML: An Executable Safety-Critical Avionics Requirement Modeling Language
2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS),
2022
DOI:10.1109/QRS57517.2022.00047
|
|
|
|
|
[7]
|
SysML Flow Model
2022 29th Asia-Pacific Software Engineering Conference (APSEC),
2022
DOI:10.1109/APSEC57359.2022.00028
|
|
|
|
|
[8]
|
Reliability and Physics‐of‐Healthy in Mechatronics
2022
DOI:10.1002/9781394186068.ch3
|
|
|
|
|
[9]
|
SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems
Connection Science,
2022
DOI:10.1080/09540091.2021.2017853
|
|
|
|
|
[10]
|
SysML Flow Model
2022 29th Asia-Pacific Software Engineering Conference (APSEC),
2022
DOI:10.1109/APSEC57359.2022.00028
|
|
|
|
|
[11]
|
Safety SysML: An Executable Safety-Critical Avionics Requirement Modeling Language
2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS),
2022
DOI:10.1109/QRS57517.2022.00047
|
|
|
|
|
[12]
|
SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems
Connection Science,
2022
DOI:10.1080/09540091.2021.2017853
|
|
|
|
|
[13]
|
A framework for Model-Driven Engineering of resilient software-controlled systems
Computing,
2021
DOI:10.1007/s00607-020-00841-6
|
|
|
|
|
[14]
|
Integrating the analysis of multiple non-functional properties in model-driven engineering
Software and Systems Modeling,
2021
DOI:10.1007/s10270-021-00953-3
|
|
|
|
|
[15]
|
Model-based safety assessment with SysML and component fault trees: application and lessons learned
Software and Systems Modeling,
2020
DOI:10.1007/s10270-020-00782-w
|
|
|
|
|
[16]
|
Multiclock Constraint System Modelling and Verification for Ensuring Cooperative Autonomous Driving Safety
Journal of Advanced Transportation,
2020
DOI:10.1155/2020/8830752
|
|
|
|
|
[17]
|
A Software Fault Tree Analysis Technique for Formal Requirement Specifications of Nuclear Reactor Protection Systems
Reliability Engineering & System Safety,
2020
DOI:10.1016/j.ress.2020.107064
|
|
|
|
|
[18]
|
FLA2FT: Automatic Generation of Fault Tree from ConcertoFLA Results
2018 3rd International Conference on System Reliability and Safety (ICSRS),
2018
DOI:10.1109/ICSRS.2018.8688825
|
|
|
|