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. Through our subscription-based business model and dedicated services arm, we have worked with hundreds of customers over the year on thousands of projects.
Our 120 experts worldwide in the US (New York, Lexington), France (Paris, Toulouse, Grenoble and Vannes), 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.
Joining AdaCore is about joining a culture of innovation, openness, collaboration and dependability, which defines how we work together, with our customers and partners.
Airplane real-time autopilot written in Ada for flight simulator
AdaCore attends every year some European conferences like Embedded World, HIS... In order to demonstrate the use of AdaCore products we would like to be able to take advantage of existing capabilities of the flight simulator. AdaCore would like to build new demos interacting with the flight simulator. The simulator is used for its graphical and physical engine.
The main goal is to create visually attractive demos by developing Ada real-time software controlling a simulated plane.
The purpose of this internship is to :
Understand the way an Ada applications can interact with the flight simulator and extend the existing capabilities.
Enhance the current take-off, fly and land autopilot demo by implementing some more advanced navigation and terrain following capabilities.
Support more aircrafts (only one is supported as of today) by understanding control loops and customizing PID controllers.
Port the x86_64 Windows/Linux autopilot to an embedded target with and without real-time operating system.
Evaluate the way a user could interact with the demo without compromising the safety of the flight.
Possible extensions could be the use of formal methods to prove some properties of the autopilot or the use of Simulink models to replace some part of the manually written source code or developing interface to different flight simulators or any great idea coming from the student imagination that would make a nice demo.
Skills required or Nice to have:
Knowledge or interest in embedded real-time system
Knowledge or interest in the avionic domain
Timeframe & Location:
During 2021 - 4 to 6 months - Paris office