Stage : Stage Support à la gestion de production (H/F)
AdaCore
Toulouse
Internship
Helping Developers Build Software that Matters
Everything we do at AdaCore is centered around helping developers build safe, secure and reliable software.
For over 25 years, we’ve worked with global leaders across the military and civil avionics, defense systems, air traffic management/control, space, railway, and financial services industries, building tools and providing services that ease the complex and difficult process of developing high-integrity software. As the need for truly secure and reliable applications expands into industries such as automotive, medical, energy, and IOT, we’re advancing our time-tested technologies to bring expertise and services to help a whole new generation of developers. Our 150 experts worldwide in the US (New York), France (Paris, Toulouse, Grenoble and Vannes), Germany, the UK, and Estonia, all play a role in developing state-of-the-art technologies to meet the challenges of building the highest grade of software.
To ease and speed up these operations on cross platforms (LynxOS, Linux…), we run them on a cloud infrastructure, reduce memory and disk usage and improve the performance of our continuous integration pipeline. The goal of the internship is to adapt our facilities to run our test-suites over QEMU for our *-LynxOS-178 and other cross targets.
In cooperation with our experts, the purpose of this internship is to:
~Investigate the current needs of our existing testsuites, determine the proper way to make host and target communicate (UART, RSH, SSH…) in order to send data and retrieve traces for our validation testing.
~Adapt the QEMU simulated model if some hardware modules are missing support to run our testsuite (UART, network…).
~Transition, after having made the required adaptations to our infrastructure, our production testing to this LynxOS178 image running on QEMU.
~Produce the documentation attached to this design and to its usage.
To introduce the applicant to our infrastructure, some steps might be added. One of these steps could conclude that it is technically impossible to run our LynxOS test-suites over QEMU. In that case, Linux will be targeted instead of LynxOS. We already have several cross Linux testings (armhf, ppc…) The work will be to extend our infrastructure to add support to other CPUs. So the second step becomes: defining the proper configuration to build a Linux distribution (using YOCTO) to run our testsuite over QEMU.
The work will require interacting closely with engineers from AdaCore (mostly in English).
Having a solid knowledge about these topics is a plus, but it is not required for the applicant to know them all before applying.
~Python but also Ada, C/C++, Makefiles, Bash, YAML, etc).
We are looking for individuals who want their work to have a direct impact on improving the reliability, safety and security of the software that modern society has grown increasingly dependent on in an international environment. We encourage our employees to explore their curiosity by providing them ongoing and lifelong training from their first day in AdaCore with a strong onboarding plan. AdaCore offers competitive compensation, benefits and thoughtful perks (summer meetings, activity weekends, Holiday dinner etc).