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的建议)?
- 工具:使用软件工程工具(测试、正式验证、代码生成器)的输出作为保证用例中的证据/使用工具对保证用例进行建模、分析和管理。
- 应用形式化技术来创建、分析、重用和模块化参数。
- 探索实时、并发和分布式系统的保证用例的相关技术。
- 软件质量属性的保证，例如，安全性、安全性和可维护性，以及一般的可靠性，包括权衡，并探索保证用例本身质量的概念。
- 特定于领域的保证问题，如航空航天、汽车、医疗保健、国防和电力等领域。
- 重用和模块化:Co用于改进保证用例结构重用的契约和模式。
- 保证和论证的不同形式和范式之间的关系，如目标结构符号、STAMP、IBIS和面向目标的形式，如KAOS。
提交
接受论文的提交说明
如果您的论文已被2018年ASSURE项目接受，请在准备最终论文时遵循以下所有说明。
的最后期限
最后的论文和签署的版权表格将于2018年6月21日截止。这是制作诉讼程序的最后期限。
致谢
在适当的情况下，在论文的末尾包括对您的工作/项目所获得的支持的致谢。
提交期末论文
使用您的EasyChair作者帐户提交最终的，准备拍照的论文
本文来自作者[admin]投稿，不代表gllhb号立场，如若转载，请注明出处：https://www.gllhb.cn/keji/202507-3220.html
评论列表（4条）
我是gllhb号的签约作者“admin”！
希望本篇文章《确保2018年成功》能对你有所帮助！
本站[gllhb号]内容主要涵盖：国足,欧洲杯,世界杯,篮球,欧冠,亚冠,英超,足球,综合体育
本文概览：ASSURE 2018已圆满结束。 更新 新!2018-07-30: ASSURE 2018项目已经公布。最后一个程序是...