首届安全关键系统形式技术国际研讨会论文集
计算机科学中的逻辑
2013-01-01 v1 软件工程
系统与控制
摘要
本卷收录了首届安全关键系统形式技术国际研讨会（FTSCS 2012）的会议论文集，该研讨会于 2012 年 11 月 12 日在京都举行，是 ICFEM 会议的卫星会议。本研讨会旨在汇聚关注应用（半）形式方法以提升安全关键计算机系统质量的研究人员和工程师。FTSCS 特别关注形式方法的工业应用。主题包括：- 用于安全关键和 QoS 关键系统（包括航空电子、汽车和医疗系统）的形式方法；- 支持自动化分析、认证、调试等的方法、技术和工具；- 解决形式方法在工业中局限性的分析方法；- 对工业中使用的建模语言（如 AADL、Ptolemy、SysML、SCADE、Modelica 等）的形式分析支持；以及 - 从已验证模型生成代码。本次研讨会收到 25 篇投稿，其中 21 篇为常规论文，4 篇为工具/进行中工作/立场论文。每篇投稿均由三位审稿人评审；基于评审意见和广泛讨论，程序委员会选出了九篇常规论文收录于本卷。我们的议程还包括 Ralf Huuck 的特邀报告。
引用
@article{arxiv.1212.6574,
title = {Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems},
author = {Peter Csaba Ölveczky and Cyrille Artho},
journal= {arXiv preprint arXiv:1212.6574},
year = {2013}
}