Le langage ADA est un langage de programmation. ADA a la particularité d'être hautement sécurisé et n'autorise aucune fuite. Le tout se traduit par un résultat stable et fiable. De ce fait, ADA est principalement utilisé dans les applications critiques nécessitant une très haute fiabilité.
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.
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