Pirates Are Watching the Clouds: Three Applications of Formal Modeling to Modern Software Systems

Case Study 3

Abstract: Modern software systems are integrated, layered and quickly evolving. New technologies are needed to help architects make good design decisions and to comprehend the implications of their decisions. In this talk we introduce the FORMULA framework as a formal modeling framework providing state-of-the-art automated analysis and synthesis for architectural problems. We demonstrate its effectiveness on three key problems arising in modern software systems: How do I properly integrate a set of software components? Does the security policy of the system allow information theft? Did I design a system that consumes data correctly? Please join us for a live hands-on demonstration.

Presenterís bio: Ethan Jackson is a researcher in the Foundations of Software Engineering (FSE) group at Microsoft Research. His research focuses on the theoretical and practical aspects of model-based development. He is one of the main developers of the FORMULA modeling framework, which is a cutting-edge specification language and analysis tool for constructing and analyzing models of software systems. Ethan holds a PhD in Computer Science from Vanderbilt University and received a B.S. in Computer Engineering from the University of Pittsburgh.