Forensic Study of the Curiosity Flight Software Anomalies

被引:0
|
作者
Morillo, Ron [1 ]
Lai, John [1 ]
Meshkat, Leila [1 ]
机构
[1] CALTECH, Jet Prop Lab, Pasadena, CA 91125 USA
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
引用
收藏
页码:106 / 106
页数:1
相关论文
共 50 条
  • [21] Aggressive Quadrotor Flight Using Curiosity-Driven Reinforcement Learning
    Sun, Qiyu
    Fang, Jinbao
    Zheng, Wei Xing
    Tang, Yang
    IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, 2022, 69 (12) : 13838 - 13848
  • [22] Analytic verification of flight software
    Lowry, Michael
    Dvorak, Daniel
    IEEE expert, 1998, 13 (05): : 45 - 49
  • [23] FLIGHT SOFTWARE DEVELOPMENT LABORATORY
    WITZEL, T
    HUGHES, J
    IEEE COMPUTER GROUP NEWS, 1969, 2 (09): : 7 - &
  • [24] Analytic verification of flight software
    Lowry, M
    Dvorak, D
    IEEE INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1998, 13 (05): : 45 - 49
  • [25] Forensic software engineering: are software failures symptomatic of systemic problems?
    Johnson, C
    SAFETY SCIENCE, 2002, 40 (09) : 835 - 847
  • [26] EDUCATIONAL COMPUTER SOFTWARE FOR FORENSIC ANTHROPOLOGY
    KOHN, LAP
    BENNETT, KA
    MAPLES, WR
    AMERICAN JOURNAL OF PHYSICAL ANTHROPOLOGY, 1988, 75 (02) : 232 - 233
  • [27] DevOps for Spacecraft Flight Software
    Heistand, Christopher
    Thomas, Justin
    Tzeng, Nigel
    Badger, Andrew R.
    Rodriguez, Luis M.
    Dalton, Aaron
    Pai, Jesse
    Bodzas, Austin
    Thompson, Derik
    2019 IEEE AEROSPACE CONFERENCE, 2019,
  • [28] Fingerprint identification software for forensic applications
    Abu-Faraj, Z
    Atie, A
    Chebaklo, K
    Khoukaz, E
    ICECS 2000: 7TH IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS & SYSTEMS, VOLS I AND II, 2000, : 299 - 302
  • [29] A core flight software system
    Wilmot, J
    2005 International Conference on Hardware/Software Codesign and System Synthesis, 2005, : 13 - 14
  • [30] Remote Desktop Software as a forensic resource
    Manson, Jonathan
    Journal of Cyber Security Technology, 2022, 6 (1-2) : 1 - 26