包丹珠
- 作品数：4 被引量：5H指数：1
- 供职机构：华东师范大学计算机科学与软件工程学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于UPPAAL的实时嵌入式系统构件间协同行为的验证方法
- 本发明公开了一种基于UPPAAL的实时嵌入式系统构件间协同行为的验证方法，该方法是:将对实时嵌入式系统建模形成的MARTE模型转化为工具UPPAAL能够验证的时间自动机，然后使用UPPAAL工具对时间自动机验证，并得出验...
- 杜德慧温岩冯曙光包丹珠徐亚祎杜丽
- 基于UPPAAL的实时嵌入式系统构件间协同行为的验证方法
- 本发明公开了一种基于UPPAAL的实时嵌入式系统构件间协同行为的验证方法，该方法是：将对实时嵌入式系统建模形成的MARTE模型转化为工具UPPAAL能够验证的时间自动机，然后使用UPPAAL工具对时间自动机验证，并得出验...
- 杜德慧温岩冯曙光包丹珠徐亚祎杜丽
- 文献传递
- 一种面向列车车载控制软件的需求分析方法被引量：4
- 2017年
- 由于缺少面向列车车载控制软件的需求分析工具,需求分析人员难以自动分析出预期数据。针对该问题,提出基于模型抽取的需求分析方法,设计控制软件需求分析工具。通过抽取需求描述文档中的需求条目建立可执行模型,使用数据流方法对其进行分析,得到变量影响关系图和状态迁移图,利用动态分析获得以需求描述文档为依据的预期输出数据,并将其与软件的真实运行输出数据进行对比,生成控制软件的可视化分析报告。实验结果表明,该方法可以帮助需求分析人员快速发现软件实现错误,为列车安全运行提供保障。
- 王秀超缪炜恺王以松包丹珠杨静
- 关键词：抽象语法树数据流分析
- 轨道交通系统需求分析与一致性测试
- 列车自动防护系统(Automatic Train Protection, ATP)是轨道交通领域的列车运行控制系统,该系统对安全性和可靠性的要求非常严格。然而目前,在该领域,对这些性质的验证是通过一些零散的手工测试的方法...
- 包丹珠
- 关键词：ATP测试用例生成
- 文献传递
