Case Study: Bay Area Rapid Transit

• Hughes Aircraft Company

• Advanced Automated Train Control

• Goal: Identify additional locations for safety code assertions

• One scenario:

  • 2000 locations
  • 12 locations requiring corrective action

Previous slide

Next slide

Back to first slide

View graphic version