Safety Analysis of Evolving Product Lines

Abstract 0541163爱荷华州立大学Robyn Lutz不断发展的产品线的安全分析变更可能危及软件系统的安全性。 当产品线发生变化时，由于涉及多个系统，安全后果可能会更大。安全关键产品线的例子包括心脏起搏器、通信卫星、飞机驾驶舱显示器和辅助机器人。 目前，产品线的构建知道它们需要发展以纳入新功能和更新的软件，但不知道如何确保它们在发生此类变化时仍能安全运行。 这项研究：（1）调查安全关键产品线中常见和有问题的演变类型，（2）扩展安全分析技术，以便随着软件的演变有效地更新产品线安全分析，（3）开发自动化工具支持，（4）应用和经验评估结果。 这项工作的意义在于，它提高了对安全关键产品线如何发展的理解，并开发了分析技术、工具和策略，以降低安全分析的成本，提高不断发展的产品线的安全性。教育活动，开发教材和从事研究，以及与工业界的参与，扩大了研究的影响。

ABSTRACT0541163Robyn LutzIowa State UniversitySafety Analysis of Evolving Product LinesChange can jeopardize the safety of a software system. When change occurs in a product line, the safety consequences can be even greater because multiple systems are involved. Examples of safety-critical product lines include cardiac pacemakers, communication satellites, airplane cockpit displays, and assistive robots. Product lines are currently built knowing that they will need to evolve to incorporate new features and updated software but not knowing how to ensure that they will still operate safely when such changes occur. This research: (1) investigates types of evolution that are both common and problematic in safety-critical product lines, (2) extends safety-analysis techniques to efficiently update the product-line safety analysis as the software evolves, (3) develops automated tool support, and (4) applies and empirically evaluates the results. The significance of this work is that it improves understanding of how safety-critical product lines evolve and develops analysis techniques, tools, and strategies to reduce the cost of safety analysis and enhance the safety of evolving product lines. Educational activities to develop teaching materials and engage undergraduates in research, as well as involvement with industrial communities, broaden the impact of the research.