Speaker:
Fabien Gaucher | CATIA Systems Requirements R&D Director, Dassault Systèmes
Abstract:
Simulation has been a key factor of the massive adoption by most industries of Model-Based Systems Engineering (MBSE) and Model-Based Design (MBD) tools. Meanwhile, practical Requirements Engineering tools have not significantly evolved beyond the lifecycle management of document-centric specifications, leaving requirements aside from model-based simulation tools. Requirements-In-the-Loop (RIL) simulation has been proposed to extend MBSE and MBD frameworks with textual yet formal and executable requirements models. RIL simulation allows generating discrete-time systems behaviors based on the requirements semantics as well as to check that other behavioral models like state machines comply with systems requirements. This paper introduces the principles of Requirements-In-the-Loop simulation and illustrates its benefits on the Landing Gears case study. Especially, this work demonstrates the ability of the Stimulus tool to detect incorrect, missing or conflicting requirements of a realistic system and to test its model-based specification against requirements.