主页

新闻

• 这个预处理现在已联机。
• 已接受论文列表现已在线（见左侧菜单）。
• 我们邀请的演讲者是克劳斯·哈维隆德（喷气推进实验室）“基于规则的航天器日志分析经验”，以及托马斯·诺尔（RWTH Aachen），他将谈论“航空航天领域的正式模型”。
• 我们提交了42份论文，这将确保举办为期两天的高质量研讨会。
• 一期特刊计算机程序设计科学该期刊将专门刊登《金融时报》2014年精选论文的扩展版本。
• 会议记录将在Springer出版社出版计算机与信息科学中的通信（CCIS）系列。
• 请分发车间海报!
• 文本索取文件现在已联机。请分发！

概述和范围

工业界对使用正式方法实现软件相关的验证安全关键系统，例如航空电子、汽车、，医疗和其他网络物理系统。更新的标准，例如DO-178C（航空电子设备）和ISO 26262（汽车）强调了正式方法的必要性以及基于模型的开发，加快了此类方法在行业中的应用。

这次研讨会的目的是将研究人员聚集在一起以及对正式和半正式应用感兴趣的工程师提高安全关键型计算机系统质量的方法。FTSCS致力于促进用于工业应用的形式化方法和工具尤其对形式化方法的工业应用感兴趣。特定主题包括但不限于：

• 关于使用正式方法的案例研究和经验报告分析安全关键系统，包括航空电子、汽车、，医疗和其他类型的安全关键型和QoS关键型系统
• 支持自动分析的方法、技术和工具，复杂安全/QoS-关键的认证、调试等系统
• 分析方法解决了形式化方法在行业（可用性、可扩展性等）
• 对工业中使用的建模语言的形式化分析支持，如AADL、托勒密、SysML、SCADE、Modelica等。
• 从经过验证的模型生成代码。

研讨会将为讨论和交流提供一个平台创新想法，因此鼓励提交正在进行的工作。

重要日期

论文提交截止日期： 2014年9月6日 摘要：2014年9月12日，23:59 Pago-Pago时间；全文：2014年9月14日23:59 Pago-Pago时间
通知：2014年10月3日

研讨会：2014年11月6-7日