VV & Rams |
|
|
|
|
Backed by extensive industry experience in software dependability, Critical has a solid track record as an independent software VV & RAMS service and technology provider. As an ISVV partner, Critical employs a combination of state-of-the-art techniques, methodologies and tools, fulfilling various international software standard requirements. Verification, Validation & Reliability, Availability, Maintenance and Safety is targeted at Safety Critical Systems and aims to increase the quality of software products, thereby reducing risks and costs through the operational life of the software. ISVV provides assurance that software performs to the specified level of confidence and within its designed parameters and defined requirements. Critical employs an independent engineering team, not involved in the software development process, to assess processes and resulting products. Validation consists of demonstrating that the software accomplishes its intended purpose. This is achieved by testing the product in real or simulated environments. Specifically for experimental verification & validation Critical has developed a leading commercial software implemented fault-injection technology, named Xception ™. ISVV goes far beyond “traditional” verification and validation techniques, applied by development teams. While the latter aim to ensure that the software performs well against the nominal requirements, ISVV is focused on non-functional requirements such as robustness and reliability, and on conditions that can lead the software to break. ISVV results and findings are fed back to the development teams for correction and improvement. An ISVV programme consists of four main phases –Requirements Analysis, Design Analysis, Code Analysis and Validation – that can be performed out separately or all together, executed concurrently with the software development project or later as part of the software product acceptance phase. |
