Esterel Technologies>Services>Safety Critical Software Design and Verification Services

Safety Critical Software Design and Verification Services

Esterel Technologies' services are used by market leaders including: Airbus, Intertechnique, Ansaldo Signal, Johnson Controls…

Help for your critical design and verification efforts

Add our team and our SCADE Certified Services Partners to yours. Esterel Technologies' certified experts will work with your team to deliver working safety-critical software designs and verification. This work can be performed on your site or off-site.

Full services to assure you can deliver your system on time

Using state-of-the-art, proven approaches, Esterel Technologies' services team delivers solutions tailored for your specific technical and business needs. Our capabilities span the lifecycle of a solution, from requirements analysis through solution development, installation, rollout, and end-user training.

Safety-critical software engineering and verification expertise

Each member of our expert services team has an average of 6 years of experience working with a broad range of safety critical software design methods and tools including:

System Level Design, Architectural expertise
Validation and verification expertise including formal verification (properties and assertion formal proof development) , non-regression testing and application testing, integration and embedding

A Unique Leading edge skill set

Our experts are familiar with leading methodologies, tools and languages including:

UML
SCADE
C, C++, ADA, SPARK
SYNERGY/CM and Change
PureCoverage (Code Coverage)
Quantify (Application Performance Testing)
Purify (memory leak prevention)
VMWare (application testing)
Winrunner (Automated GUI testing)
CAN and TTA/FlexRay Tools
All usual Cross-compilers, RTOS's and targets

Resident Engineer Support Services

Resident experts will guide your team to using the entire SCADE family of tools to maximise time and performance benefits
Large projects with critical project deadlines benefit from having a dedicated product support engineer, residing on-site to address all tool, flow, certification or third party integration concerns.