介绍安全关键软件的标准、事故、经验、最佳实践等等。