文件名称：mobstr-dataset:MobSTr数据集提供了工件，这些工件演示了对安全至关重要的汽车系统的基于模型的安全保证和可追溯性
文件大小：1.52MB
文件格式：ZIP
更新时间：2024-04-07 00:23:52
safety panorama traceability tim eclipse-capra
所述MobSTr数据集：沫del-乙ASED小号afety保证和Tr aceability 由。 该存储库包含基于的MobSTr数据集的工件，例如需求和体系结构模型。 MobSTr数据集提供了许多工件和可追溯性链接，可用于演示基于模型的安全保证和可追溯性。 WATERS FMTV 2019挑战是一项工业案例研究，被用作第十届嵌入式和实时系统分析工具和方法国际研讨会（WATERS）的一部分。它最初是由公司研究Robert Bosch GmbH和IgnacioSañudo，Nicola Capodieci，Paolo Burgio和Marko Bertogna，摩德纳大学和Reggio Emilia共同研究的Arne Hamann，Dakshina Dasari和Falk Wurst共同提出的。 此存储库中的工件基于挑战说明，由，尤其是由。此处包含用于挑战的相应AMALTHEA模型。原始文件