Safety SysML: An Executable Safety-Critical Avionics Requirement Modeling Language.

Huiyu Liu Jing Liu Wei Yin Haiying Sun Chenchen Yang

Published in: QRS (2022)

Keyphrases

modeling language
safety critical
formal methods
safety analysis
nuclear power plant
metamodel
fault tolerant
formal specification
agent architecture
embedded systems
support systems
adaptive systems
machine learning
artificial intelligence