Paper Info
Title
A Formal Approach for Analysis and Testing of Reliable Embedded Systems
Abstract
In this paper, a framework for the specification of embedded systems described as 'predicated' extended finite state machines (p-EFSMs) is proposed. Compared to simple FSMs, p-EFSMs allow the control flow and the data flow description of hardware modules or software processes. We introduce a new variant of the EFSM model, a so-called 'predicated' EFSM that extends the usual EFSM. This extension offers a more convenient mean to specify constraints on the system's transitions. Secondly, it provides an easy mapping onto formal description techniques. Thirdly, it allows the development of an embedded system independently from the implementation, i.e. without favoring a hardware or a software. Crucial tasks in the design of reliable embedded systems are analysis and testing. These allow the system developer to detect bugs that may be very costly to do in subsequent phases of the system development. We identify the different testing issues and demonstrate how the bugs can be detected by means of p-EFSMs. Failure detection and elimination improve the likelihood of the well-functioning and the reliability of the embedded system.
Year
DOI
Venue
2005
10.1016/j.entcs.2005.02.050
Electr. Notes Theor. Comput. Sci.
Keywords
Field
DocType
formal description technique,usual efsm,embedded systems,extended finite state machines,formal description techniques,system development,formal approach,reliable embedded system,efsm model,data flow description,control flow,system developer,different testing issue,analysis and testing,embedded system,extended finite state machine,software process,data flow
Computer science,Control flow,Extended finite-state machine,Formal description,Finite-state machine,Software,System development,Hardware modules,Embedded system,Data flow diagram
Journal
Volume
Issue
ISSN
141
3
Electronic Notes in Theoretical Computer Science
Citations 
PageRank 
References 
3
0.53
5
Authors
2
Name
Order
Citations
PageRank
Abdelaziz Guerrouat1142.38
Harald Richter2226.97