A Change of Perspective Yields Formal Analysis.*

R. Grosu, F. Fenton, S. Smolka, and E. Bartocci.

In this paper we argue that a judicious use of models in science and engineering can considerably simplify the design and analysis of complex dynamic systems. To substantiate this claim, we first review the mathematical form and the role played by models in science and engineering, respectively. We then show that a change in perspective on the purpose of models in the analysis of cardiac tissue, allowed us to derive for the first time, in an automatic fashion, the parameter-ranges distinguishing between normal and abnormal behavior in cardiac cells.

In Proc. of SEW'11, the IEEE 34th Software Engineering Workshop, pp. 69-76, IEEE ISBN: 978-0-7695-4627-8, Limerick, Ireland, June, 2011.

*This work was partially supported by the NSF Expeditions Award CNS-09-26190, the and the AFOSR FA-0550-09-1-0481 Award.