Towards an automated development methodology for dependable systems with application to sensor networks

Conference Proceedings of the IEEE International Performance, Computing, and Communications Conference

Volumn , Issue , 2005, Pages 445-451

  Hinchey, Michael G ^a   Rash, James L ^a   Rouff, Christopher A ^b  

^a NASA GODDARD SPACE FLIGHT CENTER   (United States)

^b SCIENCE APPLICATIONS INTERNATIONAL CORPORATION   (United States)

Author keywords

Automatic code generation; Formal methods; Sensor networks; Validation; Verification

Indexed keywords

AUTOMATIC CODE GENERATION; FORMAL METHODS; SENSOR NETWORKS; VALIDATION; VERIFICATION;

CUSTOMER SATISFACTION; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; NATURAL LANGUAGE PROCESSING SYSTEMS; SENSORS; SYSTEMS ENGINEERING;

COMPUTER NETWORKS;

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

References (23)

1. 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.
2. J. P. Bowen and M. G. Hinchey. Seven more myths of formal methods. IEEE Software, 12(4):34-41, 1995.
3. M. J. Butler. csp2B: A Practical Approach To Combining CSP and B. Declarative Systems and Software Engineering Group, Department of Electronics and Computer Science, University of Southampton, February 1999.
4. S. A. Curtis, J. Mica, J. Nuth, G. Marr, M. Rilee, and M. Bhat. ANTS (autonomous nano-technology swarm): An artificial intelligence approach to asteroid belt resource exploration. In Proc. Int'l Astronomical Federation, 51st Congress, October 2000.
5. Formal Systems (Europe), Ltd. Failures-Divergences Refinement: User Manual and Tutorial, 1999.
6. J. A. Hall. Seven myths of formal methods. IEEE Software, 7(5):11-19, 1990.
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. lSoLA-04 First International Conference on Leveraging Applications of Formal Methods, Paphos, Cyprus. 31 October 2004.
9. D. Harel and R. Marelly. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer-Verlag, 2003.
10. M. Hinchey, J. Rash, and C. Rouff. Verification and validation of autonomous systems. In Proc. SEW-26, 26th Annual NASA/IEEE Software Engineering Workshop, pages 136-144, Greenbelt, MD, November 2001. NASA Goddard Space Flight Center, IEEE Computer Society Press.
11. M. G. Hinchey and J. P. Bowen, editors. Applications of Formal Methods. Series in Computer Science. Prentice Hall International, Englewood Cliffs, NJ, and Hemel Hempstead, UK, 1995.
12. M. G. Hinchey and J. P. Bowen, editors. Industrial-Strength Formal Methods in Practice. FACIT Series. Springer-Verlag, London, UK, 1999.
13. M. G. Hinchey and S. A. Jarvis. Concurrent Systems: Formal Development in CSP. International Series in Software Engineering. McGraw-Hill International, London, UK, and New York, NY, 1995.
14. 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.
15. C. A. R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666-677, 1978.
16. 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.
17. M. Kaufmann, P. Manolios, and J. S. Moore. Computer-Aided Reasoning: An Approach. Advances in Formal Methods Series. Kluwer Academic Publishers, Boston, 2000.
18. D. L. Parnas. Using mathematical models in the inspection of critical software. In Applications of Formal Methods, International Series in Computer Science, pages 17-31. Prentice Hall, Englewood Cliffs, NJ, and Hemel Hempstead, UK, 1995.
19. J. L. Rash, M. G. Hinchey, C. A. Rouff, D. Gracanin, and J. D. Erickson. Experiences with a requirements-based programming approach to the development of a NASA autonomous ground control system. In EASe, 2nd IEEE Workshop on Engineering of Autonomic Systems, Proc. ECBS 2005, 12th IEEE International Conference on Engineering of Computer-Based Systems, Greenbelt, MD, 4-7 April 2005.
20. C. Rouff, J. Rash, and M. 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.
21. W. Truszkowski, J. Rash, C. Rouff, and M. 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, May 24-27 2004. IEEE Computer Society Press.
22. W. F. Truszkowski, M. G. Hinchey, J. L. Rash, and C. A. Rouff. Autonomous and autonomie systems: A paradigm for future space exploration missions. IEEE Transactions on Systems, Man and Cybernetics, Part C, 2006 (to appear).
23. J. Whittle, J. Saboo, and R. Kwan. From scenarios to code: An air traffic control case study. In Proc. ICSE-25, 25th IEEE/ACM International Conference on Software Engineering, pages 490-495, Portland, Oregon, 2003. IEEE Computer Society Press.