Arndt-Michael Meyer [Etas]

Tool-based ‘essential analysis’ helps to find simple and formally verified solutions

11:00 – 11:40 and 15:15 – 15:55 (subject to change)

Problems that require to constantly take decisions based on many changing input parameters tend to show an explosion in complexity, leading to many bugs requiring exhaustive testing and causing frequent recalls. This talk will present the Etas Scode method and tool, based on ‘essential analysis’, making sure that all combinations of input values have been properly addressed and understood, leading to a mathematically proven system that is complete, consistent and deterministic. The resulting output is ISO 26262-proof documentation and program code. Any change will be verified leading to ‘risk-free’ variants even from engineers that are new to the project. Scode has been used for more than five years in engine and chassis control, but it suits any domain in any industry.

Arndt-Michael Meyer (Etas)

Arndt-Michael Meyer is solution manager for model-based software development at Etas in Stuttgart, Germany. With thirty years in the IT industry he understands the pain points of software development. After a degree in computer science at the KIT in Karlsruhe, Germany, Arndt has worked in different roles as software developer, network consultant, product manager, project manager and partner manager working for Olivetti, Dialogic, Carmeq (Volkswagen) and Etas (Bosch Group) in different European countries.