Altreonic will be presenting at the Podcar City conference on Tuesday 20 September 2016, Antwerp.
Title: The long road from proof of concept to real-world autonomous driving.
Productivity and safety in hospitals, factories and cities can greatly be increased by substituting human drivers in vehicles by computer-controlled mechanisms. This requires expertise from various disciplines, such as control theory, hazard & risk analysis, and formal development techniques. Altreonic has in-house methodologies addressing these challenges and is a forerunner in using formal methods for safety engineering.
Altreonic’s light electric vehicle platform, called Kurt, relies on a modular and scalable architecture and is completely controlled by software. It is the result of a clear-cut conceptual design. The scalable architecture was designed from the very beginning with autonomous driving in mind, even if the standard configuration doesn’t provide this capability. Steer by wire, e.g. control by software is used to reduce the material cost but also to increase safety and flexibility. Formal methods are used to achieve the trust that users want.
We will illustrate how some parts of Altreonic’s vehicle and remote-control device have been formally designed, model checked and subsequently implemented and tested. The main gain of formal methods for Altreonic is conceptual clarity pertaining to all engineering phases of the Kurt vehicle platform.