2014年第四届IMBSA:德国慕尼黑
弗兰克·奥特米耶 , 安托万·劳齐 :
基于模型的安全与评估——第四届国际研讨会,2014年10月27日至29日,德国慕尼黑,IMBSA。 诉讼程序。 计算机科学课堂讲稿 8822, 施普林格 2014 ,国际标准图书编号 978-3-319-12213-7
建模范例
李少军 , 苏铎 :
使用Altarica的实用MBSA建模过程。 1-13 Mykhaylo Nykolaychuk公司 , 迈克尔·利帕切夫斯基 , 蒂诺·利布施 , 弗兰克·奥特米耶 :
关于有效地指定用于模型检查的模型。 14-27 梅丽莎·伊萨德 , 勒拉克鲁尔 , 安托万·劳齐 :
铁路系统规范形式化的基于模型的方法。 28-42
验证和测试
杜比·威尔金森 , 迈克尔·巴特勒 , 约翰·科利 :
安全关键系统需求驱动测试生成的系统方法。 43-56 马里恩·莫雷尔 :
集成和模块化航空电子体系结构早期验证的基于模型的安全方法。 57-69 路易斯·席尔瓦·阿齐夫多 , 大卫·帕克 , 伊安妮斯·帕帕佐普洛斯 , 马丁·沃克 , 伊安妮斯·索洛科斯 , 鲁伊·埃斯特夫斯·阿劳霍 :
探讨不同成本启发式在安全完整性等级分配中的影响。 70-81
故障检测和处理
本杰明·比特纳 , 马可·波扎诺 , 亚历山德罗·西马蒂 , 雷吉斯·德·费卢克 , 马可·加里奥 , 安德烈亚·吉奥托 , 尤里·尤斯坦 :
航空航天中FDIR设计的集成过程。 82-95 索哈格·卡比尔 , 马丁·沃克 , 伊安妮斯·帕帕佐普洛斯 :
将时间故障树转化为贝叶斯网络的动态系统可靠性分析。 96-109 凯·霍菲格 , 马克·泽勒 , 拉尔斯·格伦斯克 :
metaFMEA-A可重用FMEA框架。 110-122
汽车领域的安全评估
亚伯拉罕·切尔菲 , 安托万·劳齐 , 米歇尔·利曼 :
基于AltaRica 3的ISO 26262汽车安全机制模型。 123-136 玛格德·哈利勒 , 亚历杭德罗·普列托 , 弗洛里安·霍尔兹尔 :
一种基于模式的汽车领域安全机制引导重用方法。 137-151 斯特凡·施密杜贝尔 , 迈克尔·德乌布泽 , 拉尔夫·马德 , 迈克尔·尼梅茨 , 尤尔根·莫托克 :
推导在多核处理器上部署实时任务的指南。 152-165
案例研究
耶莱娜·弗雷德里克 , 弗拉基米尔·鲁帕诺夫 , 迈克尔·阿姆布鲁斯特 , 阿洛伊斯·克诺尔 :
自动车辆的自适应误差和传感器管理:基于模型的方法和运行时系统。 166-180 哈拉·莫塔达 , 塔蒂亚娜·普罗斯维诺娃 , 安托万·劳齐 :
AltaRica 3.0电气系统的安全评估。 181-194 穆罕默德·雷扎·戈拉米 , 哈尼法·布切内布 :
将形式化方法应用于安全关键型健康应用程序。 195-208