面向飞行关键系统的验证、确认、事故调查与事件重建改进：自取证方法
软件工程
2009-06-11 v1 人工智能
摘要
本文引入了一种新颖的自取证概念，以补充自管理系统的标准自主自CHOP属性，该概念将在Forensic Lucid语言中指定。我们认为，自取证（将取证从网络犯罪领域剥离出来）适用于“自我剖析”，目的是为了验证飞行关键系统的自主软硬件系统，以便工程团队在设计和测试以及实际飞行数据中的各种事故场景中进行自动化事件和异常分析以及事件重建。
引用
@article{arxiv.0906.1845,
title = {Towards Improving Validation, Verification, Crash Investigations, and Event Reconstruction of Flight-Critical Systems with Self-Forensics},
author = {Serguei A. Mokhov},
journal= {arXiv preprint arXiv:0906.1845},
year = {2009}
}
备注
10 pages; a white discussion paper submitted in response to NASA's RFI NNH09ZEA001L at http://prod.nais.nasa.gov/cgi-bin/eps/synopsis.cgi?acqid=134490