Emergency software maintenance for individual industrial equipments

4th International Conference on Frontier of Computer Science and Technology, FCST 2009

Volumn , Issue , 2009, Pages 161-167

  Wang, Lianlai ^a   Wang, Peitao ^a   Zheng, Yujun ^a  

^a Systems Engineering Institute of Engineer Equipment   (China)

Author keywords

Emergency software maintenance; Individual industrial equipments; Software failures

Indexed keywords

CATASTROPHIC EFFECTS; EMERGENCY CONDITIONS; INDUSTRIAL EQUIPMENT; INTEGRATED MAINTENANCE; REMOTE MAINTENANCE; SOFTWARE ERRORS; SOFTWARE FAILURE; SOFTWARE MAINTENANCE;

COMPUTER SCIENCE; EMBEDDED SOFTWARE; EQUIPMENT; MACHINERY;

COMPUTER SOFTWARE MAINTENANCE;

EID: 77949806567     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FCST.2009.105     Document Type: Conference Paper

References (28)

1. J. R. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge, UK, 1996.
2. L. Bernstein. Software Fault Tolerance Forestalls Crashes: to err is human; to forgive is fault tolerant. Advances in Computers, vol. 58, Highly Dependable Software M. Zelkowitz (ed) Academic Press, London, UK, pp. 240-285, 2003.
3. J. P. Bowen, P. T. Breuer, and K. C. Lano. A Compendium of Formal Techniques for Software Maintenance. IEE/BCS Soft. Eng. J., 8(5): 253-262, 1993.
4. J. Buckley, T. Mens, M. Zenger, A. Rashid, and G. Kniesel. Towards a taxonomy of software change. J. Softw. Maint. Evol.: Res. Pract., 17(5): 309-332, 2005.
5. N. Chapin, J. Hale, K. Khan, J. Ramil, and W-G. Than. Types of software evolution and software maintenance. J. Softw. Maint. Evol.: Res. Pract., 13(1): 3-30, 2001.
6. E. Clark, J. Forbes, E. Baker, and D. Hutcheson. Mission-critical and mission-support software: a preliminary maintenance characterization, Crosstalk 12(6): 17-22, 1999.
7. Department of Defense U.S.A. Maintainability of Avionic & Electronic Systems & Equipment. MIL-HDBK-2084, Washington, USA, 1995.
8. K. Erdil, E. Finn, K. Keating, J. Meattle, S. Park, and D. Yoon. Software maintenance as part of the software life cycle, available at: http://hepguru.com/maintenance, 2003.
9. R. S. Fabry. How to design a system in which modules can be changed on the fly. In Proc. of 2nd int'l Conf. Software Engineering, San Francisco, USA, pp. 470-476, 1976.
10. O. Frieder and M. E. Segal. On dynamically updating a computer program: from concept to prototype. J. Syst. Softw., 14(2):111-128, 1991.
11. J. Foster. Those Maintenance Statistics. In Proc. 5th European Software Maintenance Workshop . Centre for Software Maintenance, Durham, UK, 1990.
12. J. B. Goodenough. Structured Exception Handling. Proc. 2nd ACM Symp. Principles of Programming Languages, pp. 204-224, Palo Alto, CA, 1975.
13. D. Gupta, P. Jalote, and G. Barua. A formal framework for online software version change. IEEE Tran. Softw. Eng., 22(2):120-131, 1996.
14. IEEE Computer Society Press. Standards Collection Software Engineering, IEEE Standard 610.12-1990, The Institute of Electrical and Electronics Engineers, 1993.
15. Y. Ichisugi and A. Tanaka. Difference-based modules: a class independent module mechanism. In Proc. 16th European Conf. Object-oriented Programming, Lect. Notes Comput. Sci., vol. 2374, pp. 62-88, 2002.
16. B. W. Johnson. Design and Analysis of Fault-Tolerant Digital Systems. Addison-Wesley, Reading MA, 1998.
17. G. E. Kniesel and R. E. Filman. Unanticipated Software Evolution, Issue Overview. J. Softw. Maint. Evol.: Res. and Pract., 17(5): 307-308, 2005.
18. J. Kramer and J. Magee. The evolving philosophers problem: dynamic change management. IEEE Tran. Softw. Eng., 16(11): 1293-1306, 1990.
19. B. P. Lientz and E. B. Swanson. Software Maintenance Management: A Study of the Maintenance of Computer Application Software in 487 Data Processing Organizations . Addison-Wesley, Reading MA, 1980.
20. M. Lindvall and K. Sandahl. Practical implications of trace-ability. Softw. Pract. Exper., 26(10): 1161-1180, 1996.
21. M. Lindvall, S. Komi-Sirvio, P. Costa, and C. Seaman. Embedded software maintenance. Techniuqe Report, Data and Analysis Center for Software, New York, USA, 2003.
22. J. Smith. UML formalization and transformation . PhD thesis, DCollege of Engineering, Northeastern University, Boston, USA, 1999.
23. J. Stanek, S. Kothari, T. N. Nguyen, and C. Cruz-Neira. Online software maintenance for mission-critical systems. In 22nd IEEE int'l Conf. Software Maintenance, pp. 93-103, Philadelphia, USA, 2006.
24. Y. Vandewoude, P. Ebraert, Y. Berbers, and T. D'Hondt. Tranquility: A low disruptive alternative to quiescence for ensuring safe dynamic updates. IEEE Tran. Softw. Eng., 33(12): 856-868, 2007.
25. M. Zenger. KERIS: Evolving software with extensible modules. J. Softw. Maint. Evol.: Res. Pract., 17(5): 333-362, 2005.
26. Z. Q. Zhang, Y. J. Zheng, and H. Y. Li. B-Method based approach for designing ballistic computers. Comput. Engi. Des., 26(12): 3295-3298, 2005.
27. Y. J. Zheng and J. Y. Xue. A Maintenance Process Framework for Formally Derived Software. In Software Process Workshop 2005, pp. 492-494, Beijing, China.
28. Y. J. Zheng, J. Q. Wang, K. Wang, and J. Y. Xue. Partially introducing formal methods into object-oriented development: case studies using a metrics-driven approach. In Proc. 14th Int'l Symp. Formal Methods, Lect. Notes Comput. Sci., vol. 4085, pp. 190-204, 2006.