Falls Church, VA (February 25, 2008) -- Reactive Systems, Inc. (RSI) announced that CEO Rance Cleaveland will address the Car Testing Japan conference. The event will be held March 11th and 12th at the TFT Hall in Tokyo.
Dr. Cleaveland's presentation, titled Formal Methods in Control Software Design -- Model-Based Verification for Automotive Applications, will give a high-level overview of formal methods, with specific attention to roles they can play in automotive software development. Formal methods rely on mathematical reasoning to determine whether a model of a software system satisfies its requirements. The growing use of modeling in automotive control-system design processes has spurred interest in formal methods as a tool for improving control-software quality.
About Rance Cleaveland. Rance Cleaveland is a Professor
of Computer Science at the University of Maryland, College Park,
Executive Director of the Fraunhofer Center for Experimental
Software Engineering, and CEO and co-founder of Reactive Systems,
Inc. Cleaveland holds a B.S. in Mathematics and Computer Science
from Duke University, and an M.S. and a Ph.D. in Computer Science
from Cornell University.