并发实时系统基于场景软件规范的拓扑形式化处理
软件工程
2008-02-05 v1 计算机科学中的逻辑
摘要
实时系统是指满足其需求对其正确性至关重要的计算系统。因此，如果对这些系统的实时需求理解和验证不足，可能会导致灾难性后果，并在开发早期阶段导致无法挽回的项目失败。本工作致力于在并发实时系统的需求规范阶段早期检测死锁情况，提出了一种简单的概念验证原型，该原型结合了基于场景的需求规范与基于拓扑的技术。工作重点在于将消息序列图 (Message Sequence Chart) 场景的形式化表示集成到 Fajstrup 等人基于几何与代数拓扑的死锁检测算法中。
引用
@article{arxiv.0802.0212,
title = {A topological formal treatment for scenario-based software specification of concurrent real-time systems},
author = {Miriam C. B. Alves and Christine C. Dantas and Nanci N. Arai and Rovedy B. da Silva},
journal= {arXiv preprint arXiv:0802.0212},
year = {2008}
}
备注
20th International Conference on Software and Systems Engineering and their Applications, Conservatoire des Arts & Metiers, Paris, France, 4-6 December 2007