Software Verification Engineer – Rail CENELEC standard
Project: MTR Corporation Limited, DUAT, Metro of Hong Kong, Replacement of Signalling Systems
- Refactoring Software for railway control and protection systems, Communication, Signalling and Processing Systems.
- To perform Verification on all the artifacts produced by the software department, to identify inconsistency and incompleteness or faulty artifact, including requirement specification, architecture, design, code, test specification, test procedures, test results, and traceability
- Electronic products for the Rail Industry: Train data recorder, Event recorder systems for trains, tramway vehicles, performing data recording, safety functions (tachometry, driver vigilance monitoring, overspeed, rollback protection), data analysis for maintenance and legal investigation.
- The products have Real-time embedded system software and interfaces, digital, analogic, frequency inputs, speed sensors.
- TOM, train on-board memory functions, speed and distance computing, data acquisition of wired signals, GPS, serial links (RS422, RS485), Embedded networks, wireless: Ethernet High Speed, CAN, Profibus, MVB. Journey files, self-test, system faults, links with protocols (TCP, UDP, FTP, HTTP, SOAP, NTP, SNTP)
Main Tasks realized:
• Define a validation strategy for systems and software,
• Write the validation plan with its test scenarios,
• Execute and Carry out validation activities for systems and products
• Write the associated validation report
• Ensure the completeness of the tests and the coverage of the tests,
• Manage the implementation of validation and "long-term" tests in the environment as close as possible to the customer’s operations.
Auxiliary Fuel & Monitoring System
Auxiliary Fuel & Monitoring System for Pilatus PC21 under Wing Tank Aircraft, for the Software Certification by the Swiss Federal Office for Civil Aviation (FOCA):
• Software based on a Freescale MC9S12A256 microcontroller, processing data from Fuel level sensors, density, volumes, masses.
• Apply to these measurements, filtering algorithms: pitch, roll, acceleration-3-axes, during plane manoeuvres: Loop Positive, Lazy Eight, Cuban Eight, Chandelle, Roll off the Top, Aileron Roll, Barrel Roll.
• Write the Software Validation Cases and Procedures document.
• Performed the High level functional Tests, for Hardware/Software integration, code coverage, requirements Traceability, Writing the Software Test Report
Projects:
- Solar Orbiter: solar corona, Solar Wind Plasma, to perform close-up, high-resolution studies of the Sun and inner heliosphere, to explore the inner regions of the sun.
The project is for the European Space Agency. The Solar Orbiter Spacecraft has been successfully launched with an Atlas V Rocket of NASA from Cape Canaveral on Feb 10th 2020 at 04:03 GMT.
- The ExoMars mission includes a rover named Rosalind Franklin, carrying a drill and a suite of instruments dedicated to exobiology and geochemistry research. Entry, descent and landing of a payload on the surface of planet Mars; surface mobility with the rover vehicle; access to the subsurface to acquire samples; preparation, distribution and analysis. The launch, scheduled for July 2020 with a Proton Rocket of Roscosmos from Baïkonour (Kazakhstan) is postponed to Sept-Oct 2022.
Main Tasks realized:
• Requirement analysis, Software Test Case Specification against Software Requirements Specification (High Level Requirements Testing).
• Software Test Procedure generation, execution, debug and formal result, preparation of test reviews,
• Traceability of test cases against software requirements, Requirement coverage,
• Identification and investigation of anomaly, bug fixing, change request.
• Inspection of peers' test procedures versus applicable technical and process requirements.
• Long duration tests to support the long autonomous operations (76 days) upon eclipse entry ingress, and eclipse exit egress, for the Solar Orbiter.
• Perform non-regression tests for each delivery version, to improve software quality.
• Configuration & administration of updated test software.
Project: Cockpit Interface Unit for the Eurofighter Aircraft Typhoon. The functions of this Unit are: Interface for various equipment, switches, analogue controls and other signals, Ethernet function, Stanag 3838 bus controller for the Cockpit data bus, separate remote terminal for interfacing to the avionic EFABUS data bus.
Main Tasks realized:
• From the Software Requirements Specification realize the Software acceptance test documents by writing test cases for the reloadable Firmware.
• From the Software Architecture Document and the source code realize the Software integration test documents.
• Realize the Software Acceptance Tests Procedures in Ada and Tests harness
• Review of these Technical documents by Peer Review Eclipse Plugin (PREP).
SitAlat
An integrated time-critical solutions and systems as tactical Situation Awareness Management used in airborne defence, military environment (by the French Air Force), helicopters GAZELLE SA342, COUGAR AS532, COUGAR HORIZON, EC725 HUS
• Awareness, Tactical analysis, with a 2D/3D map editor, navigation and mission management.
• Data communication, flight management system (FMS), electronic flight instrument system (EFIS), personal locator system (PLS) and multi-function display (MFD).
• Sensors Integration, Interface with new generation combat helicopters (Tiger).
• Various improvements and management of hardware and software obsolescence.
• New and further development of existing software for the creation of flight mission, developing & fixing bugs and airspace management, mission monitoring
• Change requests from the French Air Force, adding new functionalities, all the development cycle, mixing of various programming languages (C, C++, Ada 95) using pragma import and export directives.
• Designing and running basic functional tests for the non-regression test for each delivery version, to improve software quality
APU (Auxiliary Power Unit) Control for Airbus A350 XWB
VECB (Versatile Electronic Control Bloc) Monitor Control Software, Verification and Validation for the S1FAL Certification
• Verification and Validation of Module Tests: Input, Output Data analysis, check against checklist, SDD and SRD Requirements
• Verification and Validation of SDD, SRD, after review findings
• Validation, Inspection of C source code against SDD, SRD, Coding Standards, SDP
Technical Environment:
C, DOORS, ClearCase, ClearQuest, CANTATA, DO178B level C
EURILOGIC for SAGEM DEFENSE SECURITE Massy, France 01/2011 – 07/2011
(7 months)
Software Development, Testing and Validation Engineer
GFCS Gun Firing Control System, a ship’s combat system for the Navy of Singapore:
Ship self-defence against air and surface threats, target tracking (using three EOS), geographic, surface or air target (plane or helicopter) engagement, managing a main gun and two secondary guns
• Realize an evolution of the software by adding new laser Electro-Optical System, and guns
• Update Requirement and Design Documents SRS, SDD, SDDD
• Writing new Code, Ballistic computations
• Testing, Integration and Validation activities on host and target computer
Boeing 787 Dream Liner - Electrical brake Actuator Controller Software.
For the Software Certification by the American FAA
• Perform the down-top traceability (LLR_to_HLR), from the software C code controlling the Electrical brake Actuator to the Software Requirements Specifications (SRS)
• Modification of the SCADE sheets.
• Code Analysis, Code Inspection, Software problem reports
KVB – Train Speed controlling by beacons
Train data communication software
• Corrective and progressive maintenance of a train data communication software between the Train Speed control system and a data recorder using the protocol NF F 69010, (distances, speeds, accelerations, braking, beacons).
• Reverse Engineering of the old version
• Writing new requirements, and specifications, the new software code.
• Writing the Software Test Document, the Software Test Plan, the Software tests scenarios and Procedures document, the Software Validation Cases and Procedures document
• Performed the Software tests, writing the Software Test Report, Performed the Software Validation.
Airbus Military A400M TP400-D6
Software Controlling the Engine of the Turbo-propeller, ECU, EPMU, Certification SOI#1, 2, 3, 4, by EASA
• Reverse Engineering, Rewrite the Software Requirements Specifications
• Requirements traceability with DOORS
• Software reviews: Software Design Documents, Software Detailed Design Documents, Code Analysis CWT, Code Inspection.