skip to main content
article

A component-based specification approach for embedded systems using FDTs

Published: 05 September 2005 Publication History

Abstract

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.

References

[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.

Cited By

View all
  • (2016)Survey of Engineering Models for Systems BiologyComputational Biology Journal10.1155/2016/41063292016(1-12)Online publication date: 18-Jan-2016
  • (2015)A Methodology to Recover RTL IP Functionality for Automatic Generation of SW ApplicationsACM Transactions on Design Automation of Electronic Systems10.1145/272001920:3(1-26)Online publication date: 24-Jun-2015
  • (2014)Testbench Qualification of SystemC TLM Protocols through Mutation AnalysisIEEE Transactions on Computers10.1109/TC.2012.30163:5(1248-1261)Online publication date: 1-May-2014
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes  Volume 31, Issue 2
March 2006
193 pages
ISSN:0163-5948
DOI:10.1145/1118537
Issue’s Table of Contents
  • cover image ACM Conferences
    SAVCBS '05: Proceedings of the 2005 conference on Specification and verification of component-based systems
    September 2005
    95 pages
    ISBN:1595933719
    DOI:10.1145/1123058

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 05 September 2005
Published in SIGSOFT Volume 31, Issue 2

Check for updates

Author Tags

  1. component-based systems
  2. embedded system
  3. formal description techniques
  4. specification
  5. testing

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)0
Reflects downloads up to 20 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2016)Survey of Engineering Models for Systems BiologyComputational Biology Journal10.1155/2016/41063292016(1-12)Online publication date: 18-Jan-2016
  • (2015)A Methodology to Recover RTL IP Functionality for Automatic Generation of SW ApplicationsACM Transactions on Design Automation of Electronic Systems10.1145/272001920:3(1-26)Online publication date: 24-Jun-2015
  • (2014)Testbench Qualification of SystemC TLM Protocols through Mutation AnalysisIEEE Transactions on Computers10.1109/TC.2012.30163:5(1248-1261)Online publication date: 1-May-2014
  • (2012)FASTJournal of Electronic Testing: Theory and Applications10.1007/s10836-012-5318-z28:4(495-510)Online publication date: 1-Aug-2012
  • (2010)HIFsuiteEURASIP Journal on Embedded Systems10.1155/2010/4363282010(1-20)Online publication date: 1-Jan-2010
  • (2010)HIFSuite: Tools for HDL code conversion and manipulation2010 IEEE International High Level Design Validation and Test Workshop (HLDVT)10.1109/HLDVT.2010.5496665(40-41)Online publication date: Jun-2010
  • (2010)Automatic synthesis of OSCI TLM-2.0 models into RTL bus-based IPs2010 IEEE International High Level Design Validation and Test Workshop (HLDVT)10.1109/HLDVT.2010.5496652(105-112)Online publication date: Jun-2010
  • (2009)A Formal Model for Component-Based Embedded Software DevelopmentProceedings of the 2009 International Conference on Embedded Software and Systems10.1109/ICESS.2009.51(19-23)Online publication date: 25-May-2009
  • (2008)A mutation model for the SystemC TLM 2.0 communication interfacesProceedings of the conference on Design, automation and test in Europe10.1145/1403375.1403472(396-401)Online publication date: 10-Mar-2008
  • (2008)Model-driven specification of component-based distributed real-time and embedded systems for verification of systemic QoS properties2008 IEEE International Symposium on Parallel and Distributed Processing10.1109/IPDPS.2008.4536573(1-8)Online publication date: Apr-2008
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media