An approach to generating and verifying complex scripts and procedures

2005 IEEE Computational Systems Bioinformatics Conference, Workshops and Poster Abstracts

Volumn , Issue , 2005, Pages 305-313

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

^a NASA GODDARD SPACE FLIGHT CENTER   (United States)

^b State University   (United States)

^c SCIENCE APPLICATIONS INTERNATIONAL CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER GRAPHICS; COMPUTER SCIENCE; PROBLEM SOLVING; REQUIREMENTS ENGINEERING;

BIOINFORMATICS; CODE GENERATION; COMPLEX SCRIPTS; SYSTEM REQUIREMENTS;

LARGE SCALE SYSTEMS;

EID: 33749041079     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSBW.2005.21     Document Type: Conference Paper

References (41)

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. Failures-Divergences Refinement: User Manual and Tutorial. Formal Systems (Europe), Ltd., 1999.
4. Report on the Loss of the Mars Polar Lander and Deep Space 2. Report by the JPL Special Review Board, Pasadena, California, USA, March 2000.
5. J. P. Bowen and M. G. Hinchey. Formal methods and safety-critical standards. IEEE Computer, 27(8):68-71, Aug. 1994.
6. F. P. Brooks, Jr. No silver bullet: Essence and accidents of software engineering. IEEE Computer, 20(4): 10-19, April 1987.
7. 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.
8. B. Chapman and J. Chang. Biopython: Python tools for computational biology. SIGBIO Newsl., 20(2):15-19, 2000.
9. J. Cohen. Bioinformatics-an introduction for computer scientists. ACM Comput. Surv., 36(2):122-158, 2004.
10. J. Gosling, B. Joy, G. Steele, and G. Bracha. Java™ Language Specification. Addison Wesley, Boston, second edition, 2000.
11. 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.
12. M. G. Hinchey and S. A. Jarvis. Concurrent Systems: Formal Development in CSP. International Series in Software Engineering. McGraw-Hill International, London, UK, 1995.
13. M. G. Hinchey, J. L. Rash, and C. A. Rouff. A formal approach to requirements-based programming. In Proc. IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2005). IEEE Computer Society Press, Los Alamitos, Calif., 3-8 April 2005.
14. M. G. Hinchey, J. L. Rash, and C. A. Rouff. Towards an automated development methodology for dependable systems with application to sensor networks. In Proc. IEEE Workshop on Information Assurance in Wireless Sensor Networks (WSNIA 2005), Proc. International Performance Computing and Communications Conference (IPCCC-05), Phoenix, Arizona, 7-9 April 2005. IEEE Computer Society Press, Los Alamitos, Calif.
15. M. G. Hinchey, J. L. Rash, W. F. Truszkowski, C. A. Rouff, and R. Sterritt. You can't get there from here! Problems and potential solutions in developing new classes of complex systems. In Proc. Eighth International Conference on Integrated Design and Process Technology (IDPT), Beijing, China, 13-17 June 2005. The Society for Design and Process Science.
16. C. A. R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666-677, 1978.
17. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall International Series in Computer Science. Prentice Hall International, Englewood Cliffs, NJ, 1985.
18. F. Houston. What do the simple folk do?: Software safety in the cottage industry. In Proc. IEEE Computers in Medicine Conference, 1985.
19. S. T. Huang. A distributed deadlock detection algorithm for CSP-like communication. ACM Transactions on Programming Languages and Systems, 12(1): 102-122, 1990.
20. M. Kaufmann and Panagiotis Manolios and J Strother Moore. Computer-Aided Reasoning: An Approach. Advances in Formal Methods Series. Kluwer Academic Publishers, Boston, 2000.
21. D. E. Krane and M. L. Raymer. Fundamental Concepts of Bioinformatics. Benjamin Cummings, San Francisco, 2003.
22. S. A. Krawetz and D. D. Womble. Introduction to Bioinformatics: Theoretical and Practical Approach. Humana Press, Totowa, New Jersey, 2003.
23. D. Lea. Concurrent Programming in Java™ : Design Principles and Patterns. The Java™ Series. Addison-Wesley Professional, Reading, Massachusetts, second edition, 2000.
24. A. M. Lesk. Introduction to Bioinformatics. Oxford University Press, Oxford, UK, 2002.
25. N. Leveson and C. S. Turner. An investigation of the Therac-25 accidents. IEEE Computer, 26(7): 18-41, July 1993.
26. J. L. Lyons. Ariane 5: Flight 501 failure, report by the inquiry board, 19 July 1996.
27. 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, 1995.
28. J. L. Rash, M. G. Hinchey, C. A. Rouff, and D. Gračanin. Formal requirements-based programming for complex systems. In Proc. International Conference on Engineering of Complex Computer Systems, Shanghai, China, 16-20 June 2005. IEEE Computer Society Press, Los Alamitos, Calif.
29. J. L. Rash, M. G. Hinchey, C. A. Rouff, D. Gračanin, and J. D. Erickson. Experiences with a requirements-based programming approach to the development of a NASA autonomous ground control system. In Proc. IEEE Workshop on Engineering of Autonomic Systems (EASe 2005) held at the IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2005). IEEE Computer Society Press, Los Alamitos, Calif., 3-8 April 2005.
30. J. A. Rawlinson. Report on the Therac-25. In OCTRF/OCI Physicists Meeting, Kingston, Ont., Canada, 7 May 1987.
31. A. W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, Hemel Hempstead, UK, 1997.
32. S.Schneider. Concurrent and Real-time Systems: The CSP Approach. Wiley, London, 1999.
33. S. Schneider, J. Davies, D. M. Jackson, G. M. Reed, J. Reed, and A. W. Roscoe. Timed CSP: Theory and practice. In Proc. REX, Real-Time: Theory in Practice Workshop, volume 600 of LNCS, pages 640-675. Springer-Verlag, 3-7 June 1991.
34. 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.
35. J. Stajich and E. Birney. The Bioperl project: motivation and usage. SIGBIO Newsl., 20(2):13-14, 2000.
36. 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), pages 406-414, Greenbelt, MD, April 2005.
37. U.S. Department of Health and Human Services, Food and Drug Administration. General principles of software validation; final guidance for industry and FDA staff, 11 Jan. 2002.
38. P. van Heusdan. Applying software validation techniques to Bioperl. In 2004 Bioinformatics Open Source Conference, Glasgow, UK, 29-30 July 2004. Abstract.
39. K. Walrath, M. Campione, A. Huml, and S. Zakhour. JFC Swing Tutorial, The: A Guide to Constructing GUIs. Addison Wesley, Boston, second edition, 2004.
40. 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.
41. P. H. Welch and J. M. R. Martin. A CSP model for Java multithreading. In Proc. International Symposium on Software Engineering for Parallel and Distributed Systems, pages 114-122, University of Limerick, Ireland, 10-11 June 2000.