Systerel supports verification and validation (V&V) activities on behalf of industrial clients, and offers tool-based solutions to improve the quality and efficiency of these activities.

Systerel also provides turnkey SIL4 V&V services for critical systems, software, and configuration data.

Verification

Systerel intervenes at every stage of the software lifecycle (planning, requirements, design, testing, integration, validation, maintenance) to verify that the deliverables produced at each phase comply with the applicable standards and follow the applicable rules and techniques.

In the railway domain, software validation is often referred to as “system-level testing,” in reference to the requirements of standards EN 50128:2011 and EN 50716 for software development.

Examples of activities:

  • Writing the verification plan
  • Writing the verification report
  • Critical review of documentation (natural language, semi-formal or formal)
  • Critical review of source code (Ada, C, SCADE, B, Java, etc.)
  • Verification of configuration data (e.g. SCAM parameterization data)
  • Dead-code detection
  • Verification of specification rules, design rules, coding rules, etc.
  • Verification and analysis of metrics
  • Manual or tool-based verification (e.g. Polyspace®, IBM Rational® Logiscope, model checking…), static or dynamic
  • Verification or creation of traceability matrices
  • Formal verification of safety properties

Validation

Systerel carries out testing activities to ensure that the specified requirements, in particular safety requirements, are satisfied by the developed software.

In the railway domain, software validation is often referred to as “system-level testing,” in reference to the requirements of standards EN 50128:2011 and EN 50716 for software development.

Examples of activities:

  • Writing the validation plan
  • Unit or component tests (e.g. ATTOL / IBM Rational® Test RealTime …)
  • System- or acceptance-level testing
  • Integration tests
  • Black-box tests (functional, non-functional, regression)
  • White-box tests (structural)
  • Performance testing
  • Modeling and formal proof (B, event-B, SCADE…)
  • Subsystem and system validation
  • Data validation