Practical application of model-based programming and state-based architecture to space missions

被引:0
|
作者
Horvath, Gregory [1 ]
Ingham, Michel [1 ]
Chung, Seung [2 ]
Martin, Oliver [2 ]
Williams, Brian [2 ]
机构
[1] CALTECH, Jet Prop Lab, 4800 Oak Grove Dr, Pasadena, CA 91109 USA
[2] CSAIL, MIT, Cambridge, MA USA
关键词
D O I
暂无
中图分类号
V [航空、航天];
学科分类号
08 ; 0825 ;
摘要
Innovative systems and software engineering solutions are required to meet the increasingly challenging demands of deep-space robotic missions. While recent advances in the development of integrated systems and software engineering approaches have begun to address some of these issues, these methods are still at the core highly manual and, therefore, error-prone. This paper describes a task aimed at infusing MIT's model-based executive, Titan, into JPL's Mission Data System (MDS), a unified state-based architecture, systems engineering process, and supporting software framework. Results of the task are presented, including a discussion of the benefits and challenges associated with integrating mature model-based programming techniques and technologies into a rigorously-defined domain specific architecture.
引用
收藏
页码:80 / +
页数:2
相关论文
共 50 条
  • [1] A reusable state-based guidance, navigation and control architecture for planetary missions
    Krasner, SM
    [J]. 2000 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOL 7, 2000, : 269 - 275
  • [2] Model-based engineering design for space missions
    Wall, SD
    [J]. 2004 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOLS 1-6, 2004, : 3907 - 3915
  • [3] Model-based autonomy in deep space missions
    Watson, DP
    [J]. IEEE INTELLIGENT SYSTEMS, 2003, 18 (03) : 8 - 11
  • [4] State-Based Models in Model-Based Testing: A Systematic Review
    Sabbaghi, Arash
    Keyvanpour, Mohammad Reza
    [J]. 2017 IEEE 4TH INTERNATIONAL CONFERENCE ON KNOWLEDGE-BASED ENGINEERING AND INNOVATION (KBEI), 2017, : 942 - 948
  • [5] Assurance of Model-Based Autonomy for Robotic Space Missions
    Feather, Martin S.
    Cornford, Steven L.
    Havelund, Klaus
    [J]. 2022 68TH ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM (RAMS 2022), 2022,
  • [6] A state-based programming model and system for wireless sensor networks
    Bischoff, Urs
    Kortuem, Gerd
    [J]. FIFTH ANNUAL IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS WORKSHOPS, PROCEEDINGS, 2007, : 261 - +
  • [7] A Software Architecture for Model-Based Programming of Robot Systems
    Geisinger, Michael
    Barner, Simon
    Wojtczyk, Martin
    Knoll, Alois
    [J]. ADVANCES IN ROBOTICS RESEARCH, 2009, : 135 - 146
  • [8] A State-based Probabilistic Risk Assessment Framework for Multi-system Space Missions
    Roy, Sonali Sinha
    Guariniello, Cesare
    DeLaurentis, Daniel A.
    [J]. 2024 IEEE AEROSPACE CONFERENCE, 2024,
  • [9] Model-based trade space exploration for near-earth space missions
    Cohen, Ronald
    Boncyk, Wayne
    Brutocao, James
    Beveridge, Iain
    [J]. 2005 IEEE Aerospace Conference, Vols 1-4, 2005, : 4258 - 4267
  • [10] Efficient State Space Exploration: Interleaving Stateless and State-based Model Checking
    Ganai, Malay K.
    Wang, Chao
    Li, Weihong
    [J]. 2010 IEEE AND ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2010, : 786 - 793