---
title: "Whitepaper: Why eSOL adopted TrustInSoft Analyzer?"
description: This whitepaper explains how eSOL used TrustInSoft Analyzer’s formal verification capabilities to establish ISO 26262 ASIL D verification evidence for eMCOS POSIX.
---

# [![eSOL](https://lp.esol.com/hubfs/eSOL_LP_Mar2025/asset/img/common/logo_no-50th-9.png)](https://www.esol.com/)

- [eSOL Website](https://www.esol.com/)
- [Blog List](https://blog.esol.com/?hsLang=en)

- [Contact us](https://lp.esol.com/inquiry/contact-us?hsLang=en)

 

 

Whitepaper: Why eSOL adopted TrustInSoft Analyzer?

 

## ![TIS_WP_EN](https://lp.esol.com/hs-fs/hubfs/TIS_WP_EN.jpg?width=200&height=266&name=TIS_WP_EN.jpg) **Why eSOL adopted TrustInSoft Analyzer?**  

Developing eMCOS® POSIX with Formal Verification for ASIL D Compliance

Software for automotive and industrial equipment is becoming increasingly advanced and complex, while compliance with functional safety standards such as ISO 26262 is becoming essential. In particular, at ASIL D level, it is not enough to develop high-quality software; it is also crucial to establish verification evidence that demonstrates and supports the software’s quality.

However, for large-scale and complex RTOSs, it is challenging to efficiently build extensive testing and traceability processes while satisfying strict safety certification requirements.

This document explains how eSOL leveraged TrustInSoft Analyzer to apply formal verification based on abstract interpretation to eMCOS POSIX, and how they established the verification evidence required for ISO 26262 ASIL D compliance. The approach and results of this initiative are presented in detail.

- eSOL eMCOS
- Target and Challenges
- The Verification Process
- AI as in Artificial Intelligence, or Augmented Intelligence
- TrustInSoft Analyzer
- The Adoption Process 
- Results
- What's Next?

#### Download form

![eSOL](https://lp.esol.com/hubfs/eSOL_LP_Mar2025/asset/img/common/logo.png)

- [Company](https://www.esol.com/company/)
- [Privacy](https://www.esol.com/privacy.html)
- [Disclaimer](https://www.esol.com/disclaimer.html)
- [Trademarks](https://www.esol.com/copyright.html)

- [![Facebook](https://lp.esol.com/hubfs/eSOL_LP_Mar2025/asset/img/common/icon_fb.png)](https://www.facebook.com/eSOL.JAPAN)
- [![X](https://lp.esol.com/hubfs/eSOL_LP_Mar2025/asset/img/common/icon_x.png)](https://twitter.com/eSOL_Global)
- [![LinkedIn](https://lp.esol.com/hubfs/eSOL_LP_Mar2025/asset/img/common/icon_in.png)](https://www.linkedin.com/company/esol)
- [![YouTube](https://lp.esol.com/hubfs/eSOL_LP_Mar2025/asset/img/common/icon_yt.png)](https://www.youtube.com/channel/UCWe_uDRwLZvNtzD7pJd6r-w)

[Social media policy](https://www.esol.com/social_media_policy.html)

[Contact us](https://lp.esol.com/inquiry/contact-us?hsLang=en)

© eSOL 2002-2026. All rights reserved.

Creating the future with innovative technology. Creating the future with innovative technology.