EasyMile

Who is EasyMile
EasyMile is a pioneer in driverless technology and smart mobility solutions. The fast-growing start-up, founded in 2014, develops software to automate transportation platforms.
EasyMile’s technology is revolutionizing passenger and goods transportation, offering completely new mobility options. Since 2014, the company has developed and deployed more than 210 autonomous mobility projects in 24 countries.
In June 2019, EasyMile became the first autonomous vehicle company ever to be ISO 9001 certified. This certification recognizes the commitment of the company to deliver high-quality-level services to partners and customers.
EasyMile's need
Providing high-quality service is part of EasyMile’s working culture.
EasyMile requires correct and robust software to develop safety-first autonomous vehicles.
To reach this level of exigence, EasyMile needed to formally verify and validate:
- The safety of its critical C embedded software
- The cybersecurity of its C++ telemetry, monitoring, and navigation software.
TrustInSoft's solution
To meet EasyMile’s specific and rigorous needs, TrustInSoft provided TrustInSoft Analyzer static source code analysis tool, to mathematically guarantee the safety and the cybersecurity of EasyMile’s software.
EasyMile uses TrustInSoft Analyzer to perform test verification on C++ software, and to verify embedded C critical software. Since the license included 3-day on-premise training, EasyMile’s engineers quickly became familiar with the Analyzer.
Because EasyMile also wanted to reach the state-of-the-art in the application of formal methods in embedded software, TrustInSoft provided specific deliverables.
EasyMile benefits from 17 days of personalized guidance provided over the duration of the license. Within this collaboration, TrustInSoft’s experts focus on EasyMile specific needs, questions, and issues.

Benefits of working with TrustInSoft
- Increased guarantees of correctness for critical software
- Efficient support from people involved early on in the development of the analyzer
- Compliance with ISO 26262
- Application of formal methods to provide mathematical guarantees
- Personalized & dedicated support
- Better understanding of all the behaviors of the software
Project figures
Client stats
Client since 2014
5 users
Training & Support
3 days of on-premise training at the start of the project
17 days of personalized guidance
Unlimited support and maintenance
Unlimited lines of code
Alexandre Hamez, Tech Lead, EasyMile
