You can't get there from here! Problems and some potential solutions in developing new classes of complex systems

Journal of Integrated Design and Process Science

Volumn 9, Issue 1, 2005, Pages 1-16

  Hinchey, Michael G ^a   Rash, James L ^a   Truszkowski, Walter F ^a   Rouff, Christopher A ^b   Sterritt, Roy ^c  

^a NASA GODDARD SPACE FLIGHT CENTER   (United States)

^b SCIENCE APPLICATIONS INTERNATIONAL CORPORATION   (United States)

^c UNIVERSITY OF ULSTER   (United Kingdom)

Author keywords

Autonomous and autonomic systems; Correctness; Formal methods; System development

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER SOFTWARE; PROBLEM SOLVING;

AUTONOMOUS AND AUTONOMIC SYSTEMS; CORRECTNESS; FORMAL METHODS; SYSTEM DEVELOPMENT;

LARGE SCALE SYSTEMS;

EID: 29244444232     PISSN: 10920617     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (49)

1. JPL Special Review Board, 2000, "Report on the Loss of the Mars Polar Lander and Deep Space 2," Jet Propulsion Laboratory, March.
2. Bakam, I., Kordon, F., Page, C.L. and Bousquet., F., 2000, "Formalization of a spatialized multiagent model using Coloured Petri Nets for the study of a hunting management system," Proc. First International Workshop on Formal Approaches to Agent-Based Systems (FAABS I), Greenbelt, Maryland, April, LNAI vol. 1871, Springer.
3. Bauer, F.L., 1980, "A trend for the next ten years of software engineering," in: H. Freeman and P. M. Lewis, eds., Software Engineering, pp. 1-23, Academic Press, London.
4. Beni, G. and Want, J., 1989, "Swarm intelligence." Proc. Seventh Annual Meeting of the Robotics Society of Japan, Tokyo, Japan, pp. 425-428, Tokyo, RSJ Press.
5. Bonabeau, E., Theraulaz, G., Deneubourg, J.-L., Aron, S. and Camazine, S., 1997, "Self-organization in social insects." Trends in Ecology and Evolution, vol. 12, pp. 188-193.
6. Bonnet, L., Florin, G., Duchien, L. and Seinturier, L., 1995, "A method for specifying and proving distributed cooperative algorithms." Proc. DIMAS-95, November.
7. Bowen, J.P. and Hinchey, M.G., 1999, High-Integrity System Specification and Design. FACIT Series. Springer, London.
8. Brooks, Jr., F.P., 1987, "No silver bullet: Essence and accidents of software engineering," IEEE Computer, vol. 20, no. 4, pp. 10-19, April.
9. Bussow, R., Geisler, R. and Klar, M., 1999, "Specifying safety-critical embedded systems with Statecharts and Z: A case study." In: Astesiano, ed., Proc. International Conference on Fundamental Approaches to Software Engineering, LNCS vol. 1382, pp. 71-87, Springer.
10. Butler, M. J., 1999, "csp2B: A Practical Approach To Combining CSP and B," Declarative Systems and Software Engineering Group, Department of Electronics and Computer Science, University of Southampton, UK, February.
11. Fellenstein, C., 2005, On Demand Computing. IBM Press Series - Information Management. Prentice-Hall, Upper Saddle River, New Jersey.
12. Fischer, C., 2000, "Combination and Implementation of Processes and Data: from CSP-OZ to Java," PhD thesis, Universitat Oldenburg, Germany.
13. Formal Systems (Europe), Ltd. (1999) "Failures-Divergences Refinement: User Manual and Tutorial," Oxford, UK.
14. Gala, A.K. and Baker, A.D.(1999, "Multi-agent communication in JAFMAS," Proc. Workshop on Specifying and Implementing Conversation Policies, Third International Conference on Autonomous Agents (Agents '99), Seattle, Washington.
15. Galloway, A.J. and Stoddart, W.J., 1997, "An operational semantics for ZCCS," In: M. Hinchey and S. Liu, eds., Proc. IEEE International Conference on Formal Engineering Methods (ICFEM-97), pp. 272-282, Hiroshima, Japan, November, IEEE Computer Society Press.
16. Ganek, A.G. and Corbi, T.A., 2003, "The dawning of the autonomic computing era," IBM Systems Journal, vol. 42, no. 1, pp. 5-18.
17. Gray, J.N., 1999, "What next? A few remaining problems in information technology," Turing Award Lecture, Atlanta, Georgia, May, ACM FCRC.
18. Gray, J. N., 2001, "Dependability in the Internet era," Proc. High Dependability Computing Consortium Workshop, Santa Cruz, CA, 7 May.
19. Harel, D., 1988, "On visual formalisms," Communications of the ACM, vol. 31, no. 5, pp. 514-530, May.
20. Harel, D., 1992, "Biting the silver bullet: Toward a brighter future for system development," IEEE Computer, vol 25, no. 11, pp. 8-20, January.
21. Harel, D., 2004, 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.
22. Hinchey, M.G. and Jarvis, S.A., 1995, Concurrent Systems: Formal Development in CSP, International Series in Software Engineering, McGraw-Hill International, London, UK, and New York, NY.
23. Hinchey, M.G., Rash, J.L. and Rouff, C.A., 2004, "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.
24. Hinchey, M.G., Rash, J.L. and Rouff, C.A., 2005, "Towards an automated development methodology for dependable systems with application to sensor networks," 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, IEEE Computer Society Press.
25. Hoare, C.A.R., 1978, "Communicating sequential processes," Communications of the ACM, vol. 21, no. 8, pp. 666-677.
26. Hoare, C.A.R., 1985, Communicating Sequential Processes, Prentice Hall International Series in Computer Science, Englewood Cliffs, NJ, and Hernel Hempstead, UK.
27. Horn, P., 2001a, "Autonomic computing: IBM's perspective on the state of information technology," Technical report, IBM Corporation, October 15.
28. Horn, P.M., 2001b, "Meeting the needs, realizing the opportunities," in: C. W. Wessner, ed., Capitalizing on New Needs and New Opportunities: Government - Industry Partnerships in Biotechnology and Information Technologies, Board on Science, Technology, and Economic Policy (STEP), pp. 149-152, The National Academies Press.
29. IFAD, 2000, "The VDM++ toolbox user manual," Technical report, IFAD, Denmark.
30. Kaufmann, M., Manolios, P. and Moore, J S., 2000, Computer-Aided Reasoning: An Approach, Advances in Formal Methods Series, Kluwer Academic Publishers, Boston.
31. Lano, K. and Haughton, H., 1996, Specification in B: an Introduction Using the B-Toolkit, Imperial College Press, London, UK.
32. Lawson, H. W., 2002, "Rebirth of the computer industry," Communications of the ACM, vol. 45, no. 6, pp. 25-29.
33. Leveson, N.G., 1995, "Medical devices: The Therac-25 story," in: Safeware: System Safety and Computers, pp. 515-553. Addison Wesley Publishing Company Inc., New York, NY.
34. Lyons, J.L., 1996, "Ariane 5: Flight 501 failure," report by the inquiry board, 19 July.
35. The Math Works, Inc., 2000, "Getting Started with MATLAB," The Math Works, Inc., Natick, MA.
36. Parnas, D. L., 1985, "Software aspects for strategic defense systems," American Scientist, November.
37. Parnas, D. L., 1995, "Using mathematical models in the inspection of critical software," in: M.G. Hinchey and J.P. Bowen, eds., Applications of Formal Methods, pp. 17-31, International Series in Computer Science, Prentice Hall, Englewood Cliffs, NJ, and Hemel Hempstead, UK.
38. Patterson, D. and Brown, A., 2001, "Recovery-Oriented Computing," Keynote speech, Proc. High Performance Transaction Systems Workshop (HPTS), October.
39. Rash, J.L., Hinchey, M. G., Rouff, C.A., and Gračanin, D., 2005a, "Formal requirements-based programming for complex systems," Proc. International Conference on Engineering of Complex Computer Systems, Shanghai, China, 16-20 June, IEEE Computer Society Press.
40. Rash, J.L., Hinchey, M.G., Rouff, C.A., Gračanin, D. and Erickson, J.D., 2005b, "A tool for requirements-based programming," Proc. International Conference on Integrated Design and Process Technology (IDPT 2005), Beijing, China, 13-17 June, The Society for Design and Process Science.
41. Rouff, C. A., Truszkowski, W.F., Rash, J.L. and Hinchey, M.G., 2005, "A survey of formal methods for intelligent swarms," Technical Report TM-2005-212779, NASA Goddard Space Flight Center, Greenbelt, MD.
42. Rushby, J., 1995, Remarks, panel session on "The future of formal methods in industry," in: J. P. Bowen and M. G. Hinchey, eds., Proc. 9th International Conference of Z Users, LNCS vol. 967, pp. 239-241, Limerick, Ireland, September, Springer.
43. Sterritt, R., 2002, "Towards autonomic computing: Effective event management," Proc. 27th Annual IEEE/NASA Software EngineeringWorkshop (SEW), pp. 40-47, Greenbelt, MD, December, IEEE Computer Society Press.
44. Sterritt, R., 2005, "Autonomic computing," Innovations in Systems and Software Engineering: a NASA Journal, vol. 1, no. 1, April.
45. Sterritt, R. and Bustard, D.W., 2003, "Autonomic computing - a means of achieving dependability?" Proc. IEEE International Conference on the Engineering of Computer Based Systems (ECBS-03), pp. 247-251, Huntsville, AL, April, IEEE Computer Society Press.
46. Sterritt, R. and Hinchey, M.G., 2005, "Why computer based systems should be autonomic," Proc. 12th IEEE International Conference on Engineering of Computer Based Systems (ECBS 2005), pp. 406-414, Greenbelt, MD, April, IEEE Computer Society Press.
47. Truszkowski, W.F, Rash, J.L., Rouff, C.A. and Hinchey, M.G., 2004a, "Some autonomic properties of two legacy multi-agent systems -LOGOS and ACT," Proc. 11th IEEE International Conference on Engineering Computer-Based Systems (ECBS), Workshop on Engineering Autonomic Systems (EASe), pages 490-498, Brno, Czech Republic, May, IEEE Computer Society Press.
48. Truszkowski, W., Hinchey, M., Rash, J. and Rouff, C., 2004b, "NASA's swarm missions: The challenge of building autonomous software," IEEE IT Professional, vol. 6, no. 5, pp. 47-52, September/October.
49. Truszkowski, W.F., Hinchey, M.G., Rash, J.L. and Rouff, C.A., 2006, "Autonomous and autonomic systems: A paradigm for future space exploration missions," IEEE Transactions on Systems, Man and Cybernetics, Part C, 2006 (to appear).