｛“状态”：“正常”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2024,6,1]]，“日期-时间”：“2024-06-01T05:57:48Z”，“时间戳”：1717221468270｝，“发布者位置”：“柏林，海德堡”，“引用计数”：34，“发布者”：“施普林格-柏林-海德堡”，“isbn类型”：[｛“值”：“9783642165573”，“类型”：“打印”｝，｛“值”：“9783642165580”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2010,1,1]]，“date-time”：“2010-01-01T00:00:00Z”，“timestamp”：1262304000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http://\www.springer.com\/tdm”}”，“内容域”：[]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2010]]}，“DOI”：“10.1007\/978-3642-16558-0_13”，“type”：“book-chapter”，“created”：{”date-part“：[[2010-11,2]，“date-time”：“2010-11-02T09:36:49Z”，“timestamp”：1288690609000}，”page“：”122-136“，”source“Crossref”，“is-referenced-by-count”：13，“title”：[“PEGASE项目：使用网络微积分对航空航天通信系统进行精确和可扩展的时间分析”]，“前缀”：“10.1007”，“作者”：[{“给定”：“Marc”，“家族”：“Boyer”，”sequence“：”first“，”affiliation“：[]}，{“given”：“Nicolas”，“family”：“Navet”，“sequence”：“additional”，“affiliance”：[]{“已知”：“Xavier”，“家庭”：“Olive”，“序列”：“additional”，“affiliation”：[]}，{“given”：“Eric”，“family”：“Thierry”，“sequence”：“addressive”，“ffiliation”：[]}]，“member”：“297”，“reference”：[{“key”：”13_CR1“，“series-title”：“计算机科学课堂笔记”，“doi-asserted-by”：”crossref“，”first page“3”，“doi”：“10.1007\/3-540-45318-0_1”，”volume-title“：”Network Calculus“，”作者：“J.Y.Boudec Le”，“年份”：“2001年”，“非结构化”：“Le Boudec，J.Y.，Thiran，P.：网络微积分。LNCS，vol.\u00a02050，P.3。Springer，Heidelberg（2001），http://\/lrcwww.epfl.ch\/PS_files\/NetCal.htm“}，{“key”：“13_CR2”，“volume-title”：“电信网络和计算机系统”，“author”：“C.S.Chang”，“year”：“2000”，“unstructured”：“Chang，C.S.：通信网络的性能保证。行业：电信网络和计算机系统。Springer，Heidelberg（2000）“}，{“key”：“13_CR3”，“unstructured”：“AEEC:Arinc 664p7-1飞机数据网络，第7部分，航空电子全双工交换以太网。技术报告，航空电子工程委员会（2009年9月）”}，“{”key“：”13_CR4“，”unstructure“：”ECSS:Spacewire\u2013链路、节点、路由器和网络。技术报告ECSS-E-ST-50-12C，欧洲空间标准化合作组织（ECSS），欧洲空间标准化技术委员会，要求与标准部门，诺德维克，荷兰（2008年7月31日）“｝，｛“键”：“13_CR5”，“系列标题”：“计算机科学讲义”，“doi断言”：“出版商”，“第一页”：“232”，“doi”：“10.1007\/BFb0020949”，“卷标题”：“Hybrid Systems III”，“author”：“J.Bengtsson”，“year”：“1996”，“unstructured”：“Bengtssan，J.，Larsen，K.G.，Larrsson，F.，Pettersson，P.，Yi，W.：Uppaal-实时系统自动验证的工具套件。收录人：Alur，R.，Sontag，E.D.，Henzinger，T.A.（编辑）HS 1995。LNCS，卷\u00a01066，第232\u2013243页。Springer，Heidelberg（1996）“}，{”key“：”13_CR6“，”doi-asserted-by“：”crossref“，”unstructured“：”Hune，T.，Romijn，J.，Va，F.：时间自动机的线性参数模型检查。《逻辑与代数编程杂志》（2001）“，”doi“：”10.7146\/brics.v8i5.20459“}”，{“issue”：“2-3”，“key”：“13_CR7”，“doi-assert-by”：“publisher”，“首页”：“117”，“内政部”：“10.1016\/0165-6074（94）90080-9“，“卷”：“40”，“作者”：“K.Tindell”，“年份”：“1994”，“非结构化”：“Tindell，K.，Clark，J.：分布式硬实时系统的整体可调度性分析。微加工。微程序。\u00a040（2-3），117\u2013134（1994）“，“新闻标题”：“微加工。微程序。“}，{”issue“：”3“，”key“：”13_CR8“，”doi-asserted-by“：”publisher“，”first-page“：”239“，”doi“：”10.1007\/s11241-007-9012-7“，”volume“：“35”，“author”：“R.I.Davis”，“year”：“2007”，“unstructured”：“Davis，R.I.，Burns，A.，Bril，R.J.，Lukkien，J.J.J.J.：控制器局域网（CAN）可调度性分析：被拒绝、重新访问和修订。实时系统\u00a035（3），239\u2013272（2007）“，”journal-title“：”Real-Time Systems“}，{“key”：“13_CR9”，“unstructured”：“Migge，J.：L\u2019ordonnancement sous containtes temps r\u00e9el：un-modele\u00e1 base de trajectoires\u2013 Real-Time scheduling:a trace-based model.Nice大学博士论文（1999）”}，“key：”13_CR10“，”series-title“：”计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“229”，“doi”：“10.1007\/11668855_17”，“volume-title”：“软件工程研究与应用”，“author”：“S.Martin”，年：“2006”，“unstructured”：“Martin，S.，Minet，P.，George，L.：非预测性FP\/EDF*端到端响应时间的轨迹法。收录人：Dosch，W.，Lee，R.Y.，Wu，C.（编辑）SERA 2004。LNCS，卷\u00a03647，第229\u2013247页。Springer，Heidelberg（2006）“}，{”issue“：”1“，”key“：”13_CR11“，“doi-asserted-by”：“publisher”，“first page”：“114”，”doi“：”10.1109 \/18.61109“，”volume“：“37”，”author“：”R.L.Cruz“，”year“：”1991“，”unstructured“：”Cruz，R.L.：网络延迟的微积分，第一部分：隔离的网络元素。IEEE Transactions on Information Theory \u00a037（1），114\u2013131（1991）“，”journal-title“：”IEEE Transactions on Information Theory“}，{”issue“：”1“，”key“：”13_CR12“，”doi-asserted-by“：”publisher“，”first-page“：”132“，“doi”：“10.1109\/18.61110”，“volume”：“37”，“author”：“R.L.Cruz”，“year”：“1991”，“unstructured”：“”Cruz，R.L.：网络延迟演算，第二部分：网络分析。IEEE Transactions on Information Theory\u00a037（1），132\u2013141（1991）“，“journal-title”：“IEEE Translations on Information Theory”}，{“key”：“13_CR13”，“doi-asserted-by”：“crossref”，“unstructured”：“Fidler，M.：网络演算中确定性和随机服务曲线模型的调查。IEEE Communications Surveys&Tutorials\u00a012（1）（2010）“，”DOI“：”10.1109\/SURV.2010.020110.00019“}，{”key“：”13_CR14“，”volume-title“：”同步与线性，离散事件系统代数“，”author“：”F.Baccelli“，”year“：”1992“，”unstructured“：”Baccelli，F.，Cohen，G.，Olsder，G.J.，Quadrat，J.-P.：同步与线性，离散事件系统代数。John Wiley and Son，Chichester（1992）ISBN:978-0471936091，http://\/cermics.enpc.fr\/~cohen-g\/\/SED\/book-online.html“}，{“key”：“13_CR15”，“unstructured”：“Tindell，K.W.，Burns，A.：保证控制器局域网（CAN）上的消息延迟。摘自：《第一届国际CAN会议论文集》，第1\u201311页（1994）“}”，{doi断言：“crossref”，“非结构化”：“Schmitt，J.，Zdarsky，F.，Fidler，M.：任意复用下的延迟界限：当网络演算让你陷入困境时。In：程序。第27届IEEE国际计算机通信会议，INFOCOM 2008（2008）“，”DOI“：”10.1109\/INFOCOM.2008.228“}，{“key”：“13_CR17”，“DOI-asserted-by”：“publisher”，“first page”：”287“，”DOI“：“10.1016\/j.comcom.2004.10.003”，“volume”:“28”，“author”：“L.Lenzini”，“year”：“2004”，“unstructured”：“Lenzini，L.、Mingozzi，E.、Stea，G.：FIFO聚集的延迟界限：案例研究。计算机通信\u00a028，287\u2013299（2004）“，”journal-title“：”计算机通信“}，{“key”：“13_CR18”，“doi-asserted-by”：“crossref”，“unstructured”：“Thiele，L.，Chakraborty，S.，Naedele，M.：调度硬实时系统的实时演算。In:Proceedings of ISCAS 200013_CR19”，“卷-时间”：“计算机通信与网络”，“作者”：“江余”，“年份”：“2009”，“非结构化”：“江余，刘余：随机网络微积分。在：计算机通信和网络。Springer，Heidelberg（2009）“}，{”key“：”13_CR20“，”volume-title“：”第一届国际绩效评估方法与工具会议（VALUETOOLS 2006）“，”author“：”J.B.Schmitt“，”year“：”2006“，”unstructured“：”Schmitt，J.B.，Zdarsky，F.A.：DISCO网络计算器——最坏情况分析的工具箱。摘自：《第一届绩效评估方法和工具国际会议记录》（VALUETOOLS 2006），意大利比萨。ACM，纽约（2006年11月）“}，{“key”：“13_CR21”，“unstructured”：“Andrews，M.：面向会话网络中FIFO的不稳定性。摘自：第十一届ACM-SIAM离散算法年会论文集（SODA 2000），第440\u2013447页。SIAM，Philadelphia（2000）“}，{“key”：“13_CR22”，“doi-asserted-by”：“crossref”，“unstructured”：“Rizzo，G.，Le Boudec，J.Y.：聚合调度器异构网络中的稳定性和延迟界限。摘自：第27届IEEE计算机通信会议（INFOCOM 2008），4月13-18日，第1490\u20131498页（2008）”，“doi”：“10.1109\/INFOCOM.2008.208“}，{“key”：“13_CR23”，“doi-asserted-by”：“crossref”，“unstructured”：“Jonsson，B.，Perathoner，S.，Thiele，L.，Yi，W.：模块性能分析中的循环依赖性。in：ACM嵌入式软件国际会议论文集，EMSOFT（2008）”，“doi”：“10.1145\/1450058.150083”}，}，“key“：”13_CR24“，”doi-assert-by“：”publisher“，“首页”：“207”，“DOI”：“10.1109”，“AICT.2005.58”，“volume-title”：“电信服务保证部分和间歇资源高级工业会议电信研讨会电子学习（AICT\/SAPIR\/ELETE 2005）”，“author”：“H.Charara”，“year”：“2005”，“unstructured”：“Charara，H.，Fraboul，C.：航空电子设备全双工交换以太网的建模和仿真。收录于：电信服务保障部分和间歇资源高级工业会议电信研讨会电子学习（AICT\/SAPIR\/ELETE 2005），第207\u2013212页。IEEE Computer Society，Los Alamitos（2005）“}，{“key”：“13_CR25”，“unstructured”：“Frances，F.，Fraboul，C.，Grieu，J.：使用网络演算优化AFDX网络。In:第三届欧洲嵌入式实时软件大会（ERTS 2006）会议记录，图卢兹（2006年1月）”}Boyer，M.，Fraboul，C.：使用网络演算收紧具有速率延迟FCFS服务器的AFDX网络的端到端延迟上限。In：程序。第七届IEEE自动化工厂通信系统通信国际研讨会（WFCS 2008），IEEE工业电子学会，5月21日至23日，第11\u201320页（2008）“，“DOI”：“10.1109\/WFCS.2008.4638728”}，{“key”：“13_CR27”，“unstructured”：“Bouillard，A.、Jouhet，L.、Thierry，E.：网络微积分中的服务曲线：dos和don\u2019ts。研究报告RR-7094，INRIA（2009）“}，{“key”：“13_CR28”，“doi-asserted-by”：“crossref”，“unstructured”：“Bouillard，A.，Jouhet，L.，Thierry，E.：前馈网络最坏情况分析中的严格性能界限。摘自：第19届IEEE国际计算机通信会议（IEEE INFOCOM 2010），pp.1\u20139（14-19，2010）”，“DOI“：”10.1109\/INFCOM.2010.5461912“}，{“key”：“13_CR29”，“DOI-asserted-by”：“crossref”，“unstructured”：“Bouillard，A.，Jouhet，L.，Thierry，E.：前馈网络最坏情况分析中的严格性能界限。研究报告RR-7012，INRIA（2009）”，“DOI”：“10.1109\/INFCOM.2010.5461912”}，“key“：”13_CR30“，”DOI-assert-by“：”crossref.“，“”非结构化”：“Bouillard，A.，Jouhet，L.，Thierry，E.：网络微积分中不同类别服务曲线的比较。In：程序。第十届离散事件系统国际研讨会（WODES 2010），柏林理工大学，2010年8月30日至9月1日”，“DOI”：“10.3182\/2010830-3-DE-4013.00051”}，{“key”：“13_CR31”，“DOI-asserted-by”：“publisher”，“first page”：”956“，“DOI:”10.1016\/j.peva.2005.10.003“，”volume“：”63“，”author“：”L.Lenzini“，”“year”：“2005”，“非结构化“：”Lenzini，L.、Martorini，L.，Mingozzi，E.、Stea，G.：FIFO多路复用sink-tree网络中的严格端到端过流延迟界限。性能评估\u00a063、956\u2013987（2005）“，”日志标题“：”性能评估“}，{“key”：“13_CR32”，“非结构化”：“Boyer，M.：NC-maude:用于计算实时（嵌入式）网络的最坏边界的maude。技术报告1\/16417，ONERA（2010）“}，{“key”：“13_CR33”，“unstructured”：“Boyer，M.：PEGASE主页（2010），http://\/sites.ONERA.fr\/PEGASE”}，“key“：”13_CR34“，”unstructure“：”RealTime-at-Work（RTaW）：可下载软件，http://www.realtimetwork.com/？page_id=1217“}”，“container-title”：[“计算机科学讲稿”，“利用形式方法、验证和验证的应用程序“]，”original-title“：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3642-16558-0_13“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2019,6,5]]，”date-time“：“”2019-06-05T21:02:27Z“，”timestamp“：1559768547000}，”score“：1，”resource“：{”primary”：{“URL”：“http://\/link.springer.com/10.1007\/978-3642-16558-0_13”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[2010]}，《ISBN》：[“9783642165573”，“978364 2165580”]，“references-count”：34，“URL“：”http://\/dx.doi.org\/10.1007\/978-3642-16558-0_13“，”关系“：{}，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”