UAB’s Chapter of the IEEE Computer Society will host a guest speaker this week (tomorrow). Dr. Cheng is very well known in the modeling and software engineering communities (serves as editor of several journals in these areas, including IEEE Transactions on Software Engineering). Hope some of you can make it!
Title: Modeling and Analyzing Dynamically Adaptive Software
Speaker: Betty H.C. Cheng, Professor, Michigan State University
Date/Time: Wednesday, Feb. 21st, 2007, 11am – 12pm
Location: UAB’s Campbell Hall 430
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 introduces an approach to create formal models for the behavior of adaptive programs. Our approach separates the adaptation behavior and non-adaptive behavior specifications of adaptive programs, making the models easier to specify and more amenable to automated analysis and visual inspection. We introduce a process to construct adaptation models, automatically generate adaptive programs from the models, and verify and validate the models.
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 NSF, ONR, DARPA, NASA, USDA, EPA, and numerous industrial organizations. She serves on the editorial boards for IEEE Transactions on Software Engineering, Requirements Engineering Journal, and Software and Systems Modeling.
Each year, she serves on numerous program and organizational committees for international conferences and workshops, including IEEE International Conference on Software Engineering (ICSE), IEEE Requirements Engineering Conference(RE), and IEEE UML/MoDELS.
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. She may be reached at the Department of Computer Science and Engineering, Michigan State Univ., 3115 Engineering Building, East Lansing, MI 48824; firstname.lastname@example.org; www.cse.msu.edu/~chengb.