第二 ACES-MB@MoDELS公司 2009年:美国科罗拉多州丹佛
斯特凡·范·巴伦 , 托马斯·威格特 , 伊莱娜·奥贝尔 :
2009年10月6日,作为2009年模型驱动工程语言和系统国际会议(MoDELS'09)的一部分,第二届基于模型的嵌入式系统体系结构和构建国际研讨会(ACES-MB 2009)在美国科罗拉多州丹佛举行。 CEUR研讨会记录 507, CEUR-WS.org公司 2009 马可·迪纳塔莱 :
前言。
嵌入式系统领域专用语言
丹妮拉·坎西拉 , 弗朗索瓦梗 , 法比安·贝尔蒙特 , 休伯特·杜布瓦 , 胡斯卡·埃斯皮诺萨 , 塞巴斯蒂安·杰拉德 , 阿诺德·库库鲁 :
SOPHIA:基于模型的安全工程建模语言。 埃梅卡·艾伊西 , 约瑟夫·波特 , 乔·霍尔 , 尼古拉斯·科滕斯特特 , Xenofon D.Koutsoukos公司 , Janos Sztipanovits公司 :
PaNeCS:一种用于网络控制系统基于无源性设计的建模语言。
分析和形式化
克里斯托·安吉洛夫 , Krzysztof Sierszecki公司 , 于国 :
分布式嵌入式控制系统的形式化设计模型。 谭丽丽(Lili Tan) , 比约恩·瓦赫特 , 菲利普·卢卡斯 , 莱因哈德·威廉姆 :
改进Matlab Simulink/Stateflow的时序分析。
AADL公司
穆罕默德·亚辛·库里 , 马吕斯·博兹加 :
使用AADL的分布式嵌入式系统原型。 Dries Langsweirdt公司 , 伊夫·范杜乌德 , 尤兰德·贝伯斯 :
面向嵌入式系统基于AADL建模的智能工具支持。 马可·波扎诺 , 亚历山德罗·西马蒂 , Joost-Pieter Katoen公司 , 越南元 , 托马斯·诺尔 , 马可·罗维里 :
关键嵌入式系统的基于模型的协同设计。
可变性和重新配置
约翰·埃尔斯福克 , 约翰·利利乌斯 , 贾里·穆里宁 , 阿里·萨洛梅基 , 尼古拉斯·福斯 , 约翰尼·尼伦德 :
嵌入式系统设计中的设计复杂性管理。 戈兹·博特威克 , 安德烈亚斯·波尔泽 , 斯特凡·科瓦列夫斯基 :
使用高阶变换导出嵌入式系统的可变机制。 巴兹尔·贝克尔 , 霍尔格·吉斯 , 斯特凡·诺依曼 , 马丁·申克 , 阿里安·特雷弗 :
基于模型的AUTOSAR体系结构在线重构扩展。