We begin by thoroughly assessing your project’s goals, scope, and specific certification requirements.

Our team conducts a comprehensive review of your existing documentation, processes, and software architecture.

Based on the project assessment, we collaborate with your team to develop a tailored certification strategy that aligns with industry standards and regulatory requirements.

This strategy outlines the necessary steps, milestones, and timelines to achieve certification.

If MBD is not already implemented in your project, we assist in transitioning to model-based design practices, helping you leverage the benefits of this approach.

We provide guidance on selecting appropriate modeling tools and establishing modeling standards.

We work closely with your team to ensure that system and software requirements are well-defined, complete, and traceable throughout the development process.

Traceability matrices are established to link requirements to design elements and test cases.

For DO-331 certification, we assist in performing formal methods analysis as required, including formal verification and model checking.

We guide the process of creating formal proof artifacts and ensuring compliance with DO-331 objectives.

Oklidis helps in developing a comprehensive test plan that covers unit testing, integration testing, and system-level testing.

We support the creation of test cases, test procedures, and test scripts to ensure that all aspects of software functionality are thoroughly tested.

Our consultants conduct source code analysis, including static analysis and code reviews, to identify potential issues and ensure adherence to coding standards.

We help in addressing and documenting code anomalies and deviations.

We assist in generating and maintaining the necessary documentation required for certification, including the Software Development Plan (SDP), Software Verification Plan (SVP), and Software Configuration Management Plan (SCMP).

Ensuring complete traceability between requirements, design, code, and test artifacts is a key focus.

Throughout the consulting process, we ensure that all activities align with the relevant regulatory standards and guidelines, such as DO-331 and DO-178C.

In anticipation of regulatory audits, Oklidis helps your team prepare by conducting internal audits and ensuring all documentation is in order.

We provide ongoing support and guidance, helping you address issues that may arise during the certification process.

When all requirements are met, we assist in compiling and submitting the certification package to the appropriate regulatory authorities.

After achieving certification, we can continue to support your team in maintaining compliance during the software’s lifecycle, including any updates or modifications.