ASSURE 2018已经成功结束。
更新
新!2018-07-30: ASSURE 2018项目已经公布。最后一个程序是视登记情况而定。如果您还没有注册，请通过SAFECOMP 2018注册ASSURE 2018。
2018-06-21: ASSURE 2018将于2018年9月18日(星期二)举行。被录用的论文和项目将很快在这里公布。
2018-06-12:录用论文已通知作者。最终的、可以上镜的版本和签署的版权发布表格将于2018年6月21日到期。关于提交最终版本和版权表格的说明也已张贴。
2018-05-30:论文截稿日期已过。提交截止。
2018-05-18: ASSURE截止日期延长一周，至2018年5月29日。
2018-04-09:向ASSURE 2018提交论文的截止日期为2018年5月22日。现在就提交论文!
2018-03-28:见征稿或下载PDF格式征稿。
2018-03-26: ASSURE 2018网站上线!
介绍
第六届软件密集型系统保证案例国际研讨会(ASSURE 2018)将于今年与SAFECOMP 2018同时举行，旨在为保证案例原则和技术的应用提供高质量的国际论坛，以保证关键的软件密集型系统的可靠性属性得到满足。
研讨会的主要目标是:
探索为软件密集型系统创建和评估保证用例的技术
检查保证案例在关键系统的工程生命周期中的作用
确定在开发过程中有效实践的维度估价担保个案
调查关系可靠性技术和保证案例之间的关系
确定关键的研究挑战，并确定未来发展的路线图
我们邀请未在其他地方发表/提交的原创，高质量的研究，实践，工具和立场文件。有关主题的更多细节，请参阅完整的论文征集。同时查看提交截止日期和指导方针。
2017年9月18日08:00 - 17:30
08:00 - 09:00报名
09:00 - 11:00第一部分欢迎，介绍，主题演讲和信心评估
09:00 - 09:05欢迎和介绍，ASSURE 2018主办方
09:05 - 10:00主题演讲。《保证案例:心态、方法和融合》，罗宾·布卢姆菲尔德著
面向评价的保证案例结构中同层要素间关系分类研究，徐斌，吕明，顾涛，张德东
上午10:30 - 11:00咖啡/茶歇
11:00 - 12:30第二阶段。模式和过程
《保证配方:促进保证模式》，J.费尔斯通和M.科恩著
将攻击建模纳入安全流程，A. Surkovic, D. Hanic, E. lisisova, A. Causevic, K. Lundqvist, D. Wenslandt, C. Falk
可互操作医疗系统的保障案例思考，张颖，B. Larson, J. Hatcliff
12:30 - 13:30午休时间
13:30 - 15:30第三节。工具和自动化
[13:30 - 14:00] M. Maksimov, N. Fung, S. Kokaly, M. Chechik
[14:00 - 14:30] MMINT-A:一种自动变更影响评估工具，N. Fung, S. Kokaly, A. Di Sandro, R. Salay, M. Chechik
14:30 - 15:00 D-Case Steps:编写保证案例的新步骤，Y. Onuma, T. Takai, T. Koshiyama, Y. Matsuno
15:00 - 15:30连续论证工程:解决基于机器学习系统中的不确定性，
石川和松野
下午茶/咖啡休息时间15:30 - 16:00
16:00 - 17:20第四部分。小组会议。保证用例工具的作用是什么?
17:20 - 17:30 ASSURE 2018总结与总结
事件的最后期限研讨会论文2018年5月29日验收通知2018年6月11日照相副本2018年6月21日ASSURE 2018研讨会2018年9月18日SAFECOMP 2018年9月19日至21日
软件在高风险系统中起着关键作用，例如，安全和安全关键系统。现在，一些认证标准/指南建议和/或要求开发软件密集型系统的保证案例，例如国防(英国MoD DS-0056)，航空(CAP 670, FAA的无人机系统运营批准指南)，汽车(ISO 26262)和医疗保健(FDA输液泵总产品生命周期指南)。因此，有必要开发针对软件保证论证开发的模型、技术和工具。
2018年软件密集型系统保障案例研讨会(ASSURE 2018)的目标是:
探索为软件密集型系统创建/评估保证案例的技术;
检查保证案例在关键系统的工程生命周期中的作用;
确定开发和e中有效实践的维度担保案件的估值;
调查关系可靠性技术与保证案例之间的关系;而且,
确定关键的研究挑战，并确定未来发展的路线图。
我们征求高质量的贡献:研究、实践、工具和立场文件，关于保证案例原则和技术的应用，以确保关键软件密集型系统的可靠性属性得到满足。
论文应该试图阐述研讨会的总体目标。
主题
感兴趣的主题包括但不限于:
新兴范例中的保证问题，例如，自适应和自动无名系统，包括自动驾驶汽车、无人驾驶飞机系统、复杂医疗保健和决策系统等。
标准:行业指南和标准越来越多地要求开发保证案例，例如，汽车标准ISO 26262和FDA关于输液泵总产品生命周期的指南。
认证和法规:保证案例在关键系统认证中的作用和使用，以及对法规的遵从性。
经验主义:对不同领域和认证制度中保证案例的适用性进行经验评估。
可靠的体系结构:如何容错的体系结构和设计措施，如多样性和分区与保险案件有关吗?
可靠性分析:两者之间有什么关系可靠性分析技术和保证案例范例之间的关系?
安全和保安协同工程:保安对安全的影响是什么，特别是安全案例，以及如何协调安全和保安案例(例如，分别按照ISO 26262和SAE J 3061的建议)?
工具:使用软件工程工具(测试、正式验证、代码生成器)的输出作为保证用例中的证据/使用工具对保证用例进行建模、分析和管理。
应用形式化技术来创建、分析、重用和模块化参数。
探索实时、并发和分布式系统的保证用例的相关技术。
软件质量属性的保证，例如，安全性、安全性和可维护性，以及一般的可靠性，包括权衡，并探索保证用例本身质量的概念。
特定于领域的保证问题，
