所述MobSTr数据集：沫del-乙ASED小号afety保证和Tr aceability 由。 该存储库包含基于的MobSTr数据集的工件，例如需求和体系结构模型。 MobSTr数据集提供了许多工件和可追溯性链接，可用于演示基于模型的安全保证和可追溯性。 WATERS FMTV 2019挑战是一项工业案例研究，被用作第十届嵌入式和实时系统分析工具和方法国际研讨会（WATERS）的一部分。它最初是由公司研究Robert Bosch GmbH和IgnacioSañudo，Nicola Capod