|Verification & Validation|
Its long and consolidated experience acquired in the development of complex software systems allows INTECS to offer specialised services for the analysis and verification of Reliability, Availability, Maintainability e Safety (RAMS) requirements.
INTECS applies various Hazard Analysis techniques on critical components of several systems for different applications domain including Space, Avionic, Automotive and Railway Systems.
Hazard Analysis techniques include System-level safety analysis, Preliminary Hazard Analysis, Hazard Analysis, RAM (Reliability, Availability, Maintainability) parameter evaluation and production of CENELEC Safety Cases.
Software Hazard Analysis
Among others, techniques that have been widely used are Fault Tree Analysis (FTA) and Failure Mode Effect and Criticality Analysis (FMECA).
Software Hazard Analysis covered the principal phases of the Software lifecycle, from the Software Requirements analysis to the Design phase and finally to the Coding phase.
At each development phase, the criticality of the different parts of the subsystem is assessed and safety recommendations are provided for the subsequent phase, in order to eliminate unsafe behaviour of the software or to mitigate hazardous consequences of possible software failures.