埃梅卡·艾伊西；张振凯；Koutsoukos，Xenofon公司；约瑟夫·波特；加博尔·卡赛；贾诺斯·什蒂帕诺维茨 基于模型的控制设计和网络物理系统集成：自适应巡航控制案例研究。 （英语） Zbl 1263.93083号 控制科学杂志。工程师。 2013年，文章ID 678016，15 p.（2013）. 概述：由于缺乏对控制设计阶段的组件与实际平台/网络上软件生成和部署的组件集成过程中经常出现的复杂和紧密交互的理解，汽车控制应用程序的系统设计是一个具有挑战性的问题。为了应对这一挑战，我们提出了一种系统方法和一个工具链，使用定义良好的模型来集成各个设计阶段的组件，特别强调限制集成过程中表现出来的复杂交互，例如定时、部署和量化。我们提供了一个用于评估和测试设计过程的实验平台。将该方法应用于自适应巡航控制的开发中，我们给出的实验结果证明了该方法的有效性。 引用于1文件 MSC公司： 93亿B51 设计技术（稳健设计、计算机辅助设计等） 93B40码 系统理论中的计算方法（MSC2010） 关键词：控制设计；不同设计阶段的集成；工具链；设计过程的评估和测试 软件：托勒密；卡西姆 PDF格式BibTeX公司 XML格式引用 \textit{E.Eyisi}等人，J.控制科学。Eng.2013，文章ID 678016，15 p.（2013；Zbl 1263.93083） 全文： DOI程序 参考文献： [1] J.Mossinger，“深入了解车辆电子控制单元的硬件和软件复杂性”，载于《计算和信息技术进展》，《计算机和信息科学通信》第198卷，第99-1062011页。 [2] J.Mossinger，“汽车系统中的软件”，IEEE软件，第27卷，第2期，第92-94页，2010年。 [3] A.Michailidis、U.Spieth、T.Ringler、B.Hedenetz和S.Kowalewski，“基于AUTOSAR的汽车软件开发早期阶段的测试前加载”，载于《欧洲会议和展览设计、自动化和测试学报》（日期'10），第435-440页，2010年3月。 [4] A.Sangiovanni-Vincentelli，“汽车行业的电子系统设计”，IEEE Micro，第23卷，第3期，第8-18页，2003年·Zbl 05097989号 ·doi:10.1109/MM.2003.1209462 [5] J.A.Cook、I.V.Kolmanovsky、D.McNamara、E.C.Nelson和K.V.Prasad，“控制、计算和通信：二十一世纪模型T的技术”，《IEEE学报》，第95卷，第2期，第334-355页，2007年·doi:10.1109/JPROC.2006.888384 [6] A.Sangiovanni Vincentelli和M.Di Natale，“汽车应用的嵌入式系统设计”，《计算机》，第40卷，第10期，第42-51页，2007年·Zbl 05332902号 ·doi:10.1109/MC.2007.344 [7] T.Stahl和M.Volter，《模型驱动软件开发》，John Wiley and Sons出版社，2006年。 [8] J.Porter，G.Hemingway，H.Nine等人，“用于高置信分布式控制系统设计的esmol语言和工具第1部分：语言、框架和分析”，技术代表ISIS-10-109，范德比尔特大学，2010年。 [9] A.Ledeczi、M.Maroti、A.Bakay等人，“通用建模环境”，《IEEE智能信号处理研讨会论文集》（WISP’01），2001年5月。 [10] H.Kopetz和G.Bauer，“时间触发体系结构”，《IEEE学报》，第91卷，第1期，第112-126页，2003年·doi:10.10109/日本专利审查委员会2002.805821 [11] N.Navet、Y.Song、F.Simonot-Lion和C.Wilwert，“汽车通信系统的趋势”，IEEE会议录，第93卷，第6期，第1204-12222005页·doi:10.1109/JPROC.2005.849725 [12] M.Broy，S.Chakraborty，D.Goswami等人，“汽车控制软件的跨层分析、测试和验证”，载于第九届ACM嵌入式软件国际会议（EMSOFT’11），第263-272页，2011年。 [13] U.Drolia、Z.Wang、Y.Pant和R.Mangharam，“AutoPlug:电子控制器单元测试和验证的汽车试验台”，载于第14届IEEE智能运输系统国际会议（ITSC’11），第1187-1192页，2011年。 [14] W.Hu、M.Wang和Y.Lin，“关于基于软件的汽车控制系统开发和验证”，《工业电子学会第33届IEEE年会论文集》（IECON’07），第857-862页，2007年。 [15] A.Ray、I.Morschhaeuser、C.Ackermann、R.Cleaveland、C.Shelton和C.Martin，“使用基于仪器的验证验证汽车控制软件”，载于第24届IEEE/ACM国际自动化软件工程会议（ASE’09），第15-25页，2009年11月·doi:10.1109/ASE.2009.98 [16] J.C.Gerdes和J.K.Hedrick，“通过协调油门和制动驱动实现车辆速度和间距控制”，《控制工程实践》，第5卷，第11期，第1607-1614页，1997年·doi:10.1016/S0967-0661（97）10016-8 [17] J.K.Hedrick和P.P.Yip，“多滑面控制：理论和应用”，《动力系统、测量和控制杂志》，第122卷，第4期，第586-5932000页。 [18] P.A.Ioannou和C.C.Chien，“自主智能巡航控制”，IEEE车辆技术汇刊，第42卷，第4期，第657-6721993页。 [19] K.Yi、S.Lee和Y.D.Kwon，“乘用车智能巡航控制法律的研究”，《汽车工程杂志》，第215卷，第2期，第159-169页，2001年·doi:10.1243/0954407011525502 [20] P.S.Fancher、H.Peng和Z.Bareket，“重型商用车三种车头时距控制系统的比较分析”，《车辆系统动力学》，第25卷，第1期，第139-151页，1996年。 [21] B.A.Güven\cc和E.Kural，“自适应巡航控制模拟器：一种低成本、多驱动的嵌入式模拟器”，IEEE控制系统杂志，第26卷，第3期，第42-55页，2006年·doi:10.1109/MCS.2006.1636309 [22] K.Breuer和M.Weilkes，“acc-systems and components的通用测试车辆”，技术代表，1999年。 [23] A.R.Girard、S.Spry和J.K.Hedrick，“智能巡航控制应用：实时嵌入式混合控制软件”，IEEE Robotics and Automation Magazine，第12卷，第1期，第22-28页，2005年·doi:10.1109/MRA.2005.1411415 [24] E.Armengaud、A.Tengg、M.Driussi、M.Karner、C.Steger和R.Weiß，“汽车软件体系结构：从事件触发到时间触发通信方案的迁移挑战”，载于第七届嵌入式系统智能解决方案研讨会论文集（WISES’09），第95-103页，2009年6月。 [25] J.Sztipanovits、X.Koutsoukos、G.Karsai等人，“走向网络物理系统集成的科学”，《IEEE学报》，第100卷，第1期，第29-44页，2012年。 [26] J.Eker、J.W.Janneck、E.A.Lee等人，“驯服异质性——托勒密方法”，《IEEE学报》，第91卷，第1期，第127-143页，2003年·doi:10.1109/JPROC.2002.805829 [27] MathWorks实时研讨会，http://www.mathworks.com/products/rtw/。 [28] B.Chou和T.Erkkinen，“将模型从浮点转换为定点以生成生产代码”，Matlab Digest，2008年11月。 [29] E.Magyari、A.Bakay、A.Lang等人，“Udm:实现领域特定建模语言的基础设施”，《第三届OOPSLA领域特定建模研讨会论文集》，美国加利福尼亚州阿纳海姆，2003年。 [30] Ttelenet、，http://www.tttech.com/en/products/ttethernet/。 [31] O.Sinnen，并行系统任务调度，Wiley-Interscience，美国纽约州纽约市，2007年。 [32] 卡西姆，http://www.carsim.com/。 [33] 国家仪器，http://www.ni.com/。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。