Abstract
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.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS |
| Publisher | IEEE |
| Pages | 39-42 |
| Publication status | Published - 1995 |
| Externally published | Yes |
| Event | Proceedings of the 1995 1st IEEE International Conference on Engineering of Complex Computer Systems - Fort Lauderdale, United States Duration: 6 Nov 1995 → 10 Nov 1995 https://www.computer.org/csdl/proceedings/iceccs/1995/12OmNAolGIW |
Conference
| Conference | Proceedings of the 1995 1st IEEE International Conference on Engineering of Complex Computer Systems |
|---|---|
| Place | United States |
| City | Fort Lauderdale |
| Period | 6/11/95 → 10/11/95 |
| Internet address |
Fingerprint
Dive into the research topics of 'Graphical paradigm facilitating correct programming of complex computer control systems'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver