11.EMSOFT 2011:台湾台北
萨马尔吉特·查克拉博蒂 , 艾哈迈德·杰拉亚 , 桑乔伊·巴鲁阿 , 塞巴斯蒂安·费奇梅斯特 以下为:
第十一届嵌入式软件国际会议论文集,EMSOFT 2011,第七届嵌入式系统周,ESWeek 2011,台湾台北,2011年10月9日至14日。 ACM公司 2011 ,国际标准图书编号 978-1-4503-0714-7
主题演讲
杰拉德·贝瑞 以下为:
复杂嵌入式系统的挑战和潜在解决方案。 1-2
建模
爱德华·A·李 以下为:
异构参与者建模。 3-12 明扬南 , 尼兹酒神 , 卢兹·沃奇 , Lui Sha先生 以下为:
开放式分析运行时模型的资源分配契约。 13-22 本·利克利 , 查尔斯·谢尔顿 , 伊丽莎白·拉特罗尼科 , 爱德华·A·李 以下为:
用于静态模型分析的实用本体框架。 23-32
系统
扬·维泰克 , 托马斯·卡利贝拉 以下为:
系统研究中的重复性、再现性和严谨性。 33-38 司素熙 , 贾斯汀·威尔逊 , 路晨阳 , 克里斯托弗·D·吉尔 以下为:
RT-Xen:在Xen中实现实时虚拟机监控程序调度。 39-48 Hyosu Kim先生 , 米苏布·李 , Wookhyun Han公司 , 基尔霍·李 , Insik胫骨 以下为:
Aciom:应用程序特性—在android平台上感知磁盘和网络i/o管理。 49-58
同步和分配
Borzoo Bonakdarpour公司 , 马吕斯·博兹加 , 让·奎尔贝夫 以下为:
具有优先级的基于组件的模型的自动化分布式实现。 59-68 比约恩·勃兰登堡 , 詹姆斯·H·安德森 以下为:
集群调度下的实时资源共享:互斥锁、读写锁和k-exclusion锁。 69-78 毕成秀 , 德尼恩·李 , 崔伟国(Tei-Wei Kuo) 以下为:
多核实时系统的任务同步和分配。 79-88
混合动力系统
奥德·马勒 以下为:
关于欠定动力系统。 89-96 姜柳 , 詹乃军(Naijun Zhan) , 赵恒军 以下为:
计算多项式动力系统的半代数不变量。 97-106 苏斯米特·贾 , 桑吉特·塞希亚 , 阿什什·蒂瓦里 以下为:
混合系统最优开关逻辑的综合。 107-116
语言、分析和转换
托马斯·赖因巴赫 , 约格·布劳尔 以下为:
使用布尔逻辑精确重建控制流。 117-126 Borzoo Bonakdarpour公司 , 林一燕 , Sandeep S.Kulkarni 以下为:
自动将故障恢复添加到基于网络物理组件的模型中。 127-136 阿尔伯特·本文尼斯特 , 蒂莫西·布鲁克 , 贝诺·特凯劳德 , 马克·普泽特 以下为:
带有层次自动机的混合同步语言:静态类型和同步代码转换。 137-148
验证和保证
帕沃尔·塞恩 , 托马斯·汉津格 以下为:
从布尔到定量合成。 149-154 BaekGyu Kim(白居金) , 阿纳希德·阿尤布 , 奥列格·索科尔斯基 , 因苏普·李 , 保罗·L·琼斯 , 张毅(音) , 拉乌尔·普拉夫·杰特利 以下为:
GPCA输液泵软件的安全保证开发。 155-164 拉杰夫·阿鲁尔 , 阿舒托什·特里维迪 以下为:
时间系统定量分析的相关平均成本和折现成本。 165-174
网络
博格丹·塔纳萨 , Unmesh D.Bordoloi公司 , 佩特鲁·埃利斯 , 彭泽波 以下为:
flexray静态段的可靠框架包装。 175-184 鲁伊·桑托斯 , 莫里斯·贝纳姆 , 托马斯·诺尔特 , 保罗·佩德雷拉斯 , 路易斯·阿尔梅达 以下为:
以太网交换机中的多级分层调度。 185-194 穆罕默德·巴马赫拉马 , 托多尔·斯特凡诺夫 以下为:
嵌入式流应用程序中数据相关任务的硬时间调度。 195-204
认证
克劳斯·哈维隆德 , 杰拉德·J·霍尔兹曼 以下为:
软件认证:编码、代码和编码器。 205年至210年 约翰·拉什比 以下为:
飞机软件认证面临的新挑战。 211-218 阿兰·瓦辛格 , 马克·劳福德 , T.S.E.Maibaum公司 以下为:
加拿大核工业的软件认证经验:未来的教训。 219-226 奥列格·索科尔斯基 , 因苏普·李 , 艾瑞克·海姆达尔的垫子 以下为:
医疗网络物理系统的监管审批面临的挑战。 227-232
实时调度
普拉图什·库马尔 , 陈建嘉 , 洛塔尔·蒂勒 以下为:
按需服务器:硬实时系统的通用资源预留。 233-242 乔纳斯·迪默 , 乔纳斯·罗克斯 , 米尔恰·尼格拉 , 斯特芬·斯坦因 , 罗尔夫·恩斯特 以下为:
具有两阶段仲裁的网络的实时通信分析。 243-252 大邱公园 , 宋泰·金 以下为:
可证明二重临界系统的动态调度算法及其可调度性分析。 253-262
汽车控制软件
曼弗雷德·布罗伊 , 萨马尔吉特·查克拉博蒂 , Dip戈斯瓦米 , S.拉梅什 , Manoranjan Satpathy公司 , 斯特凡·雷斯梅里塔 , 沃尔夫冈·普雷 以下为:
汽车控制软件的跨层分析、测试和验证。 263-272
验证
拉杰夫·阿鲁尔 以下为:
混合系统的形式验证。 273-278 哈雷尔 , 罗比·兰伯特 , 阿萨夫·马龙 , 杰拉·韦斯 以下为:
模型检查行为程序。 279-288 Lu Zhao先生 , 李国栋 , 比约恩·德萨特 , 约翰·雷格尔 以下为:
ARMor:经过充分验证的软件故障隔离。 289-298
控制系统
鲁帕克·马朱姆达尔 , 因德拉尼尔·萨哈 , 马吉德·扎马尼 以下为:
控制系统的性能软件调度器综合。 299-308 塔耶布·布哈迪巴 , 昆廷·沙巴 , 格温娜·德拉瓦尔 , 埃里克·鲁滕 以下为:
分形构件系统重构的同步控制:案例研究。 309-318
WCET分析和闪存
朱棣文公爵 , 佐克森·贾法尔 以下为:
用于WCET路径分析的复杂回路的符号模拟。 319-328 扬·C·克莱因斯伯格 , 海科·福尔克 , 彼得·马韦德尔 以下为:
准确分析缓存相关抢占延迟的协同方法。 329-338 梁实 , 李建华 , 薛俊杰(Chun Jason Xue) , 杨成墨 , 周学海 以下为:
ExLRU:闪存的统一写缓冲缓存管理。 339-348
教程
萨马尔吉特·查克拉博蒂 , 马可·迪纳塔莱 , 海科·福尔克 , 马丁·卢卡谢维奇 , 弗兰克·斯隆卡 以下为:
分布式汽车控制应用程序的定时和可调度性分析。 349-350 萨德克·本萨勒姆 , Kees Goossens公司 , 克里斯托夫·基尔希 , 罗马·奥伯马瑟 , 爱德华·A·李 , 约瑟夫·西法基斯 以下为:
可靠嵌入式系统的时间可预知和可组合体系结构。 351-352