弗兰克·辛霍夫;阿兰·普兰泰克;皮埃尔·迪索;勒格朗，杰罗姆 通过Cheddar项目研究实时调度理论的可用性。 （英文） Zbl 1184.68139号 实时系统。 43，第3期，259-295（2009）. 摘要：本文讨论实时关键系统建模和验证。实时调度理论提供了代数方法和算法来验证这些系统的时间约束。然而，即使实时调度理论的使用需求很大且工业应用领域很广（航空电子、航空航天、汽车、自治系统），许多工业项目也不使用实时调度理论进行分析。Cheddar项目研究了为什么不使用实时调度理论，以及如何提高其可用性。该项目于2002年在布雷斯特大学启动。在莱克特。注释计算。科学。5026240-253（2008），我们简要介绍了该项目。本文是对Cheddar项目、其贡献以及正在进行的工作的扩展介绍。 引用于2文件 MSC公司： 68平方米 计算机系统环境下的性能评估、排队和调度 关键词：调度理论;体系结构建模与验证;AADL公司;软件工程工具 软件：Uppaal公司;阿达95;切达干酪;火花;TINA公司;桅杆;酯类 PDF格式BibTeX公司 XML格式引用 \textit{F.Singhoff}等人，《实时系统》。43，第3号，259--295（2009；Zbl 1184.68139） 全文： 内政部 参考文献： [1] Ahn B，Kim J，Lee D，Lee S（2006）嵌入式多媒体应用的实时调度方法。摘自：《2006年普及系统和计算国际会议论文集》，美国内华达州拉斯维加斯，6月26-29日。CSREA出版社，第104–107页 [2] Almeida L，Pedreiras P（2004）时间分区内的调度：响应时间分析和服务器设计。摘自：EMSOFT'04会议记录，9月27-29日，意大利比萨，第95-103页 [3] Altisen K，Gossler G，Sifakis J（2002）基于控制器综合范式的调度程序建模。实时系统J 23（1）：55–84·Zbl 1018.68006号 ·doi:10.1023/A:1015346419267 [4] Alur R，Dill DL（1990）《实时系统建模的自动机》。In：关于算法、语言和编程的国际学术讨论会，LNCS，第443卷，第322-335页·Zbl 0765.68150号 [5] Anderson TE，Bershad BN，Lazowska ED，Levy HM（1992）调度器激活：对并行性的用户级管理的有效内核支持。ACM事务计算系统10（1）：53–79·数字对象标识代码：10.1145/146941.146944 [6] Arinc（1997）航空电子应用软件标准接口。Arinc委员会 [7] Barnes J（2003）《高完整性软件：Spark安全方法》。Addison-Wesley，阅读 [8] Barreto J，Muller G（2002）Bossa:基于语言的实时调度器设计方法。在：RTS’2002，法国巴黎，第19-31页 [9] Behrmann G、David A、Larsen KG（2004）UPPAAL教程。2004年11月17日更新的技术报告，丹麦奥尔堡大学计算机科学系·兹比尔1105.68350 [10] Berry G（2005）《Esterel Studio 5.3入门》。Esterel technologies SA技术代表。可从http://www.esterel-technologies.com/technology/getting-started/ [11] Berthomieu B，Vernadat F（2006）《TINA的时间Petri网分析》。In：关于系统定量评估的第三届国际会议论文集（QEST 2006）。华盛顿IEEE计算机协会·Zbl 1060.68695号 [12] Berthomieu B、Ribet PO、Vernadat F、Bernartt J、Farines J、Bodeveix J、Farail P、Filali M、Padiou G、Michel P、Farail P、Gaufillet P、Dissaux P、Lambert J（2003）《航空电子实时系统验证：COTRE方法》。理论计算机科学电子笔记ENTCS，第80卷 [13] Bodeveix J、Dissaux P、Filali M、Gaufillet P、Vernadat F（2006）《架构描述语言中的行为描述，应用于AADL》。收件人：图卢兹ERTS会议记录 [14] Burns A，Wellings A（1994），HRT-HOOD:硬实时系统的设计方法。实时系统J 6（1）：73–114·doi:10.1007/BF01245300 [15] Castor M、Casteres J、Gasmi F（2007）《建模与仿真》，《模拟器体系结构与性能评估》。空中客车公司的融洽技术 [16] Cottet F、Delacroix J、Kaiser C、Mammeri Z（2002）《实时系统中的调度》。纽约威利 [17] Davis RI，Burns A（2005）分层固定优先级先发制人调度。收录：第26届IEEE国际实时系统研讨会（RTSS’05），美国佛罗里达州迈阿密，第389–398页 [18] Debruyne V，Simonot-Lion F，Trinquet Y（2005）EAST-ADL——一种架构描述语言。收录于：IFIP国际信息处理联合会第176卷，关于架构描述语言的书籍。柏林施普林格，第181-195页 [19] Dissaux P，Singhoff F（2008）Stood和Cheddar:作为分析实时体系结构性能的中枢语言的AADL。In:欧洲实时系统会议记录，法国图卢兹 [20] Dissaux P、Bodeveix J、Filali M、Gaufillet P、Vernadat F（2006）AADL行为附录。附：柏林DASIA会议记录 [21] Drusinsky D（2006）使用UML状态图进行建模和验证。阿姆斯特丹爱思唯尔 [22] Farail P，Dissaux P（2002）COTRE：航空电子实时软件建模的新方法。附：都柏林DASIA会议记录 [23] Farail P，Gaufill P（2005）COTRE作为AADL简介。In:IFIP TC-2架构描述语言研讨会，LNCS，第175卷，第167-179页 [24] Fernandez JL，Marmol G（2008）建模工具与模拟和评估框架的有效合作。摘自：2008年INCOSE第18届年度国际研讨会。全球系统工程，荷兰，2008年6月15日至19日 [25] Fersman E，Mokrushin L，Pettersson P，Yi W（2006）使用时间自动机的固定优先级系统的可调度性分析。计算机科学理论354（2）：301–317·Zbl 1088.68087号 ·doi:10.1016/j.tcs.2005.11.019 [26] Frana RB、Bodeveix JP、Filali M、Rolland JF（2007）AADL行为附件——实验和路线图。摘自：第12届IEEE复杂计算机系统工程国际会议，第377–382页 [27] França RB、Rolland J、Amine MF、Bodeveix J、Chemouil D（2007）《AADL行为附件评估》。In：Journées FAC’2007，正式批准活动 [28] Frédéric T，Gérard S，Delatour J（2006）《面向实时执行平台建模的UML2.0概要》。收录：第18届实时系统欧洲微观会议（ECRTS 06）会议记录，工作进展会议 [29] Gagnaire M，Kofman D（1996）《上天堂：上天堂ATM，下天堂，下天堂》。Masson-Inter Editions，系列IIA [30] Gai J，Abeni L，Giogi M，Buttazzo G（2001）模块化实时系统开发的新内核方法。收录：第13届IEEE实时系统欧洲微会议论文集，荷兰代尔夫特 [31] Gallmeister BO（1995）POSIX 4:现实世界的编程。O'Reilly和Associates [32] George L、Rivierre N、Spuri M（1996）抢占式和非抢占式实时单处理器调度。INRIA技术报告2966 [33] Gilles O，Hugues J（2008）《在建筑层面应用WCET分析》。参见：最坏情况执行时间研讨会（WCET’08），捷克共和国布拉格，第113-122页 [34] Grolleau E，Choquet-Geniet A（2000）利用Petri网对实时进度进行离线计算。在：离散事件系统、分析和控制研讨会，比利时根特。多德雷赫特Kluwer学术出版社，第309-316页·Zbl 1032.68109号 [35] Hamez A、Hillah L、Kordon F、Linard A、Paviot-Adet E、Renault X、Thierry-Mieg Y（2006）CPN-AMI 3的新功能：重点分析复杂分布式系统。参加：第六届并发应用于系统设计国际会议（ACSD’06），芬兰图尔库。IEEE计算机学会，华盛顿，第273-275页 [36] Harbour MG，Palencia J（2003），在固定优先级内，EDF计划任务的响应时间分析。在：第24届IEEE实时系统研讨会论文集，墨西哥坎昆 [37] Harbour MG、García JG、Gutiérrez JP、Moyano JD（2001）MAST：实时应用的建模和分析套件。In：程序。第13届欧洲实时系统会议，荷兰代尔夫特，第125-134页 [38] Henzinger TA、Kirsch CM、Sanvido MA、Pree W（2003）《使用Giotto从控制模型到实时代码》。IEEE控制系统Mag 1（23） [39] Hugues J、Zalila B、Pautet L、Kordon F（2008）使用Ocarina AADL工具套件从原型到最终嵌入式系统。ACM跨嵌入式计算系统（TECS）7（4）：42:2–42:25 [40] ISO 10303-1（1994）第1部分：概述和基本原则 [41] ISO 10303-11（2004）第11部分：第2版，EXPRESS语言参考手册 [42] ISO 10303-21（2001）第21部分：第2版，实现方法：交换结构的明文编码 [43] ISO 10303-22（1998）第22部分：实现方法：标准数据访问接口规范 [44] Iversen TK、Kristoffersen KJ、Larsen KG、Madsen RG、Laursen M、Mortensen SK、Pettersson P、Thomasen CB（1999）《模型检测实时控制程序：使用UPPAAL验证乐高思维风暴系统》。金砖四国技术代表RS-99-53 [45] Kay J，Lauder P（1988）公平共享调度程序。社区ACM 31:44–45·数字对象标识代码：10.1145/35043.35047 [46] Kleinrock L（1975）《排队系统：理论》。纽约威利·Zbl 0334.60045号 [47] Lawall J，Muller G，Duchesne H（2004）实现进程调度层次结构的语言设计。摘自：2004年政治公众人物会议记录，8月24日至26日，意大利维罗纳，第80-90页 [48] Legrand J、Singhoff F、Nana L、MarcéL、Dupont F、Hafidi H（2003）关于周期性任务共享的缓冲区边界：IRMA项目。In:第15届欧洲微观实时系统国际会议（WIP会议），波尔图 [49] Legrand J，Singhoff F，Nana L，MarcéL（2004）独立周期任务共享缓冲区的性能分析。LISyC技术报告，legrand-02-2004。可在http://beru.univ-brest.fr/\（\sim\）辛霍夫/切达 [50] Leung J，Merril M（1980）关于周期性实时任务抢占式调度的注释。Inf过程Lett 3（11）：115–118·Zbl 0461.68043号 ·doi:10.1016/0020-0190（80）90123-4 [51] Liu CL，Layland JW（1973）硬实时环境下多道程序的调度算法。联合计算马赫数20（1）：46–61·兹比尔0265.68013 [52] Maes E（2007）《验证系统温度与禁运》（Validation de systèmes temps-réel et embarquéa partir d'un modèle MARTE）。In:Thales RT，Journée Ada-France 2007，布雷斯特 [53] Muhuri P，Shukl K（2008）处理时间和截止日期具有模糊不确定性的实时任务调度。应用软件计算版本8（1）：1–13·doi:10.1016/j.asoc.2006.06.006 [54] Nemer F，CasséH，Sainrat P，Awada A（2007）通过任务间指令缓存分析提高WCET准确性。在：IEEE工业嵌入式系统国际研讨会（SIES 2007），里斯本，7月，第25-32页 [55] Nicholson M，McDermid J，Burns，A（2004）硬实时安全关键系统的分析和设计综合。约克大学计算机科学系YCS-237技术报告 [56] OMG（2007）MARTE的UML概要，Beta 1。OMG文件编号：ptc/07-08-04 [57] Panunzio M，Vardanega T（2007）一种元模型驱动的过程，具有先进的基于模型的时序分析。摘自：第十二届可靠软件技术国际会议记录，Ada-Europe，日内瓦。LNCS，施普林格，柏林 [58] Plantec A，Ribaud V（1998）EUGENE:构建应用程序生成器的基于STEP的框架。In:AWCSET’98，CSIRO-Macquarie大学 [59] Plantec A，Singhoff F（2006）使用元CASE工具重构Ada 95库。ACM SIGAda Ada Lett 26（3）：61–70·doi:10.1145/1185875.1185653 [60] Plassart L，Parc PL，Singhoff F，MarcéL（2005a）本地指挥单位与自动化装配线主管之间互动的建模与仿真：案例研究。J马赫数发动机5（1-2）。Jedrzejewski编辑 [61] Plassart L、Singhoff F、Parc PL、MarcéL（2005b）《集结物的影响与协调》。1ères rencontres des jeunes chercheurs en informatique temps réel 2005（RJCITR’05），联合体2005（ETR’05”），南希 [62] Regehr J，Stankovic JA（2001）HLS：组成软实时调度器的框架。收录：第22届IEEE国际实时系统研讨会（RTSS’01），英国伦敦，第3-14页 [63] Revest F、Boniol F、Pagetti C（2007）《禁运制度的多点构想》。图卢兹CERT-ONERA，15-16火星，活动正式化期刊 [64] Robertazi TG（1990）《计算机网络与系统：排队理论与性能评估》。柏林施普林格·Zbl 0729.68005号 [65] Rolland J、Thomas D、Chemouil D（2007），《利用AADL概念逻辑卷卫星》。修订版Génie Log 80:41–44 [66] SAE（2004）架构分析和设计语言（AADL）AS 5506。技术代表，推进机动性工程学会，陆海空和航天，航空航天信息报告，1.0版 [67] SAE（2007）AADL附录行为（草案V1.6），AS 5506。技术代表，推进机动性工程学会，陆海空和航天，航空航天信息报告 [68] SEI（2003）速率单调分析。技术代表，《软件技术路线图》。http://www.sei.cmu.edu/str/descriptions/rma_body.html [69] Sha L，Rajkumar R，Lehoczky J（1990）《优先级继承协议：实时同步方法》。IEEE传输计算39（9）：1175–1185·数字对象标识代码：10.1109/12.57058 [70] Shin I，Lee I（2003）成分实时保证的周期资源模型。In:第四届IEEE国际实时系统研讨会（RTSS’03） [71] Singhoff F（2007a）Cheddar 2.x版用户指南。LISyC技术报告，编号：singhof-01-2007。可在http://beru.univ-brest.fr/\（\sim\）辛霍夫/切达 [72] Singhoff F（2007b）Cheddar AADL属性集（2.x版）。LISyC技术报告，编号singhoff-03-2007。可在http://beru.univ-brest.fr/\（\sim\）辛霍夫/切达 [73] Singhoff F，Plantec A（2007a）分层调度器的AADL建模和分析。ACM SIGAda Ada Lett 27（3）：41–50·数字对象标识代码：10.1145/1315607.1315593 [74] Singhoff F，Plantec A（2007b）朝向Ada库的用户级扩展：Cheddar的实验。摘自：第十二届可靠软件技术国际会议记录，Ada-Europe，日内瓦。LNCS，第4498卷。柏林施普林格，第180–191页 [75] Singhoff F，Legrand J，Nana L，MarcéL（2005）AADL的调度和内存需求分析。ACM SIGAda Ada Lett 25（4）：1–10·数字标识代码：10.1145/1104011.1103847 [76] Singhoff F，Plantec A，Dissaux P（2008）我们能提高实时调度理论的可用性吗？切达项目。参加：第13届可靠软件技术国际会议，Ada-Europe，威尼斯。LNCS，第5026卷。柏林施普林格，第240–253页·Zbl 1184.68139号 [77] Sokolsky O，Lee I，Clark D（2006）AADL模型的可调度性分析。In:国际并行和分布式处理研讨会，IPDPS 2006，vol 2006 [78] Subraminian V，Gill C，Sanchez C，Sipma HB（2006）分布式实时和嵌入式系统中间件时间和活性分析的可重用模型。附：2006年第六届ACM和IEEE嵌入式软件EMSOFT国际会议论文集 [79] Taft ST、Duff RA、Brukart RL、Ploedereder E、Leroy P（2006）Ada 2005参考手册。语言和标准库。In：国际标准ISO/IEC 8652/1995（E）及其技术勘误表1和修改件1。LNCS，第4348卷。柏林施普林格 [80] Tanenbaum A（2001）《现代操作系统》。普伦蒂斯·霍尔，恩格尔伍德悬崖·Zbl 0856.68041号 [81] TimeSys（2002）在建造或购买之前，使用TimeWiz了解系统计时。白皮书，http://www.timesys.com/index.cfm？bdy=home_bdy_library.cfm [82] Tindell KW，Clark J（1994）分布式硬实时系统的整体可调度性分析。微过程微程序40（2-3）：117–134·doi:10.1016/0165-6074（94）90080-9 [83] Tri-Pacific（2003）Rapid-RMA：实时系统建模的艺术。http://www.tripac.com/html/prod-fact-rrm.html [84] Vahalia U（1996）UNIX内部：新的前沿。普伦蒂斯·霍尔，恩格尔伍德悬崖·Zbl 0863.68042号 [85] L井（2006）使用CPN工具进行的性能分析。ACM国际会议程序系列，第180卷，第一届绩效评估方法和工具国际会议记录 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。