Debugging Embedded Systems Requirements with STIMULUS: an Automotive Case-Study
Abstract
In a typical software project, 40% to 60% of design bugs are caused by faulty requirements that generate costly ite rations of the development process as specifications need to be re de fined, design and implementation modified accordingly, and the n retested. The major reason for this situation is that no practical tool exists for debugging requirements while drafting spe cification, and the many tools that exist for requirement management and traceability do not address this problem. STIMULUS provides an innovative solution for the early de bugging and validation of functional real-time systems re quirements. It provides a high-level language to express textual ye t formal requirements, and a solver-driven simulation engine to ge nerate and analyze execution traces that sati sfy re quirements. Visualizing what systems will do enables system architects to discover ambiguous, i ncorrect, missing or conflicting requireme nts before the des ign begins. We demonstrate the use of STIMULUS on the specification of automatic headlights from the automotive industry. We show how this unique simulation technique enables to discover and to fix ambiguous and conflicting requirements, resulting in a clear and e xecutable specification that can be shared among engineers.
Origin : Files produced by the author(s)
Loading...