David Garlan

Short Biography

David Garlan is a Professor of Computer Science and Director of Software Engineering Professional Programs in the School of Computer Science at Carnegie Mellon University. He received his Ph.D. from Carnegie Mellon in 1987. His interests include software architecture, self-adaptive systems, formal methods, and cyber-physical systems.
He is considered to be one of the founders of the field of software architecture, and, in particular, formal  representation and analysis of architectural designs. He has published numerous articles and co-authored two books about software architecture. In 2005 he received a Stevens Award Citation for "fundamental contributions to the development and understanding of software architecture as a discipline in software engineering".
Web Site: https://www.cs.cmu.edu/~garlan/

Abstract

Critical physical infrastructures—the power grid, transportation systems, building environments—are distributed physical systems that are monitored  and controlled by large networked embedded computing systems that rely on software of ever-growing size and complexity. Unfortunately, today’s models and methods for analysis and design of such systems are typically fragmented along lines defined by disparate mathematical formalisms and  dissimilar methodologies in engineering and computer science. As a consequence it is hard to reason about design tradeoffs that span cyber and physical domains, or to understand how to reconcile analyses produced by various formal models. In this talk we describe a new approach in which software architecture models are extended to incorporate physical elements, and to provide a common framework integration framework for analysis using a variety of modeling formalisms, each formalism projected onto its own architectural view of the system.

Horario y lugar

A confirmar.