Development of a prototype domain-specific language for monitor and control systems

IEEE Aerospace Conference Proceedings

Volumn , Issue , 2008, Pages

  Bennett, Matthew ^a   Borgen, Richard ^a   Havelund, Klaus ^a   Ingham, Michel ^a   Wagner, David ^a  

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION SOFTWARES; DEVELOPMENT RISKS; DOMAIN-SPECIFIC LANGUAGE; GROUND SYSTEMS; LIFE-CYCLE COSTING; MONITOR AND CONTROL; PROCESSING APPLICATIONS; PROOF OF CONCEPTS; PROTOTYPING; SCRIPTING LANGUAGES;

COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; CONTROL SYSTEMS; DSL; FLIGHT CONTROL SYSTEMS; LAUNCHING; LINGUISTICS; MODEMS; NASA; TELECOMMUNICATION LINES;

SOFTWARE PROTOTYPING;

EID: 49349115303     PISSN: 1095323X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/AERO.2008.4526660     Document Type: Conference Paper

References (14)

1. The White House, Office of the President, "A Renewed Spirit of Discovery: The President's Vision for U.S. Space Exploration," Released to accompany the President's NASA FY 2005 Budget, January 2004; URL: http://www.nasa.gov/pdf/555S3rnain_vision_space_exploration2.pdf
2. Constellation Program web site; URL: http://www.nasa.gov/mission_pages/ exploration/m ain/in dex.html
3. T. Mitchell, "A Standard Test Language - GOAL (Ground Operations Aerospace Language)", Proceedings of the 10th Workshop on Design Automation at the Annual ACM IEEE Design Automation Conference, pp. 87-96, 1973.
4. "Data Distribution Service for Real-time Systems, v1.2", Standard published the Object Management Group, Inc., January, 2007; URL: http://www.omg.org/technology/documents/formal/data distribution.htm
5. Python web site; URL: http://python.org
6. K.W. Leucht, G.S. Semmel, "Automated Translation of Safety Critical Application Software Specifications into PLC Ladder Logic", Proceedings of the 2008 IEEE Aerospace Conference, Big Sky, MT, May 2008.
7. Boost web site; URL: http://boost.org
8. Boost.Python web site; URL: http://boost.org/libs/python/doc/index.html
9. J. Harrow, "Runtime Checking of Multithreaded Applications with Visual Threads, SPIN Model Checking and Software Verification", Lecture Notes in Computer Science Vol. 1885, Springer, pp. 331-342, 2000.
10. PyDev web site; URL: http://pydev.sourceforge.net
11. Pylint web site; URL: http://www.logilab.org/857
12. PyChecker web site; URL: http://pychecker.sourceforge.net
13. Coverage web site; URL: http://www.nedbatchelder.com/code/modules/ coverage. html
14. PyUnit web site; URL: http://pyunit.sourceforge.net