Deterministic State Space Exploration for Concurrent Embedded Software

Download Now
Provided by: Katholieke Universiteit Leuven
Topic: Security
Format: PDF
Concurrent embedded software is prone to data races, race conditions and deadlock issues. Moreover, the effect of its non-deterministic behavior is likely underestimated; therefore test coverage will be incomplete. In the authors' approach, concurrency is isolated from the test environment. More specifically, a colored petri net model represents the platform-independent concurrency model, which delivers execution traces for tests to cover the state space completely in a deterministic manner. A proof of concept application indicates the feasibility of this approach.
Download Now

Find By Topic