Pub Date : 2018-06-18DOI: 10.1007/978-3-319-92432-8_5
Jorge Garrido, Juan Zamorano, A. Alonso, J. A. Puente
{"title":"On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks","authors":"Jorge Garrido, Juan Zamorano, A. Alonso, J. A. Puente","doi":"10.1007/978-3-319-92432-8_5","DOIUrl":"https://doi.org/10.1007/978-3-319-92432-8_5","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"81 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121646443","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-06-18DOI: 10.1007/978-3-319-92432-8_7
J. Real, S. Sáez, A. Crespo
{"title":"Combined Scheduling of Time-Triggered and Priority-Based Task Sets in Ravenscar","authors":"J. Real, S. Sáez, A. Crespo","doi":"10.1007/978-3-319-92432-8_7","DOIUrl":"https://doi.org/10.1007/978-3-319-92432-8_7","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121334126","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-06-18DOI: 10.1007/978-3-319-92432-8_8
J. Javier Gutiérrez, Héctor Pérez
{"title":"Theory and Practice of EDF Scheduling in Distributed Real-Time Systems","authors":"J. Javier Gutiérrez, Héctor Pérez","doi":"10.1007/978-3-319-92432-8_8","DOIUrl":"https://doi.org/10.1007/978-3-319-92432-8_8","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115362759","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-06-18DOI: 10.1007/978-3-319-92432-8_3
Maroua Maalej, S. Taft, Yannick Moy
{"title":"Safe Dynamic Memory Management in Ada and SPARK","authors":"Maroua Maalej, S. Taft, Yannick Moy","doi":"10.1007/978-3-319-92432-8_3","DOIUrl":"https://doi.org/10.1007/978-3-319-92432-8_3","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115547342","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-06-18DOI: 10.1007/978-3-319-92432-8_6
Filip Marković, Jan Carlson, R. Dobrin
{"title":"Improved Cache-Related Preemption Delay Estimation for Fixed Preemption Point Scheduling","authors":"Filip Marković, Jan Carlson, R. Dobrin","doi":"10.1007/978-3-319-92432-8_6","DOIUrl":"https://doi.org/10.1007/978-3-319-92432-8_6","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129571764","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-06-18DOI: 10.1007/978-3-319-92432-8_9
Sara Royuela, X. Martorell, E. Quiñones, L. M. Pinho
{"title":"Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP","authors":"Sara Royuela, X. Martorell, E. Quiñones, L. M. Pinho","doi":"10.1007/978-3-319-92432-8_9","DOIUrl":"https://doi.org/10.1007/978-3-319-92432-8_9","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132268548","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-06-18DOI: 10.1007/978-3-319-92432-8_2
Irfan Šljivo, B. Gallina, Jan Carlson, H. Hansson, Stefano Puri
{"title":"Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation","authors":"Irfan Šljivo, B. Gallina, Jan Carlson, H. Hansson, Stefano Puri","doi":"10.1007/978-3-319-92432-8_2","DOIUrl":"https://doi.org/10.1007/978-3-319-92432-8_2","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133379116","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-06-18DOI: 10.1007/978-3-319-92432-8_1
Omar Jaradat, S. Punnekkat
{"title":"Using Safety Contracts to Verify Design Assumptions During Runtime","authors":"Omar Jaradat, S. Punnekkat","doi":"10.1007/978-3-319-92432-8_1","DOIUrl":"https://doi.org/10.1007/978-3-319-92432-8_1","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127236914","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：