Lee Osterweil Professor (Emeritus) U. of Massachusetts Testing and analysis research since 1971 Focus on “processes as software” since 1986 Emphasis on analyzing healthcare processes – For defects, vulnerabilities, inefficiencies Analysis approaches used: model checking, fault tree analysis, discrete event simulation, provenance generation/analysis Other system process domains: elections, software development, dispute resolution,

Challenges Practices that are “right” (but not done right) – Testing – Regulatory agency review Critical Challenges – Continuous improvement of critical properties (e.g. safety, security, correctness) of critical system processes – Complete and accurate recording of the provenance of critical artifacts in critical systems

Continuous Improvement of Critical Properties of Critical Systems Rest upon precise and detailed process definitions Driven by rigorous analyses, static and dynamic And by clear and precise specifications of defects, risks, vulnerabilities to be addressed Our group has developed technologies for all of the above