Escher Technologies Escher Technologies
Home Tools Services Support News Company Contact Publications Articles
Escher Technologies
More:
arrowEscher Verification Studio
arrowEscher C Verifier
arrowPerfect Developer
arrowEvaluating the tools
arrowWhat others say
arrowCritical embedded software
arrowYour development process
arrowPD and SPARK Ada
arrowSummary of benefits
“Our need is to meet the requirements of defence standard 00-55 to Safety Integrity Level 4.
Escher Technologies software met our requirements best.”


Guy Mason
Senior Software Engineer
General Dynamics UK Ltd.
Perfect Developer - Making software bugs extinct!

Safety-Critical Embedded Software Development

We offer tools and consultancy to help you produce high-integrity embedded software for safety-critical applications. Using advanced automated reasoning, our tools deliver the benefits of formal verification using a fraction of the effort demanded by most other formal tools.

By using our tools to prove the system correct before it is built, you avoid the need for debug/re-work/re-test cycles. When used within a mature software development process, Perfect Developer and Escher C Verifier can reduce the need for unit testing, by facilitating Correct by Construction software development.

Follow the links below to see how Perfect Developer and Escher C Verifier can help you construct embedded software to meet particular sector-specific safety standards.

 

IEC 61508 embedded software development and verification

ISO 26262 embedded software development and verification

DO-178C embedded software development and verification

UK Defence Standard 00-56 embedded software development and verification

 


Home    TOPTOP
Copyright © 1997-2016 Escher Technologies Limited. All rights reserved. Information is subject to change without notice.      Link to  Privacy/Cookie Policy (new window)