Automated translation of safety critical application software specifications into PLC ladder logic

IEEE Aerospace Conference Proceedings

Volumn , Issue , 2008, Pages

  Leucht, Kurt W ^a   Semmel, Glenn S ^a  

^a KENNEDY SPACE CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATIONS; AUTOMATIC PROGRAMMING; CODES (STANDARDS); CODES (SYMBOLS); COMPUTER SOFTWARE; COMPUTER SOFTWARE MAINTENANCE; LIFE CYCLE; MAINTENANCE; NASA; NETWORK COMPONENTS; PRODUCT DEVELOPMENT; PROJECT MANAGEMENT; SAFETY ENGINEERING; SOFTWARE ENGINEERING; SPACE PLATFORMS; SPECIFICATIONS; TECHNOLOGY;

ABSTRACTION LEVELS; APPLICATION PROGRAMMING; AUTOMATED TRANSLATION; AUTOMATIC APPLICATION; CODE GENERATIONS; CODE QUALITY; DEVELOPMENT TIME; LADDER LOGIC; LIFE-CYCLE COSTING; LOWER MAINTENANCE COSTS; NASA KENNEDY SPACE CENTER; PROBLEM DOMAINS; PROCESSING SYSTEMS; PROGRAMMABLE LOGIC CONTROLLER (PLC); PROTOTYPE SOFTWARE; SAFETY-CRITICAL APPLICATIONS; SOFTWARE DEVELOPMENT; SOFTWARE ENGINEERING COMMUNITY; SOFTWARE ENGINEERS; SOFTWARE TOOLS;

SOFTWARE PROTOTYPING;

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

References (16)

1. President George W. Bush, "President Bush Announces New Vision for Space Exploration Program", Press Release, January 14, 2004. Retrieved September 7, 2007 from the Internet: http://www.whitehouse.gov/news/releases/ 2004/01/20040114-3.html
2. NASA, Constellation Program Office, John F. Connolly, "Constellation Program Overview", Media slideshow, October, 2006. Retrieved September 7, 2007 from the Internet: http://www.nasa.gov/pdf/ 163092main_constellation_program.overview_pdf
3. Terry R. Mitchell, "A standard test language - GOAL (Ground Operations Aerospace Language)", ACM IEEE Design Automation Conference, Proceedings of the 10th workshop on Design automation (DAC'73), June 1973.
4. Tom Stahl and Markus Völter, "Model-Driven Software Development: Technology, Engineering, Management", Chichester, West Sussex, England: Wiley, 2006.
5. Wikipedia, "Domain-specific programming language", Community encyclopedia, August 24, 2007. Retrieved September 7, 2007 from the Internet: http://en.wikipedia.org/wiki/Domain-speific_programming_language
6. Michel Ingham, Matthew Bennett, Richard Borgen, Klaus Havelund, and David Wagner, "Development of a Prototype Domain-Specific Language for Monitor and Control Systems", Proceedings of the 2008 IEEE Aerospace Conference, Big Sky, MT, March 2008.
7. Rockwell Automation, "Rockwell Automation RSTestStand™ Speeds Control System Development and Deployment", Press Release February 19, 2002. Retrieved September 25, 2007 from the Internet: http://www. rockwellsoftware.com/corporate/pressrelease/2002rsteststand.cfm
8. Larry Wall, Tom Christiansen, and Jon Orwant, "Programming Perl, Third Edition", Sebastopol, CA: O'Reilly & Associates, Inc., July 2000.
9. Rockwell Automation, "Logix5000 Controllers Import/Export Reference Manual", Publication 1756-RM084L-EN-P, January 2007. Retrieved September 25, 2007 from the Internet: http://literature.rockwellautomation.oom/idc/groups/ literat ure/documents/rm/1756-rm084-en-p.pdf
10. World Wide Web Consortium, "Extensible Markup Language (XML) 1.1 (Second Edition)", W3C Recommendation, September 29, 2006. Retrieved September 25, 2007 from the Internet: http://www.w3.org/TR/xml11/
11. PLCopen association, Phil Melore, "PLCopen adds independent schemes to IEC 61131-3", PLCopen spec website, September 4, 2007. Retrieved September 7, 2007 from the Internet: http://www.plcopert.org/pages/tc6_xml/ xml_intro/
12. Stephen J. Mellor, Anthony N. Clark, and Takao Futagami, "Model-Driven Development", IEEE Software, Volume 20, Issue 5, Sept.-Oct. 2003 Pages:14 - 18. Retrieved September 25, 2007 from the Internet: http://ieeexplore.ieee.org/iel5/52/27576/01231145.pdf
13. CodeGeneration.net, Jack D. Herrington, "Code Generation: The One Page Guide", Code generation website, 2003. Retrieved September 25, 2007 from the Internet: http://www.codegeneration.net/files/JavaOne_OnePageGuide.vl. pdf
14. Naval Surface Warfare Center, Jeffrey Cohen and Adam Sass, "Machinery Control Systems", NAVY slideshow for NASAKSC, January 31, 2007.
15. IraD. Baxter, Christopher Pidgeon and Michael Mehlich, "DMS®: Program Transformations for Practical Scalable Software Evolution", 26th International Conference on Soflware Engineering (ICSE'04), 2004 pp. 625-634. Retrieved September 7, 2007 from the Internet: http://www.semdesigns.com/ Company/Publications/DMS-for-ICSE2004-reprint.pdf
16. Michael Mehlich and Ira D. Baxter, "Mechanical Tool Support for High Integrity Software Development", Proceedings of Conference on High Integrity Systems '97, 1997, IEEE Press. Retrieved September 7, 2007 from the Internet: http://www.sem.designs.com/Company/Publications/HIS97.pdf