Our goal with this book is to present a comprehensive formalism including specification techniques and refinement concepts for the structured and modular design and development of interactive systems, supporting timing as well as different communication and synchronization paradigms. The main emphasis is on modular abstract description of system behavior. Our approach covers many application areas including the classical tasks of software and hardware design, as well as hardware/software codesign. Nevertheless, there are many aspects of systems engineering that we have not treated. We therefore briefly relate FOCUS to some of the systems engineering paradigms used in practice today and outline some interesting research topics.
Unable to display preview. Download preview PDF.