ASSURE 2015圆满结束。

更新

• 2015-10-05: ASSURE 2015公司ncluded成功。被接受的论文发表在SAFECOMP 2015年研讨会论文集上。感谢您的出席!2016年再见。

• 2015-06-24:英国民航局Pippa Moore将受邀作主题演讲!
• 2015-06-24: ASSURE 2015项目已公布。最后一个程序是视登记情况而定。如果您还没有这样做，请通过SAFECOMP 2015注册ASSURE 2015。
• 2015-06-15: ASSURE 2015将于2015年9月22日(星期二)举行。被录用的论文和项目将很快在这里公布。
• 2015-06-15:录用论文已通知作者。最终的，准备好拍照的副本和版权表格将于2015年6月28日截止。
• 2015-06-04:论文提交截止日期已过。提交截止。
• 2015-05-28: SAFECOMP 2015将所有研讨会的截止日期(包括ASSURE 2015)再延长一周，至2015年6月3日。
• 2015-05-19: ASSURE截止日期延长一周至2015年5月29日。
• 2015-03-13: ASSURE 2015征稿，论文投稿指南现已发布。
• 2015-03-12:截稿日期为2015年5月22日。
• 2015-03-05: ASSURE 2015网站正式上线!

介绍

ASSURE 2015与SAFECOMP 2015同时举办，旨在为保证案例原则和技术的应用提供一个高质量的国际论坛，以确保关键的软件密集型系统的可靠性特性得到满足。

研讨会的主要目标是:

• 探索为软件密集型系统创建和评估保证用例的技术
• 检查保证案例在关键系统的工程生命周期中的作用
• 确定在开发过程中有效实践的维度估价担保个案
• 调查关系可靠性技术和保证案例之间的关系
• 确定关键的研究挑战，并确定未来发展的路线图

我们邀请未在其他地方发表/提交的原创，高质量的研究，实践，工具和立场文件。有关主题的更多细节，请参阅完整的论文征集。同时查看提交截止日期和指导方针。

程序

08:00 - 09:00报名

09:00 - 11:00第一部分主题演讲和基础

09:00 - 09:10欢迎和介绍，ASSURE 2015主办方

09:10-10:00主题演讲:我们真的要从这里开始吗?Pippa Moore，英国民航局

10:00-10:30通过对GSN核心逻辑的形式解释进行信息保障案例回顾，Victor Bandur, John McDermid

10:30 - 11:00代表保证案件证据的信心，Lian Duan, Sanjai Rayadurgam, Mats Heimdahl, Oleg Sokolsky, Insup Lee

上午11:00 - 11:30咖啡/茶歇

11:30-1:00第二部分。方法和模式

11:30 - 12:00安全案例模式，田口健二，Souma大介，西原秀明

12:00 - 12:30综合安全生命周期，John Knight, Jonathan Rowanhill, Anthony Aiello, Kimberly Wasson

12:30 - 13:00通过ArchiMate确保可靠性的方法，山本修一郎

13:00 - 14:00午休时间

14:00 - 15:30第三节。工具支持和工具演示

14:00 - 14:30保障案例构建块的工具支持:与CAE、katyna Netkachova、Oleksandr Netkachov和Robin Bloomfield一起提供帮助

14:30 - 15:00安全。实验室:用于安全论证的基于模型的领域特定工具，Daniel Ratiu, Marc Zeller和Lennart Kilian

15:00 - 15:30 A安全状态监测系统，John Knight, Jonathan Rowanhill, Jian Xiang

下午茶/咖啡休息时间15:30 - 16:00

16:00 - 16:45第四部分。应用程序和项目概述

16:00 - 16:30基于平台的系统家族的故障类型优化保证，Sam Procter, John Hatcliff, Sandy Weininger, Anura Fernando

16:30 - 16:37《铁路标准中的安全保障》田口健二

16:37 - 16:45《灾害管理计划的保证论证》木下修二著

16:45 - 18:00第五部分。小组讨论和结论

16:45 - 18:00专题讨论:论证在认证和安全风险管理中的作用;

约翰·伯奇，捷豹路虎/ AVL;

阿德拉和城市大学的罗宾·布卢姆菲尔德;

格拉斯哥大学的克里斯·约翰逊;

神奈川大学木下义树;和

Pippa Moore，英国CAA。

18:00总结与总结，ASSURE 2015组织者

即时通讯创造日期

事件的最后期限研讨会论文2015年6月3日截止接受通知2015年6月15日照相准备副本2015年6月28日2015年6月30日ASSURE 2015研讨会2015年9月22日SAFECOMP 2015年9月22日至25日

征稿

