Developing large systems for control and supervision is a difficult and time consuming task. The reasons for this are several - there are few analytical tools, the available tools have strong demands on user competence and their use sometimes requires remodeling for each single tool. Furthermore, there is a strong need for correct validation of safety and other critical functions.
The goal for the activities within ISIS in this area is to place the engineer's tools in the center, and to evaluate and develop how to use existing and modern tools in an efficient fashion. It is furthermore our goal to analyze the present shortcomings and to develop adequate remedies. Of particular interest is software technology for control and real-time systems.
Initially, the focus will be on the use of formal methods in test automation and design validation, to investigate extensions to process control languages and the use of database technology for real-time system design information.