Rance Cleaveland

University of Maryland and Fraunhofer USA Center for Experimental Software Engineering


Validating Automotive Control Software using Instrumentation-Based Verification


This talk discusses the results of an application of a formally based verification technique, called Instrumentation-Based Verification (IBV), to a production automotive lighting controller. The goal of the study is to assess, from both a tools as well as a methodological perspective, the utility of IBV in an industrial setting. In IBV, requirements are formalized in terms of so-called "instrumentation" that inspects the behavior of software to search for violations of the associated requirements. The insights obtained as a result of the project include a refinement of a previously developed architecture for requirements specifications; observations about changes to model- based design workflows; insights into the role of requirements during development; and the capability of automated verification to detect inconsistencies among requirements as well as between requirements and design models.


Rance Cleaveland is Professor of Computer Science at the University of Maryland at College Park, where he is also Executive and Scientific Director of the Fraunhofer USA Center for Experimental and Software Engineering. Prior to joining the Maryland faculty in 2005, he held professorships at the State University of New York at Stony Brook and at North Carolina State University. He also co-founded Reactive Systems,

Inc., in 1999 to commercialize tools for model-based testing of embedded software; Reactive Systems currently has numerous customers worldwide in the automotive and aerospace industries. In 1992 he received Young Investigator Awards from the National Science Foundation and from the Office of Naval Research, and in 1994 he was awarded the Alcoa Engineering Research Achievement prize at North Carolina State University. He has published over 100 papers in the areas of software verification and validation, formal methods, model checking, software specification formalisms, and verification tools. Cleaveland received B.S. degrees in Mathematics and Computer Science

from Duke University in 1982 and his M.S. and Ph.D. degrees from Cornell University in 1985 and 1987 respectively.

Ralph Muller

Director of the Eclipse Ecosystem Europe

Ralph Mueller started working for the Eclipse Foundation in September 2005. A computer scientist by trade, he sees the main focus of his work in the exploration and building of the European Eclipse Eco System. In addition to this, he is one of the main contact points in Central Europe for companies and individuals that want to use Eclipse, provide services around Eclipse or contribute to Eclipse. Based on his past experience, he is also exploring collaboration with industries such as Automotive or Aerospace with the goal to promote the Eclipse idea into these areas. Having been a software developer and a manager of software development teams in various companies, Ralph joined Object Technology International (OTI) in 1994, where he helped to found the European OTI organisation with its most prominent member, the OTI lab in Zurich - one of the cradles of Eclipse technology. Ralph then joined IBM, where he served as a lead architect for one of IBM's strategic initiatives for the Automotive industries.

Matt Aitken


Matt has worked at Weta Digital since the early days of the company, supervising computer graphics on many film projects including The Frighteners, Contact, and I Robot. Matt was Digital Models Supervisor on The Lord of the Rings trilogy, pre-production / R&D Supervisor for King Kong and Visual Effects Supervisor on Bridge to Terabithia. Recently Matt has been working on Weta Digital projects including Dambusters, Avatar, Tintin and The Day The Earth Stood Still.

Matt has a Bachelor of Science in Mathematics from Victoria University of Wellington and a Master of Science in Computer Graphics from Middlesex University, London. He has had technical papers published by Eurographics and Graphite and has given presentations on Weta Digitalís work at many conferences and festivals including SIGGRAPH, FMX, the Australian Effects and Animation Festival, Imagina and the London Effects and Animation Festival.