A component-based specification approach for embedded systems using FDTs

Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, SAVCBS 2005

Volumn , Issue , 2005, Pages

  Guerrouat, Abdelaziz ^a   Richter, Harald ^a  

^a CLAUSTHAL UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Component based systems; Embedded system; Formal description techniques; Specification; Testing

Indexed keywords

REUSABILITY; SOFTWARE ENGINEERING; SPECIFICATIONS; TESTING;

COMMUNICATION MODELING; COMPONENT BASED; COMPONENT BASED SYSTEMS; DEVELOPMENT PROCESS; ESTELLE; EXTENDED FINITE STATE MACHINE; FORMAL DESCRIPTION TECHNIQUE (FDTS); FORMAL DESCRIPTION TECHNIQUES;

EMBEDDED SYSTEMS;

EID: 84951755996     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1123058.1123073     Document Type: Conference Paper

References (11)

1. Specification and Description Language SDL '92. ITU-T Recommendation Z.100, 1992.
2. Information processing systems - Open Systems Interconnection - Estelle: A formal description technique based on an extended state transition model. International Standard ISO 9074, 1989.
3. Buessow, R., Geisler, R. and Klar, M. Specifying safety-critical embedded systems with statecharts and Z: A case study. In Proceedings of Fundamental Approaches to Software Engineering (FASE'98), Lisbon, 1998.
4. Mendler, M. and Luettgen, G. Statecharts: From Visual Syntax to Model-Theoretic Semantics. In K. Bauknecht, W. Brauer, and Th. Mück (editors), Workshop on Integrating Diagrammatic and Formal Specification Techniques (IDFST 2001), pages 615-621, Vienna, 2001.
5. Potter, B., Sinclair, J. and Till, D. Introduction to Formal Specification and Z (2nd Ed.). Prentice Hall PTR; 1996.
6. Aho, A. V. et al. An optimisation technique for protocol conformance test generation based on UIO sequences and Rural Chinese Postman Tours. In S. Aggarwal and K. Sabnani, editors, Protocol Specification, Testing, and Verification, New Jersey, 1988.
7. Fujiwara, S. et al. Test selection based on finite state models. IEEE transaction on Software Engineering 17(6): 591-603, 1991.
8. Richter, H., et al. A Concept For a Reliable, Cost-Effective, Real-Time Local-Area Network for Automobiles. In Proceedings of Joint conference Embedded in Munich and Embedded Systems, Munich, 2004.
9. Henniger, O., Ulrich, A. and König, H. Transformation of Estelle modules aiming at test case derivation. In A. Cavalli and S. Budkowski (eds.), 8th International Workshop on Protocol Test systems, Chapmann & Hall, 1995.
10. Crnkovic, I. Component-based approach for embedded systems. Ninth International Workshop on Component-Oriented Programming, Oslo, 2000.
11. Beydeda, S. and Gruhn, V. Testing Component-Based Systems Using FSMs. In Beydeda and Gruhn (eds.), Springer-Verlag, 263-280, 2004.