Carnegie Mellon: The Rare Glitch Project * Jeannette M. Wing
Jeannette M. Wing
The Rare Glitch Project:
Verification Tools for Embedded Systems
Carnegie Mellon University
Pittsburgh, PA
Ed Clarke, David Garlan, Bruce Krogh, Reid Simmons, Jeannette Wing
Embedded Systems
They are highly distributed, multi-task, concurrent real-time systems.
They control increasingly sophisticated physical systems.
They operate with increasing autonomy under adverse and unpredictable conditions.
They eventually will be seamlessly woven into the fabric of our everyday lives.
Verification
Grand Challenge
To ensure the correctness of these embedded systems as they operate in increasingly complex environments—for the safety and good of the general public.
Opportunity
State of the art verification tools are well suited for control systems.
Embedded systems have narrow hardware/software interface.
Embedded systems architectures are simpler and more regular.
Feasibility
We are not trying to solve the whole verification problem, but one for a class of systems for which we believe we can make the next big success story.
Our Long-Term Vision
To provide design engineers with lightweight "push-button" tools, each checking a specific application-specific property.
Check
Restart
Check
Fuel usage
Check
Race
Check
Powerusage
Check
Deadlock
Three Main Thrusts of Our Project
Verifying system integrity
Synchronization constraints
Resource constraints
Real-time constraints
Modeling the environment
Hybrid dynamics
Stochastic models

下一页