Prototyping a Domain-Specific Language for Monitor and Control Systems

被引:2
|
作者
Bennett, Matthew [1 ]
Borgen, Richard [1 ]
Havelund, Klaus [1 ]
Ingham, Michel [1 ]
Wagner, David [1 ]
机构
[1] CALTECH, Jet Prop Lab, Pasadena, CA 91109 USA
基金
美国国家航空航天局;
关键词
D O I
10.2514/1.40331
中图分类号
V [航空、航天];
学科分类号
08 ; 0825 ;
摘要
This paper describes a domain-specific language prototype developed for the NASA Constellation launch control system project. A key element of the launch control system architecture, the domain-specific language prototype is a specialized monitor and control language composed of constructs for specifying and programming test, checkout, and launch processing applications for flight and ground systems. The principal objectives of the prototyping activity were to perform a proof-of-concept of an approach to ultimately lower the lifecycle costs of application software for the launch control system, and to explore mitigations for a number of development risks perceived by the project. The language has been implemented as a library that extends the dynamically-typed Python scripting language, and validated in a demonstration of capability required for Constellation. A study of the statically typed Scala programming language as an alternative domain-specific language implementation language is also presented.
引用
收藏
页码:338 / 364
页数:27
相关论文
共 50 条
  • [11] Debugging measurement systems using a domain-specific modeling language
    Kosar, Tomaz
    Mernik, Marjan
    Gray, Jeff
    Kos, Tomaz
    COMPUTERS IN INDUSTRY, 2014, 65 (04) : 622 - 635
  • [12] DirectFlow: A domain-specific language for information-flow systems
    Lin, Chuan-Kai
    Black, Andrew P.
    ECOOP 2007 - OBJECT-ORIENTED PROGRAMMING, PROCEEDINGS, 2007, 4609 : 299 - 322
  • [13] On the use of a domain-specific modeling language in the development of multiagent systems
    Challenger, Moharram
    Demirkol, Sebla
    Getir, Sinem
    Mernik, Marjan
    Kardas, Geylani
    Kosar, Tomaz
    ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2014, 28 : 111 - 141
  • [14] A domain-specific visual language for modeling metacognition in intelligent systems
    Caro, Manuel F.
    Josyula, Darsana P.
    Jimenez, Jovani A.
    Kennedy, Catriona M.
    Cox, Michael T.
    BIOLOGICALLY INSPIRED COGNITIVE ARCHITECTURES, 2015, 13 : 75 - 90
  • [15] SmartScript - A Domain-Specific Language for Appliance Control in Smart Grids
    Adolf, Diego
    Ferranti, Ettore
    Koch, Stephan
    2012 IEEE THIRD INTERNATIONAL CONFERENCE ON SMART GRID COMMUNICATIONS (SMARTGRIDCOMM), 2012, : 465 - 470
  • [16] A Domain-Specific Language for Aviation Domain Interoperability
    Comitz, Paul
    2013 INTEGRATED COMMUNICATIONS, NAVIGATION AND SURVEILLANCE CONFERENCE (ICNS), 2013,
  • [17] JAMOOS: A domain-specific language for language processing
    Gil, Joseph Yossi
    Tsoglin, Yuri
    2001, University of Zagreb, Faculty of Political Sciences (09)
  • [18] Prototyping, Domain Specific Language, and Testing
    Yu, Liguo
    ENGINEERING LETTERS, 2008, 16 (01)
  • [19] A domain-specific language to design false data injection tests for air traffic control systems
    Alexandre Vernotte
    Aymeric Cretin
    Bruno Legeard
    Fabien Peureux
    International Journal on Software Tools for Technology Transfer, 2022, 24 : 127 - 158
  • [20] A domain-specific language to design false data injection tests for air traffic control systems
    Vernotte, Alexandre
    Cretin, Aymeric
    Legeard, Bruno
    Peureux, Fabien
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2022, 24 (02) : 127 - 158