Preparing for Super-Reactivity: Early Fault-Detection in the Development
of Exceedingly Complex Reactive Systems
Preparing for Super-Reactivity: Early Fault-Detection in the Development
of Exceedingly Complex Reactive Systems
We introduce the term Super-Reactive Systems to refer to reactive systems whose construction and behavior are complex, constantly changing and evolving, and heavily interwoven with other systems and the physical world. Finding hidden faults in such systems early in planning and development is critical for human safety, the environment, society …