HomePublicationsTechnical Report

Capturing and Validating Requirements for Real-Time and Hybrid Systems
Ref: CISTER-TR-241204       Publication Date: 2024

Abstract:
Specifying requirements is essential for aligning project goals, guiding development, ensuring quality, managing risks, optimizing resource use, and achieving stakeholder satisfaction. The goal of this study is focused on a comprehensive investigation of the logics, formalisms, and specification languages commonly used to describe behavioural properties, including tool support. Next, we select a set of use cases from existing industrial partners, such as vehicle manoeuvrer computation in the Route25 project and motor controllers for railway systems in the VALU3S project. The final step involves specifying the collected requirements using informal and formal specifications, like Fretish, HPL, and dedicated temporal logic. We aim to capture various requirements, addressing discrete computations and continuous evolution, to support formal verification and validation processes. This analysis will clarify the target properties and ensure comprehensive coverage of desired and forbidden system behaviours.

Reydel Olano

Document:

View
PDF Download
PDF