Mahomasoft has the capabilities to perform a complete independent verification of any embedded software, essential or non-essential, in accordance with DO-178B and DO-178C, as well as validating related systems.
The audit consists of a combination of (but not limited to) the following activities:
- Documentation of the planning process and adjustment of audit tools
- Testing of high-level requirements
- Testing of low-level requirements
- Impact analysis of the test from software modifications
- Robustness analysis and source language editing utility
- Traceability of the source code to the object code
Specialized Integrated Product teams carry out this audit under the direction of the Head of EPI. An Agile methodology, adopted by PPE, is an effective way for the team to collaborate, learn and produce audit artifacts.
In order to offer an economical but qualitative verification and validation solution, Mahomasoft invests in the following sectors:
R & D: ongoing research of new tools and methods:
Continuing training of staff in order to achieve excellence in technical knowledge in carrying out verification and validation activities.
Culture of team member versatility, and knowledge of the development process, software process and setting of the test environment.
Management of the low-cost center for the verification and validation solution: on-site training, multiplatform deployment, follow-up, total delegation of the verification process and quality control.
Our ways of assisting you
- Cost savings through automation frames for various on-board devices
- Extensive know-how on all aspects of testing hardware and software
- Technical experts with experience in several sectors
- Computer hardware and software testing team
Due to our extensive knowledge of embedded systems and the world's most important safety standards, we are able to help companies throughout the development life cycle. Whether for systems in aircraft, spacecraft or railway signal systems: Our validation and verification experts can rely on our own versatile software validation facilities that support our services by supporting automated hardware, MIL and SIL test environments in accordance with the most stringent industry standards.
Our services entire range covers:
- Planning of validation and verification activities to ensure compliance with safety standards and certification requirements
- Independent validation and verification of system requirements and design
- Formal verification of source code, component and integration tests
- Validation and verification of customer-specific logic design (ASIC, FPGA and CPLD)
- Hardware and software integration testing, and embedded embedded system testing
- Logging of the validation and verification certificates for the certification
- Automated testing with software-in-the-loop (SIL), model-in-the-loop (MIL), and hardware-in-the-loop
- Development and adaptation of automated test equipment for embedded software and systems
- Test equipment and services for instrument removal and testing