Bay Area Rapid Transit

• Advanced Automated Train Control System

• 2000 locations analyzed by EPA in safety-critical kernel

• Result:

  • 26 potential problems found
  • 14 were immediately mitigated, no further analysis required
  • 12 others required corrective action

Previous slide

Next slide

Back to first slide

View graphic version