Safety critical embedded software

Since 2005 we have provided embedded software solutions for a range of industry sectors including military and aerospace, industrial automation and telecommunications. From embedded software and system development, to software porting and software optimisation, we can satisfy most requirements.

The following project showcases part of our extensive capabilities:

Customer need

Developing safety critical embedded software for a remote-controlled vehicle.

Control system to be certified to DO-178B Level A.

Development must follow rigorously-defined process.

Unit tests to be designed and carried out for a large amount of software.

Unit tests to implement full MC/DC test coverage.

The challenge

Aggressive time-scales.

Relatively complex and formal development process.

Requirement for independence between unit test design and implementation.

Our solution

Designed unit tests based on software design expressed as UML diagrams.

Documented unit tests formally as MS Word documents. Implemented unit tests using VectorCAST test software.

Ran unit tests on software developed by client from original UML-based designs.

Identified defects in client software by inspection and results of unit testing.

Used formal process to report defects, suggested corrections and design improvements to client software.

The outcome

Long-running, multi-phase project completed on schedule. Multi-person project team used to ensure independence required by DO-178B development process.

Customer valued highly our contribution to the software design and implementation, beyond the agreed scope of the project.