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...