Resource Engineering Projects developed and verified a suite of operating system level software services to EN 50128 SIL 4. The development process used UML and Ada, whilst the verification testing activities used AdaTEST and bespoke system test scripts and a hardware test rig.
>> view more

Resource Engineering Projects provided a managed off-site team for full life cycle development of DO178B Level A software. The development process used UML and Ada, whilst the verification activities used AdaTEST and a bespoke simulation tool for software integration testing.
>> view more

Resource Engineering Projects undertook a data preparation tool project to produce Motorola S-Records output from XML data. The project used UML and C# and was produced using an EN 50128 SIL 0 process with additional verification activities as agreed with the safety assessor.
>> view more