德克萨斯大学阿灵顿分校 发布 SLNET 数据集, 应用在 Simulink模型、安全关键系统 领域

德克萨斯大学阿灵顿分校 本次发布的数据集 SLNET, SLNET是由德克萨斯大学阿灵顿分校计算机科学与工程系创建的一个大型数据集，专门收集第三方Simulink模型，总数达到9117个。该数据集通过自动化方式构建，包含精细的元数据，并且允许重新分发。SLNET的创建旨在支持Simulink模型的实证研究，特别是在汽车、航空航天和医疗保健等安全关键行业中的应用。数据集的创建过程涉及从GitHub和MATLAB Central等平台自动挖掘和分析模型，确保数据集的自我包含性和可重用性。SLNET的应用领域广泛，包括但不限于模型驱动工程、软件库和存储库研究，以及嵌入式和网络物理系统的开发。

查看SLNET

关于 德克萨斯大学阿灵顿分校 , 德克萨斯大学阿灵顿分校（University of Texas at Arlington）是美国德克萨斯州的一所公立研究型大学，成立于1895年。该校在工程、计算机科学、商学和健康科学等领域具有较强的学术实力。

关于 arXiv , arXiv 是一个免费分发服务和开放获取的学术文章档案库，涵盖了物理学、数学、计算机科学、定量生物学、定量金融、统计学、电气工程和系统科学以及经济学等领域。该网站上的材料并未经过 arXiv 的同行评审。