Simplifying the Review of Communicating Finite State Machines Implementation using Static Analysis

Paper #:
  • 2016-01-0035

Published:
  • 2016-04-05
DOI:
  • 10.4271/2016-01-0035
Citation:
Zare, A., Datar, A., Venkatesh, R., and Hasegawa, M., "Simplifying the Review of Communicating Finite State Machines Implementation using Static Analysis," SAE Technical Paper 2016-01-0035, 2016, doi:10.4271/2016-01-0035.
Pages:
9
Abstract:
Finite State Machines (FSMs) are used at various stages of software development, from the initial concept of software system to the lowest level implementation. These FSMs communicate non-deterministically with the other FSMs and the environment of the underlying system. Any inappropriate handling of the communication across multiple FSMs or environment may lead to unexpected behavior of the underlying system. Manual detection of the root cause of such unexpected behavior is effort intensive. Moreover, state of art techniques focus mainly on design level review of communicating FSMs (Comm-FSMs), and no technique is available for systematic review of Comm-FSMs at implementation level. In this paper we present a review technique for detecting inconsistencies in the implementation of Comm-FSMs. The proposed technique includes: a) identification of all possible FSMs and external entities in the system code, and b) identification of Comm-FSMs and checking the impact of external entities (events, signals, timers etc.) on the identified Comm-FSMs. The proposed technique assists user’s review to detect incorrect handling of communicating signals and external entities in the implementation that may halt the progress of Comm-FSMs. Our experimental evaluation using two well-tested real world applications demonstrated that the presented technique is effective in detecting critical defects with the overall reduction of manual review effort by 60% to 80%.
Access
Now
SAE MOBILUS Subscriber? You may already have access.
Buy
Select
Price
List
Download
$27.00
Mail
$27.00
Members save up to 40% off list price.
Share
HTML for Linking to Page
Page URL

Related Items

Article
2016-07-01
Technical Paper / Journal Article
1960-01-01
Technical Paper / Journal Article
1963-01-01
Technical Paper / Journal Article
1962-01-01
Technical Paper / Journal Article
1963-01-01
Technical Paper / Journal Article
1962-01-01
Technical Paper / Journal Article
1960-01-01
Standard
2001-04-26
Training / Education
2016-04-30