Modeling and building reliable, re-useable software

Proceedings - 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2003

Volumn , Issue , 2003, Pages 277-286

  Wagner, F ^b   Wolstenholme, P ^a  

^a CYDON Technology   (Australia)

^b NONE

Author keywords

Documentation; Embedded software; Embedded system; Industrial control; Packaging; Software libraries; Software packages; Software safety; Software systems; Software testing

Indexed keywords

ACCIDENT PREVENTION; AGILE MANUFACTURING SYSTEMS; CODES (SYMBOLS); CODING ERRORS; COMPUTER SOFTWARE; COMPUTER SOFTWARE SELECTION AND EVALUATION; EMBEDDED SOFTWARE; EMBEDDED SYSTEMS; GRADING; PACKAGING; SAFETY TESTING; SOFTWARE PACKAGES; SOFTWARE TESTING; SYSTEM PROGRAM DOCUMENTATION;

BEHAVIOURAL ASPECTS; COMMERCIAL IMPLEMENTATION; IMPLEMENTATION PROCESS; INDUSTRIAL CONTROLS; PROJECT DOCUMENTATION; SOFTWARE LIBRARIES; SOFTWARE SAFETY; SOFTWARE SYSTEMS;

COMPUTER SOFTWARE REUSABILITY;

EID: 78751515163     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECBS.2003.1194809     Document Type: Conference Paper

References (14)

1. Edward A. Lee: "Embedded Software - An Agenda for Research", UCB ERL Memorandum M99/63 (December 1999). (Available on-line at eecs.berkeley.edu/publications.)
2. Aki Nimura: "SCC-II Microsequencer", Xilinx "XCELL Journal" issue 42, Spring 2002, page 72. (Available on-line at www.xilinx.com/literature.)
3. David Harel: "Executable Object Modeling with Statecharts", IEEE "Computer" July 1997, pp. 31-42.
4. Miro Samek, "Practical Statecharts in C/C++" CMP Books, 2002.
5. J. Caroll, D. Long, Theory of Finite Automata with an Introduction to Formal Languages. Prentice Hall, Englewoods Cliffs, N.J., 1989.
6. Stephen J. Mellor and Marc J. Balcer, Executable UML. Addison-Wesley, 2002.
7. Shige Wang and Kang G. Shin: "An Architecture for Embedded Software Integration Using Reusable Components", Proc. International Conference on Compilers, Architectures and Synthesis for Embedded Systems, ACM, November 2000.
8. Robert C. Martin, Agile Software Development. Prentice-Hall, 2002.
9. F. Wagner, "VFSM Executable Specification" Proceedings of the International Conference on Computer System and Software Engineering. The Hague, Netherlands, 1992, pp.226-231.
10. F. Wagner, The Virtual Finite State Machine: Executable Control Flow Specification. Rosa Fischer-Löw Verlag, Gießen, 1994.
11. A. R. Flora-Holmquist, J.D. O'Grady, M.G. Staskauskas, "Telecommunications Software Design Using Virtual Finite-State Machines", Proceedings of the International Switching Symposium (ISS ,95). Berlin, Germany, 1995, pp. 103-107.
12. A. R. Flora-Holmquist, E. Morton, J.D. O'Grady, M.G. Staskauskas, "The Virtual Finite-State Machine Design and Implementation Paradigm". Bell Labs Technical Journal. Winter 1997, pp. 96-113. (Available on-line at www.lucent.com/minds/- search for VFSM).
13. http://www.stateworks.com.
14. Terri Maginnis, "Engineers Don't Build," IEEE Software, Jan.-Feb.2000, pp.34-39.