Paper Info
Title
A component-based specification approach for embedded systems using FDTs
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.
Year
DOI
Venue
2006
10.1145/1123058.1123073
ACM SIGSOFT Software Engineering Notes
Keywords
DocType
Volume
testing,specification,embedded system,communication model,extended finite state machine,development process,communication system
Journal
31
Issue
ISSN
ISBN
2
0163-5948
1-59593-371-9
Citations 
PageRank 
References 
6
0.60
3
Authors
2
Name
Order
Citations
PageRank
Abdelaziz Guerrouat1142.38
Harald Richter2226.97