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.
Analysis of Systems using SysML Parametric Diagrams and Conversion to Simulink
Context: AdaCore is working on tools to provide System to Software Integrity (SSI) in the software development process. The aim is to provide a consistent process for refining software specifications from high-level system descriptions to detailed low-level requirements with formal proofs of property preservation. The languages considered in this process are, SysML and Simulink. In context of this topic, there are tasks that include modeling client applications, experimenting with formalization of properties using SysML Parametric Diagrams, translation of those diagrams to Simulink, and simulation-based analysis of the properties.
Goal: The goals of this internship are to:
develop a mapping from concepts expressed through SysML Parametric Diagrams to appropriately equivalent concepts expressed through Simulink models; and
demonstrate the utility of conducting system-relevant analyses through simulation of a Simulink representation of the SysML model.
The work includes:
Familiarizing yourself with the selected languages and earlier developments at AdaCore
Literature reviews and comparisons of existing tools from other vendors and academia
Definition of a mapping from SysML Parametric Diagrams to Simulink models
Implementation of translators for the mapping
Creation of test SysML models
Demonstration of the overall approach using the test models
Good programming skills (C, C++, Java, Python or Ada)
Familiarity with signals and systems and, optionally, control theory
Familiarity with systems and software modeling approaches:
SysML or UML experience, with a preference for SysML; and
Familiarity with abstract data modeling, for example abstract syntax trees or metamodeling
Timeframe and location:
6 months - AdaCore R&D department, Tallinn office