改进确认、验证、事故调查和 基于自取证的飞行关键系统事件重构

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

摘要翻译：
本文引入了一个新的自取证概念，以补充自管理系统的标准自主自斩特性，并用法医清晰语言加以说明。本文认为，自取证是将取证从网络犯罪领域中剥离出来的，它适用于“自我解剖”，目的是验证飞行关键系统的自主软硬件系统，以便工程团队在设计和测试过程中的各种事件场景以及实际飞行数据中进行自动事件和异常分析和事件重构。“自解剖”是为了验证飞行关键系统的自主软、硬件系统的自主软、硬件系统的自主软、硬件系统的自主软、硬件系统的自主软、硬件系统的自主软、硬件系统的自主软、硬件系统的自主软、硬件系统的自主软、硬件系统的自主软、硬件系统的自主软、硬件系统的自主软、硬件系统的自主软、硬件系统。
---
英文标题：
《Towards Improving Validation, Verification, Crash Investigations, and
  Event Reconstruction of Flight-Critical Systems with Self-Forensics》
---
作者：
Serguei A. Mokhov
---
最新提交年份：
2009
---
分类信息：

一级分类：Computer Science        计算机科学
二级分类：Software Engineering        软件工程
分类描述：Covers design tools, software metrics, testing and debugging, programming environments, etc. Roughly includes material in all of ACM Subject Classes D.2, except that D.2.4 (program verification) should probably have Logics in Computer Science as the primary subject area.
涵盖设计工具、软件度量、测试和调试、编程环境等。大致包括ACM所有主题课程D.2的材料，除了D.2.4（程序验证）可能应该有计算机科学中的逻辑作为主要主题领域。
--
一级分类：Computer Science        计算机科学
二级分类：Artificial Intelligence        人工智能
分类描述：Covers all areas of AI except Vision, Robotics, Machine Learning, Multiagent Systems, and Computation and Language (Natural Language Processing), which have separate subject areas. In particular, includes Expert Systems, Theorem Proving (although this may overlap with Logic in Computer Science), Knowledge Representation, Planning, and Uncertainty in AI. Roughly includes material in ACM Subject Classes I.2.0, I.2.1, I.2.3, I.2.4, I.2.8, and I.2.11.
涵盖了人工智能的所有领域，除了视觉、机器人、机器学习、多智能体系统以及计算和语言（自然语言处理），这些领域有独立的学科领域。特别地，包括专家系统，定理证明（尽管这可能与计算机科学中的逻辑重叠），知识表示，规划，和人工智能中的不确定性。大致包括ACM学科类I.2.0、I.2.1、I.2.3、I.2.4、I.2.8和I.2.11中的材料。
--

---
英文摘要：
  This paper introduces a novel concept of self-forensics to complement the standard autonomic self-CHOP properties of the self-managed systems, to be specified in the Forensic Lucid language. We argue that self-forensics, with the forensics taken out of the cybercrime domain, is applicable to "self-dissection" for the purpose of verification of autonomous software and hardware systems of flight-critical systems for automated incident and anomaly analysis and event reconstruction by the engineering teams in a variety of incident scenarios during design and testing as well as actual flight data.
---
PDF链接：
https://arxiv.org/pdf/0906.1845

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏0 回帖

关键词：Verification Construction Intelligence Environments Presentation 验证 犯罪 飞行 Validation flight