第八届安全关键系统正式技术国际研讨会
（安OOPSLA公司/斯普拉什2022卫星事件）
新西兰奥克兰，2022年12月7日
在经历了一段由冠状病毒引起的间歇期后，FTSCS于今年12月重返阳光明媚的新西兰！
在发电和配电、航空电子、汽车系统和医疗系统等领域，越来越需要使用正式方法来验证和验证安全关键系统。尤其是较新的标准，如DO-178C（航空电子设备）、ISO 26262（汽车系统）、IEC 62304（医疗设备）和CENELEC EN 50128（铁路系统），强调了正式方法和基于模型的开发的必要性，从而加快了此类方法在工业中的应用。
本研讨会的目的是将对应用正式和半正式方法感兴趣的研究人员和工程师聚集在一起，以提高安全关键型计算机系统的质量。FTSCS致力于促进用于工业应用的形式化方法和工具的研究和开发，尤其对形式化方法的工业应用感兴趣。具体主题包括但不限于：
- 使用正式方法分析安全关键系统的案例研究和经验报告，包括航空电子、汽车、医疗和其他类型的安全关键和QoS-关键系统
- 支持复杂安全/QoS-关键系统的自动分析、认证、调试等的方法、技术和工具
- 解决工业中形式化方法局限性（可用性、可伸缩性等）的分析方法
- 对工业中使用的建模语言的形式化分析支持，如AADL、托勒密、SysML、SCADE、Modelica等。
- 从经过验证的模型生成代码。
研讨会将为讨论和交流创新想法提供一个平台，因此鼓励提交有关正在进行的工作的报告。
