Systerel provides expert services dedicated to the implementation of the Ada language and related tools. These consulting and engineering services support the development of embedded systems with stringent real-time or safety requirements.
Expertise and consulting
- Migration or porting of applications (Ada XX → Ada 05/12, Full Ada → Ravenscar, etc.)
- Code diversification
- Scheduling, profiling, and optimization issues
- Definition or refactoring of software architectures
- Mastery of the Gnat Pro toolchain as well as legacy compilers (PTC, Aonix, Rational, Green Hills, Tartan)
- Integration and associated methods and tooling
Development, testing, maintenance
Systerel also provides Ada software development, testing, and maintenance services (TMA/MCO):
- Real-time software (from low-level software to full applications)
- BSPs, drivers, bindings, custom libraries
- Protocols, middleware, frameworks
- Applications (multitasking, code replication, etc.)
- Specialized tools:
– Code generators (translators, OPS, diversifiers, etc.)
– ElinOS integration
– Ada Debug Console
– AdDoc documentation generator
Ada language training
Systerel offers training programs on the Ada language, enabling engineers to apply Ada effectively in industrial environments.
Through practical examples and exercises, these courses cover contract-based programming (SPARK), concurrent programming, and software maintainability.
- Ada 95 and 2005 – The Basics – Learn More
- Ada 95 and 2005 – Advanced – Learn more
- Ada 2012 – The Essentials – Learn more
Ada community and resources
Several Systerel engineers are active members of Ada-Europe, an association that brings together researchers, developers, and practitioners of safe and reliable software technologies.
Systerel contributes to promoting the Ada language and regularly shares best practices and technical feedback.
Publications and technical feedback
- 17 Ada recommendations to improve software quality and maintainability
- Contributions to the Ada User Journal: presentation of a middleware designed in Ada 2012 for Alstom Transport, compliant with EN 50128 requirements