Systematising Reactive System Design

Reactive systems are a very important class of systems for engineering organisations. The role of software is now dominant and its share of system construction costs is ever increasing. However, in spite of much research devoted to reactive systems development, proper engineering languages, methods and tools, as construed by the conventional engineering community, are not available to support the technology. We examine the state of play and …