Formal Development of Reactive Systems - Case Study Production Cell
Formal Development of Reactive Systems - Case Study Production Cell
A Synchronous Paradigm for Modeling Stable Reactive Systems
HASE '99 The 4th IEEE International Symposium on High-Assurance Systems Engineering
| Hi-index | 0.00 |
To date most validation techniques are highly biased towards calculations involving symbolic representations of problems. These calculations are either formal (in the case of consistency and completeness checks), or informal in the case of code inspections. We believe that an essential type of "evidence" of the correctness of the formalization process must be provided by (i.e., must originate from) human-based calculation. We further believe that human calculation can be significantly amplified by shifting from symbolic representations to graphical representations. This paper describes our preliminary efforts in realizing such a representational shift.