Loading...

ETAS SCODE-ANALYZER – Structured analysis with formal verification and automatic code generation

106 views

Loading...

Loading...

Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Feb 11, 2019

This videos shows a presentation from Dr. Markus Behle (Senior Product Manager at ETAS), recorded at embedded world 2018.

Overview:
Thanks to the SCODE method, which is supported and implemented by SCODE-ANALYZER, a formal verification in the tool flags errors in the design of the system, which can then be corrected immediately. Consequently, developers can always work on a formally verified system. Experts can use the results to optimize existing software, design new software, and improve testability . All results can be further processed in various forms by other tools, including the automatic generation of program code.

Outlook embedded world 2019:
If you want to know more about the SCODE Tool Family and other ETAS tools for embedded software development, please visit us in hall 4, booth 4-558 at the embedded world d from 26-28 February in Nuremberg. As a special highlight, the ETAS Academy and the ETAS Open Lab await you at our booth. Find out more here: https://www.etas.com/en/regPage/germa...

Loading...

to add this to Watch Later

Add to

Loading playlists...