Home // VALID 2014, The Sixth International Conference on Advances in System Testing and Validation Lifecycle // View article

Inconsistencies-based Multi-Region Protocol Verification

Authors:
Tukaram Muske
Amey Zare

Keywords: Embedded Systems; Validation and Verification; Protocols Verification; Coding Inconsistencies

Abstract:
Software in complex systems like embedded systems usually include protocols (Sleep Wakeup, Controller Area Network Communication, and so on) implemented in multiple code-regions, and these protocols are crucial for the system correctness. For such protocol implementations, code review and testing often fail to detect some of the critical bugs. Many of these bugs are traced back to inconsistencies in the implemented code-regions. We present a new verification technique that identifies likely coding inconsistencies by computing and comparing protocol-critical information over given protocol code-regions. These inconsistencies are then manually validated. In our experiments, the presented technique detected critical bugs that were missed during code reviews and testing.

Pages: 40 to 45

Copyright: Copyright (c) IARIA, 2014

Publication date: October 12, 2014

Published in: conference

ISSN: 2308-4316

ISBN: 978-1-61208-370-4

Location: Nice, France

Dates: from October 12, 2014 to October 16, 2014