1. Tomorrow’s Software Today ® HCMDSS Panel Presentation: Software and Systems Engineering for Medical Devices W. Rance Cleaveland II, PhD CEO, Reactive Systems Inc. -and- Professor of Computer Science, SUNY at Stony Brook

2. ©2004 Reactive Systems Inc. My Background Education  BS in Math & CS (Duke 1982)  MS, PhD in CS (Cornell 1985, 1987) Academic Career  Assistant, associate professor of CS (NCSU 1989-1998)  Full professor of CS (Stony Brook 1998-)  100+ publications, 1,000+ citations  $6m+ in research funding  NSF, ONR National Young Investigator awards  Research focus: software modeling, V&V Business Career  CEO of Reactive Systems Inc. (1999-)  Reactis®: Model-based testing and validation of embedded software (Simulink® / Stateflow® plug-in)  Successful SBIR proposals (Phase I & II)  16 customers in automotive / aero, US / Japan / Germany  Company revenues 130% growth 2003, 200+% 2004

3. ©2004 Reactive Systems Inc. Embedded Software Is Different Interacts with analog environment Written by non-computer-scientists Not a product, but part of a product …  Business considerations: certification, warranty / recall / liability costs, product / company reputation, production costs (cheap microprocessors), …  Testing expense (especially medical?)  Reliability needs driven by requirements of over-all product … but an unusual part  Intellectual property  Competitive differentiation

4. ©2004 Reactive Systems Inc. Research Agenda CODE Code-free software and system engineering

5. ©2004 Reactive Systems Inc. Vision: Model-Based Development Idea: model before you build  Catch bugs early  Models serve as precise specifications  Models drive coding, integration, V&V Modeling language should:  Use constructs familiar to controls engineers (cf. Simulink, LabVIEW)  Be simulate-able Technical / research questions  Language design (standards)  System architecture  Simulation / debugging / model comprehension  Plant modeling / virtual analysis  Code generation  Model-based system integration  Verification and validation  Calibration

6. ©2004 Reactive Systems Inc. Bio Rance Cleaveland is the CEO of Reactive Systems, Inc., and professor of Computer Science at SUNY at Stony Brook. He has published extensively in the areas software modeling and validation, including model checking algorithms and tools, temporal logic, process algebra, software architecture, and semantics of modeling languages. Cleveland is the recipient of a National Young Investigator Award from the National Science Foundation and a Young Investigator Award from the Office of Naval Research. He received M.S. and Ph.D. degrees in Computer Science from Cornell University and a B.S. in Mathematics and Computer Science from Duke University.