A graphical paradigm facilitating correct programming of complex computer control systems

A graphical software development paradigm is presented deviating from classical techniques by enforcing the (re-) use of pre-engineered and a priori verified off-the-shelf application-oriented standard software function blocks. It is based on long established practice in control engineering. For certain industrial application areas specific function block libraries can be identified, all their elements verified with appropriate formal methods and, then, provided as firmware. Thus, for any application program, only the proper implementation of a particular interconnection pattern of invoked function block instances needs to be verified, which is carried out with the rigorous and efficient method of diverse back-translation. The paradigm effectively copes with complexity by simplification and meets the need of society for safe and dependable control systems.