Computer-aided specification of process control systems

Abstract

After a decade of research and experimentation, the importance of requirements specification (whatever that means) is generally recognized, and the number of journals and conferences on this subject is growing accordingly. But results are not yet consolidated, and practitioners looking for tools and methods available as turnkey systems will be frustrated. This article is an attempt to present some experiences, ideas, and suggestions to those who are interested but may be confused, rather than motivated, by the amount of available material.