软件在高风险系统中起着关键作用，例如，安全和安全关键系统。一些认证标准/指南现在建议和/或要求开发软件密集型系统的保证案例，例如国防(英国MoD DS-0056)，航空(CAP 670)。FAA运营批准指南(无人机系统)，汽车(ISO 26262)和医疗保健(FDA输液泵总产品生命周期指南)。因此，有必要开发针对软件保证论证开发的模型、技术和工具。

2015年软件密集型系统保证案例研讨会(ASSURE 2015)的目标是:

• 探索为软件密集型系统创建/评估保证案例的技术;
• 检查保证案例在关键系统的工程生命周期中的作用;
• 确定开发和e中有效实践的维度担保案件的估值;
• 调查关系可靠性技术与保证案例之间的关系;而且,
• 确定关键的研究挑战，并确定未来发展的路线图。

我们征求高质量的贡献:研究、实践、工具和立场文件，关于保证案例原则和技术的应用，以确保关键软件密集型系统的可靠性属性得到满足。

论文应该试图阐述研讨会的总体目标。

主题

感兴趣的主题包括但不限于:

• 标准:行业指南和标准越来越多地要求开发保证案例，例如，汽车标准ISO 26262和FDA关于输液泵总产品生命周期的指南。
• 认证和法规:保证案例在关键系统认证中的作用和使用，以及对法规的遵从性。
• 可靠的体系结构:如何容错的体系结构和设计措施，如多样性和分区与保险案件有关吗?
• 可靠性分析:两者之间有什么关系可靠性分析技术和保证案例范例之间的关系?
• 工具:使用软件工程工具(测试、正式验证、代码生成器)的输出作为保证用例中的证据/使用工具对保证用例进行建模、分析和管理。
• 运用形式化的技巧来创建和分析论点。
• 探索实时、并发和分布式系统的保证用例的相关技术。
• 新兴计算中的保证问题Nal范式，例如云、移动、虚拟、多核架构、自适应和自动nomous系统。
• 模特与我建模:通过我来表示结构化的参数模型，例如OMG的结构化保证案例tamodel (SACM)。
• 软件质量属性的保证，例如，安全性、安全性和可维护性，以及一般的可靠性，包括权衡，并探索保证用例本身质量的概念。
• 特定于领域的保证问题，如航空航天、汽车、医疗保健、国防和电力等领域。
• 重用和模块化:Co用于改进保证用例结构重用的契约和模式。
• 有限公司保证用例的目标结构符号和需求工程社区的目标导向之间的联系。

提交

论文提交截止。

论文将由至少三名项目委员会成员进行同行评审。接受的论文将发表在SAFECOMP 2015年研讨会论文集中，由施普林格出版，在计算机科学(LNCS)系列讲座笔记中。最好论文的作者可能会被邀请提交一个扩展版本，以便在一个特殊的期刊上发表(暂定)。

1. 所有论文必须是原创作品，未在其他地方发表或提交e。
2. 所有论文应提交至只有PDF格式。在提交之前，请确认论文可以可靠地打印和/或在屏幕上查看。
3. 论文应通知LNCS论文格式指南。
4. 常规(研究，实践或职位)论文可以长达12页，包括图表，参考文献和任何附录。
5. 工具论文可以长达10页，包括图表，参考文献和任何附录。
   • 注意:被接受的工具论文的作者将被期望给出一个演示工具在车间的管理，也就是说，没有屏幕截图。
6. 电子提交论文2015年5月22日2015年5月29日2015年6月3日
   • 注意:登录EasyChair后，选择“新提交”。
   • 然后，请确保选择跟踪软件密集型系统的保证案例，并向本次研讨会提交论文。

委员会

车间的椅子

• Ewen Denney, SGT / NASA Ames，美国
• Ibrahim Habli，英国约克大学
• Ganesh Pai, SGT / NASA Ames，美国

项目委员会(登录)

• Robin Bloomfield，城市大学，英国
• jacri Guiochet, LAAS-CNRS，法国
• 理查德·霍金斯，英国约克大学
• 大卫·海厄姆，德尔福柴油系统公司，英国
• 迈克尔·霍洛威，美国宇航局兰利研究中心
• 保罗·琼斯，美国食品和药物管理局，美国
• 蒂姆·凯利，英国约克大学
• 木下义树，神奈川大学，日本
• 约翰·奈特，美国弗吉尼亚大学
• Andrew Rae，格里菲斯大学，澳大利亚
• 罗杰·里维特，捷豹路虎，英国
• Christel Seguin, ONERA，法国
• Mark-Alexander Sujan，英国华威大学
• 田口健二，AIST，日本
• Alan Wassyng，加拿大麦克马斯特大学
• 肖恩·怀特，英国健康和社会保健信息中心

过去的车间

• 2013年，美国旧金山
• ASSURE 2014，那不勒斯，意大利