2017年第五届IMBSA:意大利特伦托
马可·波扎诺 , 伊安妮斯·帕帕佐普洛斯 :
基于模型的安全与评估——第五届国际研讨会,2017年IMBSA,意大利特伦托,2017年9月11-13日,会议记录。 计算机科学课堂讲稿 10437, 施普林格 2017 ,国际标准图书编号 978-3-319-64118-8
安全流程
马可·菲拉克斯 , 蒂姆·冈索雷克 , 弗兰克·奥特米耶 :
构建我们可以依赖的模型:基于模型的验证技术的需求可追溯性。 3-18 塔蒂亚娜·普罗斯维诺娃 , 埃斯特尔·塞兹 , 克里斯特尔·塞金 , 皮埃尔·维雷利泽 :
处理安全和系统模型之间的一致性。 19-34 安东尼·勒让德 , 阿格尼斯·拉努斯 , 安托万·劳齐 :
工业环境中安全分析和系统架构设计之间的模型同步。 35-49 阿萨纳西奥斯视网膜炎 , 伊安妮斯·帕帕佐普洛斯 , 伊安妮斯·索洛科斯 , 大卫·帕克 , 尼古拉斯·马特拉卡斯 , 塞普塔维拉·莎维亚 :
模型关联安全案例。 50-63
安全模型和语言
朱利安·布鲁内尔 , 彼得·菲勒 , 杰尔·雨果斯 , 布鲁斯·刘易斯 , 塔蒂亚娜·普罗斯维诺娃 , 克里斯特尔·塞金 , 卢兹·沃奇 :
与AADL和AltaRica进行安全分析。 67-81 瓦利德·莫赫塔尔·本纳库尔 , 勒拉克鲁尔 , 安托万·劳齐 :
使用生产树对数据中心电气系统进行安全分析。 82-96 丹妮尔·斯图尔特 , 迈克尔·沃伦 , 达伦·D·科弗 , 马特斯·佩尔·埃里克·海姆达尔 :
安全工程的建筑建模与分析。 97-111 理查德·巴纳赫 :
出现故障时的不变管理。 112-128 莱昂纳多·蒙泰奇 , 芭芭拉·加利纳 :
SafeConcert:社会技术系统协调安全建模的元模型。 129-144
故障检测和传播
亚历山大·阿尔博尔 , 西尔瓦诺·达尔·齐利奥 , 纪尧姆婴儿 , 克里斯特尔·塞金 , 皮埃尔·维雷利泽 :
用AltaRica分析时间失效传播的模型检验方法。 147-162 索哈格·卡比尔 , 伊安妮斯·帕帕佐普洛斯 , 马丁·沃克 , 大卫·帕克 , 何塞·伊格纳西奥·艾兹普鲁阿 , 约格·兰普 , 埃里希·吕德 :
基于模型的HiP-HOPS扩展,用于动态故障传播研究。 163-178 弗朗西斯科·坎纳利 , Michele比较 , 恩里科·齐奥 :
基于第一原理模型模拟器的故障诊断工具。 179-193
汽车领域的安全评估
霍贾特·科斯洛夫杰尔迪 , 卡尔·梅恩克 , 安德烈亚斯·拉斯穆森 :
安全关键型汽车应用的基于学习的测试。 197-211 塞巴斯蒂安·雷特 , 马克·泽勒 , 凯·霍菲格 , 亚历山大·维尔 , 奥利弗·布林曼 , 沃尔夫冈·罗森斯蒂尔 :
使用误差影响模拟验证组件故障树。 212-226 陈德九 , 中海路 :
基于模型的网络物理系统自动性能和安全意识动态自我评估方法。 227-240
案例研究
奥兰多·费兰特 , 路易吉·迪·古列尔莫 , 瓦莱里奥·塞尼 , 阿尔贝托·费拉里 :
基于模型的安全评估在航空电子电源系统验证中的应用。 243-254 本杰明·比特纳 , 马可·波扎诺 , 亚历山德罗·西马蒂 :
航天器工程的定时故障传播分析:欧空局太阳轨道飞行器案例研究。 255-271