Model-based Development of High-Assurance Dynamically Adaptive Systems(slides - PDF 18M, video - mp4)
3:00 pm - 4:30 pm
THIS KEYNOTE IS ALSO AN ISR DISTINGUISHED SPEAKER TALK.
Increasingly, software should dynamically adapt its behavior at run-time in response to changing conditions in the supporting computing and communication infrastructure, and in the surrounding physical environment. In order for an adaptive program to be trusted, it is important to have mechanisms to ensure that the program functions correctly during and after adaptations. Adaptive programs are generally more difficult to specify, verify, and validate due to their high complexity. Particularly, when involving multi-threaded adaptations, the program behavior is the result of the collaborative behavior of multiple threads and software components. This presentation overviews recent work that addresses assurance of adaptive systems at different points throughout the development process. The talk will cover techniques ranging from those to be applied as part of requirements engineering to those that are applied at run-time. An emphasis will be on those techniques that are automated and involve formal analysis of assurance properties. We will also highlight some of the key challenges for the research community in addressing assurance for current and future adaptive systems.
ABOUT THE SPEAKER
Betty H.C. Cheng is a professor in the Department of Computer Science and Engineering at Michigan State University. Her research and teaching interests include automated software engineering, requirements engineering, software development environments, object-oriented analysis and design, embedded systems development, assurance patterns, adaptive systems, visualization, and distributed computing. She collaborates with industrial partners for both her class projects and research in order to facilitate technology exchange between academia and industry. She was awarded a NASA/JPL Faculty Fellowship in 1993 to investigate the use of new software engineering techniques for a portion of the shuttle software. In 1998, she spent her sabbatical working with the Motorola Software Labs investigating automated analysis techniques of specifications of telecommunication systems. Her research has been funded by several federal funding agencies, including NSF, ONR, DARPA, NASA, AFRL, ARO, and numerous industrial organizations. She serves on the editorial boards for Requirements Engineering Journal, and Software and Systems Modeling and IEEE Transactions on Software Engineering. She received her BS from Northwestern University in 1985 and her MS and PhD from the University of Illinois-Urbana Champaign in 1987 and 1990, respectively, all in computer science.