Experiences with a requirements-based programming approach to the development of a NASA autonomous ground control system

Proceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005

Volumn , Issue , 2005, Pages 490-497

  Rash, James L ^a   Hinchey, Michael G ^a   Gračanin, Denis ^b   Rouff, Christopher A ^c   Erickson, John ^d  

^a NASA GODDARD SPACE FLIGHT CENTER   (United States)

^b State University   (United States)

^c SCIENCE APPLICATIONS INTERNATIONAL CORPORATION   (United States)

^d University of Texas at Austin   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

REQUIREMENT-TO-DESIGN-TO-CODE (R2D2C); SYSTEM DEVELOPMENT;

CODES (SYMBOLS); SYSTEMS ENGINEERING;

CONTROL SYSTEMS;

EID: 28344449073     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)

1. ANTLR: ANother Tool for Language Recognition. http.//www.antlr.org/.
2. Communicating sequential processes for Java (JCSP). http://www.cs.kent. ac.uk/projects/ofa/jcsp/.
3. F. L. Bauer. A trend for the next ten years of software engineering. In H. Freeman and P. M. Lewis, editors. Software Engineering, pages 1-23, Academic Press, 1980.
4. J. P. Bowen and M. G. Hinchey, Seven more myths of formal methods. IEEE Software, 12(4):34-41, 1995.
5. J. C. Giarratano. CLIPS User's Guide. NASA Johnson Space Center, Houston, Texas, 1992.
6. J. Gosling, B. Joy, G. Steele, and G. Bracha. Java™ Language Specification. Addison Wesley, Boston, second edition, 2000.
7. D. Harel. From play-in scenarios to code: An achievable dream. IEEE Computer, 34(1):53-60, 2001.
8. D. Harel. Comments made during presentation at "Formal Approaches to Complex Software Systems" panel session. ISoLA-04 First International Conference on Leveraging Applications of Formal Methods. Paphos, Cyprus. 31 October 2004.
9. M. G. Hinchey and S. A. Jarvis. Concurrent Systems: Formal Development in CSP. International Series in Software Engineering. McGiaw-Hill International, London, UK, and New York, NY, 1995.
10. M. G. Hinchey, J. L. Rash, and C. A. Rouff. Requirements to design to code: Towards a fully formal approach to automatic code generation. Technical Report TM-2005-212774, NASA Goddard Space Flight Center, Greenbelt, MD, 2004.
11. M. G. Hinchey, J. L. Rash, and C. A. Rouff. A formal approach to requirements-based programming. In Proc. 12th IEEE International Conference on Engineering of Computer Based Systems, Greenbelt, Maryland, 4-7 April 2005.
12. M. G. Hinchey, J. L. Rash, and C. A. Rouff. Towards an automated development methodology for dependable systems with application to sensor networks. In Workshop on Information Assurance in Wireless Sensor Networks (WS-NIA2005). Proc. 24th IEEE International Performance Computing and Communications Conference (IPCCC 2005), Phoenix, AZ, 7-9 April 2005. IEEE Computer Society Press.
13. C. A. R. Hoare. Communicating sequential processes. Communications of the ACM. 21(8):666-677, 1978.
14. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall International Series in Computer Science. Prentice Hall International, Englewood Cliffs, NJ, and Hemel Hempstead, UK, 1985.
15. A. Kleppe, J. Warmer, and W. Bast. MDA Explained: The Model Driven Architecture: Practice and Promise. Addison-Wesley, Boston, 2003.
16. D. Lea. Concurrent Programming in Java™: Design Principles and Patterns. The Java™ Series. Addison-Wesley Professional, Reading, Massachusetts, second edition, 2000.
17. C. A. Rouff, J. L. Rash, and M. G. Hinchey. Experience using formal methods for specifying a multi-agent system. In Proc. Sixth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2000), Tokyo, Japan, 2000. IEEE Computer Society Press.
18. C. A. Rouff, W. F. Truszkowski, M. G. Hinchey, and J. L. Rash. Verification of emergent behaviors in swarm based systems. In Proc. 11th IEEE International Conference on Engineering Computer-Based Systems (ECBS), Workshop on Engineering Autonomic Systems (EASe), pages 443-448, Brno, Czech Republic, May 2004. IEEE Computer Society Press.
19. Y. Smaragdakis, S. S. Huang, and D. Zook. Program generators and the tools to make them. In PEPM '04: Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, pages 92-100. ACM Press, 2004.
20. R. Sterritt and M. G. Hinchey. Why computer based systems Should be autonomic. In Proc. 12th IEEE International Conference on Engineering of Computer Based Systems (ECBS 2005), Greenbelt, MD, 4-5 April 2005.
21. W. F. Truszkowski, M. G. Hinchey, J. L. Rash, and C. A. Rouff. Autonomous and autonomic systems: A paradigm for future space exploration missions. IEEE Transactions on Systems, Man and Cybernetics, Part C, 2006 (to appear).
22. W. F. Truszkowski, J. L. Rash, C. A. Rouff, and M. G. Hinchey. Some autonomic properties of two legacy multi-agent systems - LOGOS and ACT. In Proc. 11th IEEE International Conference on Engineering Computer-Based Systems (ECBS), Workshop on Engineering Autonomic Systems (EASe), pages 490-498, Brno, Czech Republic, 24-27 May 2004. IEEE Computer Society Press.
23. K. Walrath, M. Campione, A. Huml, and S. Zakhour. JFC Swing Tutorial, The: A Guide to Constructing GUIs. Addison Wesley, Boston, second edition, 2004.
24. P. H. Welch, J. R. Aldous, and J. Foster. CSP networking for Java (JCSP.net). In Proceedings of the Global and Collaborative Computing Workshop (ICCS 2002), volume 2330 of Lecture Notes in Computer Science, pages 695-708. Springer-Verlag, 2002.