Mission Safety

Independent Software Verification & Validation

Service Details

About

EMTECH ensures the integrity and safety of mission-critical flight software.

As an independent auditor, we act as your mission’s safety net from development through launch, ensuring compliance with applicable standards and identifying critical flaws before they reach orbit.

Our Core Promise

Software Dependability and Quality: Unbiased assessment of complex codebases.
Risk Mitigation: Surfacing critical flaws before they can jeopardize the mission.
Neutrality: A truly independent perspective that guarantees objective results.
Cost-Effectiveness: Finding defects early in the lifecycle, when remediation is least costly.

ISVV Services

Requirements & Design

Evaluation of requirement consistency, accuracy, and completeness using a variety of tools and methods.

Design Verification

Traceability, interface analysis, and UML design evaluation via MagicDraw.

Code Verification

Static analysis, standards conformance (e.g., MISRA), and integrity analysis.

Specialized Testing

Worst-case analysis, stress tests for robustness, stability, and reliability, and FDIR (Fault Detection, Isolation, and Recovery) analysis.

Automated Procedures

Minimizing user intervention through automated test execution.

ESA Missions

Copernicus Polar Ice and Snow Topography Altimeter (CRISTAL) mission. ISVV prime contractor. Ensured the integrity and high reliability of the flight software.

JUpiter ICy moons Explorer (JUICE) Conducted ISVV on the instrument flight software (DPU and RIME), providing assurance for mission-critical instruments.

LSTM (Land Surface Temperature Monitoring) Contributed to software verification and validation.

Specifications & Standards

We adhere to the most stringent industry standards to ensure compliance from the outset.

Frameworks: ESA ISVV Guide, ECSS-E-ST-40C (Software Engineering), and ECSS-Q-ST-80C (Product Assurance).
Code Standards: MISRA C/C++, BSSC.
Verification Tools: SonarQube, PolySpace, CppCheck, PC-Lint, Understand, CBMC, Frama-C, and Clang, and more depending on specific technical needs of each project.
Validation Platforms: EuroSim, SimTG, and SIMULUS – specific for project’s needs.

Innovation

Agile Assurance

We streamline the audit process to prevent project bottlenecks without compromising depth or rigor.

AI-Enhanced Test Planning

Using proprietary AI tools to automatically generate test cases and map them directly to system requirements.

Productization of Simulation Assets

Our analysis is tailored to each project’s requirements and criticality, and integrates with most frameworks, toolchains, and development environments.