João Sousa Email & Phone Number

Coimbra Area, Portugal

Verification Engineer for BPCU (bus power control unit) avionics LRU:LRU responsible for aircraft AC/DC bus power transfer, distribution and control;LRU developed and verified according to DO-178B level A;Primary processor of the LRU based on a Texas Instruments TMS320 series Digital Signal Controller (DSC);Main tasks include:- Module(unit) testing: Specify and implement test cases using LDRA; Analyse and produce reports; Traceability analysis and problem reporting;- Integration testing (with hardware in the loop): Design and develop test environment based on a system validation facility capable of electrically stimulating the LRU and simulating/emulating in-flight behaviour of the system; Requirements analysis and test case specification; Test implementation and execution; Test and problem report;- Document Verification contributor and reviewer

Coimbra Area, Portugal

Safety Validation Member for TEMPO IXL-B railway interlocking system. Part of a team with the responsibility of building a safety case for the system compliant with EN50126, EN50128 and EN50129 standards for railway applications. The main activities included the specification for the safety validation tests. The specification followed a semi-formal approach, using sysML to model the test cases and the creation of a safety validation report document.

Coimbra

Independent Software Verification and Validation for the on Board Software in the Sentinel3 ESA scientific satellite mission. The Sentinel-3 mission's main objective is to measure sea-surface topography, sea- and land-surface temperature and ocean- and land-surface colour with high-end accuracy and reliability in support of ocean forecasting systems, and for environmental and climate monitoring.The main activities included: - On-board software development in ADA95 programming language; - Unit and integration testing specification and implementation using VectorCAST; - System testing specification in UML and test implementation/execution using simulation test benches; - Document reviewing and problem report.