Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems

Due to the increase of complexity in real-time safety-critical systems, verification and validation costs have significantly increased. A straightforward way to reduce costs is to reuse existing systems, adapting them to new requirements, so as to avoid new costly developments. Our aim is to verify during the development strategy definition phase whether… CONTINUE READING