Abstract
Around ninety percent of vehicle innovations are driven mainly by electronics. The software implementing control algorithms combines the sensor values and calculates some meaningful actuator signals. On the other hand software in the vehicle can be seen as a part of a hybrid system. The hybrid system is a dynamic system that can have both continuous and discrete dynamic behaviour, its mean a system is described by both a differential equation and a difference equation. Moreover hybrid system has the benefit of combining a larger class of systems within its structure, allowing for more flexibility in modelling dynamics and with success can be used to design automotive systems. In up to date, state of the art research there is no methodology to combine these two different domains. Most of the automotive software methodologies are focus on the development of the system which can be describe as a discreet or on the architecture of software alone. On the other hand up to date hybrid system design is focused only on the physical properties of systems and do not consider cooperation of control software and hardware. The on going research aims to combine these two different domains. Presented methodology extends V-model approach to the system design and allows handle complex systems with discreet and continuous dynamics throughout whole design process. It also can be seen as a extension of AUTOMODE process to handle more complicated systems. The graphical interface based on widely adopted UML and comparable SysML, aims for more understandable and generic usage. The design methodology will be described by presenting an example of whole design process for controller of the vehicle active suspension. The proposed design methodology is focus on design process of control algorithm and more important safety verification of it. The methodology will allow safety and time analysis in easier and more structured way. Moreover it will allow parametric approach to the system in design with possibility to find correct parameters of it work by verification. The underling verification process is based on the hybrid automaton model checking approach to the hybrid system.
Keywords: hybrid automata, control software, design methodology, automotive system, system validation