{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:41:58Z","timestamp":1750308118942,"version":"3.41.0"},"reference-count":11,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2005,9,5]],"date-time":"2005-09-05T00:00:00Z","timestamp":1125878400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2006,3]]},"abstract":"<jats:p>This paper presents a framework for specification and testing of component-based embedded systems using formal description techniques (FDTs). We deal with embedded systems from the point of view of communication and thus we propose a communication model for them. We further explain the meaning of component-based embedded systems and how these can be specified using FDTs. FDTs such as Estelle and SDL are based on EFSMs (Extended finite State Machines) and have been widely used in the automation of the development process of protocols and communicating systems, i.e. for specification, analysis and validation purposes. The main goal of this work is to demonstrate the reusability of FDTs for component-based systems.<\/jats:p>","DOI":"10.1145\/1118537.1123073","type":"journal-article","created":{"date-parts":[[2006,5,8]],"date-time":"2006-05-08T22:51:53Z","timestamp":1147128713000},"page":"14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["A component-based specification approach for embedded systems using FDTs"],"prefix":"10.1145","volume":"31","author":[{"given":"Abdelaziz","family":"Guerrouat","sequence":"first","affiliation":[{"name":"Clausthal University of Technology, Clausthal-Zellerfeld"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harald","family":"Richter","sequence":"additional","affiliation":[{"name":"Clausthal University of Technology, Clausthal-Zellerfeld"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,9,5]]},"reference":[{"volume-title":"Description Language SDL '92","year":"1992","author":"Specification","key":"e_1_2_1_1_1"},{"key":"e_1_2_1_2_1","first-page":"9074","author":"Information","year":"1989","journal-title":"International Standard ISO"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053584"},{"key":"e_1_2_1_4_1","first-page":"615","volume-title":"Workshop on Integrating Diagrammatic and Formal Specification Techniques (IDFST 2001","author":"Mendler M.","year":"2001"},{"key":"e_1_2_1_5_1","unstructured":"Potter B. Sinclair J. and Till D. Introduction to Formal Specification and Z (2nd Ed.). Prentice Hall PTR; 1996.   Potter B. Sinclair J. and Till D. Introduction to Formal Specification and Z (2nd Ed.). Prentice Hall PTR; 1996."},{"key":"e_1_2_1_6_1","unstructured":"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.  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."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.87284"},{"volume-title":"Proceedings of Joint conference Embedded in Munich and Embedded Systems","year":"2004","author":"Richter H.","key":"e_1_2_1_8_1"},{"volume-title":"8th International Workshop on Protocol Test systems, Chapmann & Hall","year":"1995","author":"Henniger O.","key":"e_1_2_1_9_1"},{"volume-title":"Ninth International Workshop on Component-Oriented Programming","year":"2000","author":"Crnkovic I.","key":"e_1_2_1_10_1"},{"key":"e_1_2_1_11_1","unstructured":"Beydeda S. and Gruhn V. Testing Component-Based Systems Using FSMs. In Beydeda and Gruhn (Eds.) Springer-Verlag 263--280 2004.  Beydeda S. and Gruhn V. Testing Component-Based Systems Using FSMs. In Beydeda and Gruhn (Eds.) Springer-Verlag 263--280 2004."}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1118537.1123073","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1118537.1123073","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:18Z","timestamp":1750262898000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1118537.1123073"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9,5]]},"references-count":11,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,3]]}},"alternative-id":["10.1145\/1118537.1123073"],"URL":"https:\/\/doi.org\/10.1145\/1118537.1123073","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1123058.1123073","asserted-by":"subject"}]},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2005,9,5]]},"assertion":[{"value":"2005-09-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}