Article

A component-based specification approach for embedded systems using FDTs

Authors:

Abdelaziz Guerrouat,

Harald RichterAuthors Info & Claims

SAVCBS '05: Proceedings of the 2005 conference on Specification and verification of component-based systems

Pages 14 - es

https://doi.org/10.1145/1123058.1123073

Published: 05 September 2005 Publication History

Get Access

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.

Google Scholar

[2]

Information processing systems - Open Systems Interconnection - Estelle: A formal description technique based on an extended state transition model. International Standard ISO 9074, 1989.

Google Scholar

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

Crossref

Google Scholar

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

Google Scholar

[5]

Potter, B., Sinclair, J. and Till, D. Introduction to Formal Specification and Z (2nd Ed.). Prentice Hall PTR; 1996.

Digital Library

Google Scholar

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

Google Scholar

[7]

Fujiwara, S. et al. Test selection based on finite state models. IEEE transaction on Software Engineering 17(6): 591--603, 1991.

Digital Library

Google Scholar

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

Google Scholar

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

Google Scholar

[10]

Crnkovic, I. Component-based approach for embedded systems. Ninth International Workshop on Component-Oriented Programming, Oslo, 2000.

Google Scholar

[11]

Beydeda, S. and Gruhn, V. Testing Component-Based Systems Using FSMs. In Beydeda and Gruhn (Eds.), Springer-Verlag, 263--280, 2004.

Google Scholar

Cited By

View all

Balsdon QEhlers E(2010)Towards distributing agent intelligenceProceedings of the 13th international conference on Principles and Practice of Multi-Agent Systems10.1007/978-3-642-25920-3_24(340-354)Online publication date: 12-Nov-2010
https://dl.acm.org/doi/10.1007/978-3-642-25920-3_24
Foley SElwasif WBernholdt DShet ABramley RBadia RWang N(2009)Extending the concept of component interfacesProceedings of the 2009 Workshop on Component-Based High Performance Computing10.1145/1687774.1687788(1-4)Online publication date: 15-Nov-2009
https://dl.acm.org/doi/10.1145/1687774.1687788
(2006)Using Reo for formal specification and verification of system designsProceedings of the Fourth ACM/IEEE International Conference on Formal Methods and Models for Co-Design10.5555/3041403.3041429(113-122)Online publication date: 1-Jan-2006
https://dl.acm.org/doi/10.5555/3041403.3041429
Show More Cited By

Recommendations

A component-based specification approach for embedded systems using FDTs

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 ...
Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP

This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of ...
Design and Implementation of a Tool for Specifying Specification in SOFL
Revised Selected Papers of the Second International Workshop on Structured Object-Oriented Formal Language and Method - Volume 7787

Structure Object-oriented Formal Language SOFL is not just a formal language for writing formal specification. It is also an approach and a methodology. SOFL provides a three-step approach for modelling a software system using formal specification. ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

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

Program Chair:
Gary T. Leavens
Iowa State

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

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 05 September 2005

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Acceptance Rates

SAVCBS '05 Paper Acceptance Rate 15 of 15 submissions, 100%;

Overall Acceptance Rate 37 of 46 submissions, 80%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

16
Total Citations
View Citations
482
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 09 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Balsdon QEhlers E(2010)Towards distributing agent intelligenceProceedings of the 13th international conference on Principles and Practice of Multi-Agent Systems10.1007/978-3-642-25920-3_24(340-354)Online publication date: 12-Nov-2010
https://dl.acm.org/doi/10.1007/978-3-642-25920-3_24
Foley SElwasif WBernholdt DShet ABramley RBadia RWang N(2009)Extending the concept of component interfacesProceedings of the 2009 Workshop on Component-Based High Performance Computing10.1145/1687774.1687788(1-4)Online publication date: 15-Nov-2009
https://dl.acm.org/doi/10.1145/1687774.1687788
(2006)Using Reo for formal specification and verification of system designsProceedings of the Fourth ACM/IEEE International Conference on Formal Methods and Models for Co-Design10.5555/3041403.3041429(113-122)Online publication date: 1-Jan-2006
https://dl.acm.org/doi/10.5555/3041403.3041429
Razavi NSirjania M(2006)Using Reo for formal specification and verification of system designsFourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings.10.1109/MEMCOD.2006.1695912(113-122)Online publication date: 2006
https://doi.org/10.1109/MEMCOD.2006.1695912
Lee JChoi MSung C(2006)A Modeling Technique Applying an Object-Oriented Petri Net for Embedded System2006 International Conference on Hybrid Information Technology10.1109/ICHIT.2006.253675(642-645)Online publication date: Nov-2006
https://doi.org/10.1109/ICHIT.2006.253675
Reeves GHrischuk C(2016)Survey of Engineering Models for Systems BiologyComputational Biology Journal10.1155/2016/41063292016(1-12)Online publication date: 18-Jan-2016
https://doi.org/10.1155/2016/4106329
Bombieri NFummi FVinco S(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
https://dl.acm.org/doi/10.1145/2720019
Bombieri NFummi FGuarnieri VPravadelli G(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
https://dl.acm.org/doi/10.1109/TC.2012.301
Bombieri NFummi FGuarnieri V(2012)FASTJournal of Electronic Testing: Theory and Applications10.1007/s10836-012-5318-z28:4(495-510)Online publication date: 1-Aug-2012
https://dl.acm.org/doi/10.1007/s10836-012-5318-z
Bombieri NGuglielmo GFerrari MFummi FPravadelli GStefanni FVenturelli A(2010)HIFsuiteEURASIP Journal on Embedded Systems10.1155/2010/4363282010(1-20)Online publication date: 1-Jan-2010
https://dl.acm.org/doi/10.1155/2010/436328
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

A component-based specification approach for embedded systems using FDTs

Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP

Design and Implementation of a Tool for Specifying Specification in SOFL