Linked In LogoTwitter LogoFacebook Logo
Principal Activities
Design & Implementation
Verification & Validation
PLD Design & Verification
Quality & Certification
Legacy System Support
Service Delivery
Offsite Support
Fixed Price Work
Specialist Staff
Project Management
Technical Domains
News

Managed Off Site Teams Case Study:

Resource Engineering Projects provided a managed off-site team to supplement the customer’s resource and skill set in full lifecycle development of DO178B Level A software for the Aerospace industry. All of the customer’s processes and standards were adopted for the duration of the project.

The software was executed on bespoke hardware providing aircraft engine control. The software provides signal conditioning and validation based on engine sensor and airframe information. It also controls actuation of the engine based on the validated signals and reports back to the airframe.
 
Microsoft Word format requirements are reviewed to assess if they are implementable and testable, in order to prevent down-stream issues and increase requirement stability.

Software architecture and low level design were developed from the requirements in UML using ARTiSAN, based on a generic architecture template to increase reusability between products. The low level design was then exported from ARTiSAN into a Microsoft Word format for configuration and review.

Ada code was written to the low level design documents and statically analysed using SPARK for syntax and dataflow analysis.
 
The Ada code was dynamically tested against the design and test scripts were developed using a bespoke tool to generate AdaTEST scripts.  This method abstracts the tool and language skill set from the test methodology. These tests prove that the code is compliant with the design and is robust.

Finally, software integration testing was carried out using a bespoke engine simulation tool,  providing evidence that the software is compliant with the requirements. Independent peer reviews were conducted at the end of each life-cycle stage providing evidence that the output of that stage was suitable to be passed to the next.
 
All activities conducted were continually monitored and audited both by the customer and by the internal Quality Assurance team. After this successful project further projects are currently being undertaken following the same process.

Project Summary
Duration:

18 months

Contract Type: Time & materials
 

Tools/
Languages:

UML, Ada, Bespoke Unit Test Generator, AdaTEST, SPARK
Standards:

DO178B level A

Lifecycle involvement:

High level design
Low level design
Code
Unit testing
Integration testing

 Accreditation: ISO 9001 & TickIT registered