Full Program »
Layered Assurance Workshop (LAW)
Monday, 5 December 2016
08:30 - 12:00
LAW is a unique opportunity for interchange on the topic of compositional (or modular) assurance. It is founded on the bold proposition that it is possible to build assured systems from compositions of previously assured components, while being able to derive the system level properties (e.g., safety & security) systematically from the properties of the components. LAW spans the theoretical, engineering, and certification challenges to be met in making compositional assurance for such systems a reality.
We say layered assurance to encompass diverse manifestations of combined assurance, including composition (of assured components), incremental certification (incremental cost for incremental change), abstraction layers (building upon assurance of lower layers), and polymorphism (common assurance of variants, such as among members of a product line).
8:30-8:35 Welcome and Opening Remarks –Rance J. DeLong, Gabriela F. Ciocarlie, Peter G. Neumann
8:35-10:00 Keynote Talk: Layered Architectural Design, Implementation, and Assurance Harald Rueß, fortiss, Munich, DE
10:30-12:00 Invited Talk: CertiKOS: A Layered Architecture for Building Certified System Software Zhong Shao, Yale University, US