ASSURE 2017已圆满结束。
更新
- 2017-10-01: ASSURE 2017公司ncluded成功。被接受的论文发表在SAFECOMP 2017年研讨会论文集中。感谢您的出席!2018年再见。
- 2017-08-28: ASSURE 2017项目已经公布。最后一个程序是视登记情况而定。如果您还没有注册，请通过SAFECOMP 2017注册ASSURE 2017。
- 2017-08-27: ASSURE 2017将于2017年9月12日(星期二)举行。被录用的论文和项目将很快在这里公布。
- 2017-06-02:录用论文已通知作者。最终的、可以上镜的版本和签署的版权发布表格将于2017年6月12日到期。关于提交最终版本和版权表格的说明也已张贴。
- 2017-05-24:论文提交截止日期已过。提交截止。
- 2016-05-16: ASSURE截止日期延长了一周，至2017年5月24日。
- 2017-03-27:德国罗伯特博世公司中央研究部安全、可靠性和可用性首席专家Simon Burton博士受邀作主题演讲!观看这个空间的主题和演讲摘要。
- 2017-03-22:投稿截止日为2017年5月17日。现在就提交论文!
- 2017-03-01: ASSURE 2017网站正式上线!
介绍
第五届软件密集型系统保证案例国际研讨会(ASSURE 2017)今年与SAFECOMP 2017同时举行，旨在为保证案例原则和技术的应用提供高质量的国际论坛，以保证关键的软件密集型系统的可靠性属性得到满足。
研讨会的主要目标是:
- 探索为软件密集型系统创建和评估保证用例的技术
- 检查保证案例在关键系统的工程生命周期中的作用
- 确定在开发过程中有效实践的维度估价担保个案
- 调查关系可靠性技术和保证案例之间的关系
- 确定关键的研究挑战，并确定未来发展的路线图
我们邀请未在其他地方发表/提交的原创，高质量的研究，实践，工具和立场文件。有关主题的更多细节，请参阅完整的论文征集。同时查看提交截止日期和指导方针。
程序
ASSURE 2017计划
2017年9月12日08:00 - 17:30
08:00 - 09:00报名
09:00 - 11:00第一部分欢迎，介绍，主题演讲和保证案例框架
09:00 - 09:05欢迎和介绍，ASSURE 2017主办方
09:05 - 10:00主题演讲:高度自动驾驶中机器学习的安全性论证，Simon Burton(与Lydia Gauerhof和Christian Heinzemann合作)
10:00 - 10:30保证案例演化的思想实验——从逻辑的角度看，木下正、木下正
上午10:30 - 11:00咖啡/茶歇
11:00 - 12:30第二阶段。保障案例工具支持
11:00 - 11:30为与系统模型的保证案例集成的统一模型接口，A. Wardziński和P.琼斯
11:30 - 12:00 ExplicitCase:基于模型的系统与安全案例集成开发，C. c
[12:00 - 12:30] D-Case Communicator:基于web的多利益相关者GSN编辑器，Y. Matsuno
12:30 - 13:30午休时间
13:30 - 15:30第三节。保安保证个案
[13:30 - 14:00]邓文伟，吴勇，陈斌，卡尔巴齐克。安全与保障协同分析的系统理论与组件中心方法
[14:00 - 14:30]李建军，李建军，李建军，李建军。基于多目标模型的安全约束分析
14:30 - 15:00系统安全分析与保障案例的攻击建模，A. Altawairqi, M. Maarek
15:00 - 15:30使用保障案例框架制定安全战略和政策，R. Bloomfield, P. Bishop, E. Butler, K. Netkachova
下午茶/咖啡休息时间15:30 - 16:00
16:00 - 17:25第四节。引导讨论
17:25 - 17:30 ASSURE 2017总结与总结
即时通讯创造日期
事件的最后期限研讨会论文2017年5月24日验收通知2017年5月31日相机准备副本2017年6月12日ASSURE 2017研讨会2017年9月12日SAFECOMP 2017年9月13日至15日征稿
软件在高风险系统中起着关键作用，例如，安全和安全关键系统。现在，一些认证标准/指南建议和/或要求开发软件密集型系统的保证案例，例如国防(英国MoD DS-0056)，航空(CAP 670, FAA的无人机系统运营批准指南)，汽车(ISO 26262)和医疗保健(FDA输液泵总产品生命周期指南)。因此，有必要开发针对软件保证论证开发的模型、技术和工具。
2017年软件密集型系统保障案例研讨会(ASSURE 2017)的目标是:
- 探索为软件密集型系统创建/评估保证案例的技术;
- 检查保证案例在关键系统的工程生命周期中的作用;
- 确定开发和e中有效实践的维度担保案件的估值;
- 调查关系可靠性技术与保证案例之间的关系;而且,
- 确定关键的研究挑战，并确定未来发展的路线图。
我们征求高质量的贡献:研究、实践、工具和立场文件，关于保证案例原则和技术的应用，以确保关键软件密集型系统的可靠性属性得到满足。
论文应该试图阐述研讨会的总体目标。
主题
感兴趣的主题包括但不限于:
- 新兴范例中的保证问题，例如，自适应和自动无名系统，包括自动驾驶汽车、无人驾驶飞机系统、复杂医疗保健和决策系统等。
- 标准:行业指南和标准越来越多地要求开发保证案例，例如，汽车标准ISO 26262和FDA关于输液泵总产品生命周期的指南。
- 认证和法规:保证案例在关键系统认证中的作用和使用，以及对法规的遵从性。
- 经验主义:对不同领域和认证制度中保证案例的适用性进行经验评估。
- 可靠的体系结构:如何容错的体系结构和设计措施，如多样性和分区与保险案件有关吗?
- 可靠性分析:两者之间有什么关系可靠性分析技术和保证案例范例之间的关系?
- 安全和保安协同工程:保安对安全的影响是什么，特别是安全案例，以及如何协调安全和保安案例(例如，分别按照ISO 26262和SAE J 3061的建议)?
- 工具:使用软件工程工具(测试、正式验证、代码生成器)的输出作为保证用例中的证据/使用工具对保证用例进行建模、分析和管理。
- 应用形式化技术来创建、分析、重用和模块化参数。
- 探索实时、并发和分布式系统的保证用例的相关技术。
- 软件质量属性的保证，例如，安全性、安全性和可维护性，以及一般的可靠性，包括权衡，并探索保证用例本身质量的概念。
- 特定于领域的保证问题，如航空航天、汽车、医疗保健、国防和电力等领域。
- 重用和模块化:Co用于改进保证用例结构重用的契约和模式。
- 保证和论证的不同形式和范式之间的关系，如目标结构符号、STAMP、IBIS和面向目标的形式，如KAOS。
提交
接受论文的提交说明
本文来自作者[掩于岁月]投稿，不代表kzshn号立场，如若转载，请注明出处：https://blog.kzshn.cn/zlan/202507-1143.html
评论列表（4条）
我是kzshn号的签约作者“掩于岁月”！
希望本篇文章《确保2017年》能对你有所帮助！
本站[kzshn号]内容主要涵盖：国足,欧洲杯,世界杯,篮球,欧冠,亚冠,英超,足球,综合体育
本文概览：ASSURE 2017已圆满结束。 更新 2017-10-01: ASSURE 2017公司ncluded成功。被接受...