Component behavior prediction and monitoring through built-in test

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

Volumn , Issue , 2003, Pages 17-22

  Barbier, F ^a   Belloir, N ^a  

^a UNIVERSITÉ DE PAU ET DES PAYS DE L'ADOUR   (France)

Author keywords

Application software; Built in self test; Java; Libraries; Monitoring; Real time systems; Runtime environment; Software safety; Testing; Unified modeling language

Indexed keywords

APPLICATION PROGRAMS; BUILT-IN SELF TEST; COMPUTER SOFTWARE; COMPUTER SOFTWARE SELECTION AND EVALUATION; INTERACTIVE COMPUTER SYSTEMS; JAVA PROGRAMMING LANGUAGE; LIBRARIES; MODELING LANGUAGES; MONITORING; SAFETY ENGINEERING; SAFETY TESTING; SOFTWARE TESTING; SPECIFICATIONS; TESTING; UNIFIED MODELING LANGUAGE;

COMPONENT BEHAVIOR; COMPONENT SPECIFICATION; HIGH CONFIDENCE SOFTWARE; JAVA; RUNTIME ENVIRONMENTS; SAFETY CRITICAL APPLICATIONS; SOFTWARE SAFETY; UML STATECHART DIAGRAMS;

REAL TIME SYSTEMS;

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

References (16)

1. Crnkovic, I., Hnich, B., Jonsson, T., and Kiziltan, Z., 2002. Specification, Implementation, and Deployment of Components, Communications of the ACM, 45(10), pp. 35-40.
2. Jézéquel, J.-M., Deveaux, D., and Le Traon, Y., 2001. Reliable Objects: Lightweight Testing for OO Languages. IEEE Software, July/August, pp. 2-9.
3. Wang, Y., King, G., Fayad, M., Patel, D., Court, I., Staples, G., and Ross, M., 1998. On Built-In Tests Reuse in Object-Oriented Framework Design, ACM Software Engineering Notes, 23(4), pp. 60-64.
4. Binder, R., 2000. Testing Object-Oriented Systems - Models, Patterns, and Tools, Addison-Wesley.
5. nd Edition, Prentice Hall.
6. IBM, November 2000. Guide to Sugar Formal Specification Language, Version 1.3.1. IBM Haifa Research Laboratory, Israël.
7. Szyperski, C., 1998. Component Software - Beyond Object-Oriented Programming, Addison-Wesley.
8. Barbier, F., 2002. Composability for Software Components: An Approach Based on the Whole-Part Theory, proceedings of The 8th IEEE International Conference on Engineering of Complex Computer Systems, Greenbelt, USA, IEEE Computer Society Press, December 2-4, pp. 101-106.
9. Hissam, S., Moreno, G., Stafford, J., and Wallnau, K., 2001. Packaging Predictable Assembly with Prediction-Enabled Component Technology, Technical Report CMU/SEI-2001-TR-024, Carnegie Mellon University, Pittsburgh, PA.
10. Barbier, F., 2003. Business Component-Based Software Engineering, Kluwer.
11. st International Conference on COTS-Based Software Systems, Orlando, USA, Lecture Notes in Computer Science #2255, Springer, February 4-6, pp. 108-121.
12. Heiler, S., 1995. Semantic Interoperability, ACM Computing Surveys, 27(2), pp. 271-279.
13. Harel, D., 1987. Statecharts: a visual formalism for complex systems, Science of Computer Programming, 8, pp. 231-274.
14. Object Management Group, 2001. OMG Unified Modeling Language Specification, version 1.4, Needham, MA.
15. Harel, D., and Gery, E., 1997. Executable Object Modeling with Statecharts, IEEE Computer, July, pp. 31-42.
16. Wallnau, K., Hissam, S., and Seacord, R., 2002. Building Systems from Commercial Components, Addison-Wesley.