General Mode Controller for Software on Artificial Satellite with Model-Based Validation Tool

被引：0
|
作者：
Obata, Toshihiro [1 ]
Inoue, Teiichiro [1 ]
机构：
[1] Mitsubihi Elect Corp Kamakura Works, Kanagawa 2478520, Japan
来源：
MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS | 2008年 / 5301卷
关键词：
Mode controller; embedded system; high quality; flexibility; Simulink Stateflow;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
High quality and flexibility are strongly required for embedded software on artificial satellites. High quality is very important because any single halt is not allowed over 15 years operation period without any significant maintenance. Flexibility is also important to adapt customer requirements which may vary after operation experiences. A quick and reliable way to modify the software functions is required. The model-based approach will contribute to solve this problem. Mitsubishi Electric Corporation, one of the representing artificial satellite suppliers in Japan, is now implementing a General Mode Controller on on-board software of satellites. We noticed functions related to modes and sequences are often required to modify from previous projects. The General Mode Controller can modify them in a reliable way by changing control parameters without modifying Source code. The control parameters are verified by using a model-based tool. Matlab Simulink and Stateflow, to enable quick and low risk modifications.
引用
下载
收藏
页码：889 / 895
页数：7
相关论文
共 50 条
  • [31] Model-based software diagnosis
    Hunt, J
    APPLIED ARTIFICIAL INTELLIGENCE, 1998, 12 (04) : 289 - 308
  • [32] 3 MUSSAT – A TOOL FOR MODEL-BASED SYSTEM ENGINEERING OF COMMERCIAL SATELLITE SYSTEMS
    Wilke, M.
    Quirmbach, O.
    Negele, H.
    Fricke, E.
    Igenbergs, E.
    INCOSE International Symposium, 1999, 9 (01): : 181 - 189
  • [33] A general model validation and testing tool
    Vanslette, Kevin
    Tohme, Tony
    Youcef-Toumi, Kamal
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 2020, 195
  • [34] Differential-geometric model-based control (DGMBC): A software package for controller design
    Panjapornpon, Chanin
    Soroush, Masoud
    Seider, Warren D.
    COMPUTERS & CHEMICAL ENGINEERING, 2008, 32 (07) : 1569 - 1588
  • [35] A software tool-set for the application of model-based diagnosis in power engineering
    Davidson, E
    McArthur, SDJ
    McDonald, JR
    APPLICATIONS AND INNOVATIONS IN INTELLIGENT SYSTEMS X, 2003, : 77 - 90
  • [36] An Automated Software Verification Tool for Model-based Development of Embedded Systems with Simulink®
    Boercsoek, Josef
    Chaaban, Walid
    Schwarz, Michael
    Sheng, Huiyun
    Sheleh, Oleksandr
    Batchuluun, Batsuren
    2009 XXII INTERNATIONAL SYMPOSIUM ON INFORMATION, COMMUNICATION AND AUTOMATION TECHNOLOGIES, 2009, : 45 - 50
  • [37] CFD for model-based controller development
    Desta, TZ
    Janssens, K
    Van Brecht, A
    Meyers, J
    Baelmans, M
    Berckmans, D
    BUILDING AND ENVIRONMENT, 2004, 39 (06) : 621 - 633
  • [38] Building a model-based fuzzy controller
    Postlethwaite, BE
    FUZZY SETS AND SYSTEMS, 1996, 79 (01) : 3 - 13
  • [39] A MULTIRATE MODEL-BASED PREDICTIVE CONTROLLER
    SCATTOLINI, R
    SCHIAVONI, N
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1995, 40 (06) : 1093 - 1097
  • [40] Model-based controller for anesthesia automation
    Albino Mendez, J.
    Torres, Santiago
    Reboso, Jose A.
    Reboso, Hector
    2009 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING, 2009, : 379 - +
12345