|
CS Home
Dept Info/Contacts
People
Research
Events
Courses
Undergrad Programs:
Computer Science
Informatics
Graduate Program
Prospective Students
Faculty Hiring
Employment
Resources
Help Lab Hours
Student Groups
Support the Department: Weeg Professorship
|
|
Automated Model Revision
Friday, May 1, 2009
4:00-5:00pm, 140 SH
Abstract
We focus on the problem of automated model revision where an existing
model/program is to be modified to meet a new property (e.g.,
fault-tolerance property, timing constraints, safety property) to an
existing program. This problem occurs during model evolution when
requirements change or when the existing model is found to be
noncompliant with an existing requirement. One of the requirements for
such revision is that the existing properties continue to be
preserved.
In this talk, I will present complexity issues with such model
revision as well as introduce the tool SYCRAFT. SYCRAFT is a BDD-based
tool for automated addition of fault-tolerance to distributed programs
and has been successfully used for synthesizing programs with state
space of 10^100.
|
