Development method for control software: an approach to bridge between control theory and computer science

摘要

We propose an approach to bridge between control theory and computer science to aim for increasing the efficiency and quality of developing the control software. The present processes are described by showing an example of the developing process of automotive control software, then we discuss the gaps between control theory and computer science. We model the upper process of developing the control software as Hybrid Automata, the middle one as Timed Automata and the lower one as Clocked Transition Systems.