Pub Date : 2017-06-12DOI: 10.1007/978-3-319-60588-3_1
Jorge Garrido, Juan Zamorano, A. Alonso, J. A. Puente
{"title":"Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile","authors":"Jorge Garrido, Juan Zamorano, A. Alonso, J. A. Puente","doi":"10.1007/978-3-319-60588-3_1","DOIUrl":"https://doi.org/10.1007/978-3-319-60588-3_1","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"69 9","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114117719","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 : 2017-06-12DOI: 10.1007/978-3-319-60588-3_6
Xiaotian Dai, A. Burns
{"title":"Predicting Worst-Case Execution Time Trends in Long-Lived Real-Time Systems","authors":"Xiaotian Dai, A. Burns","doi":"10.1007/978-3-319-60588-3_6","DOIUrl":"https://doi.org/10.1007/978-3-319-60588-3_6","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116811915","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 : 2017-06-12DOI: 10.1007/978-3-319-60588-3_4
A. Casimiro, I. Gouveia, J. Rufino
{"title":"Enforcing Timeliness and Safety in Mission-Critical Systems","authors":"A. Casimiro, I. Gouveia, J. Rufino","doi":"10.1007/978-3-319-60588-3_4","DOIUrl":"https://doi.org/10.1007/978-3-319-60588-3_4","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"02 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127249160","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 : 2017-06-12DOI: 10.1007/978-3-319-60588-3_9
M. Mohaqeqi, Jakaria Abdullah, W. Yi
{"title":"An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada","authors":"M. Mohaqeqi, Jakaria Abdullah, W. Yi","doi":"10.1007/978-3-319-60588-3_9","DOIUrl":"https://doi.org/10.1007/978-3-319-60588-3_9","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125556312","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 : 2016-06-13DOI: 10.1007/978-3-319-39083-3_10
Robert Mittermayr, Johann Blieberger
{"title":"Kronecker Algebra for Static Analysis of Barriers in Ada","authors":"Robert Mittermayr, Johann Blieberger","doi":"10.1007/978-3-319-39083-3_10","DOIUrl":"https://doi.org/10.1007/978-3-319-39083-3_10","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126297406","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 : 2016-06-13DOI: 10.1007/978-3-319-39083-3_12
Héctor Pérez, J. Javier Gutiérrez, M. G. Harbour, J. Palencia
{"title":"The Polling Effect on the Schedulability of Distributed Real-Time Systems","authors":"Héctor Pérez, J. Javier Gutiérrez, M. G. Harbour, J. Palencia","doi":"10.1007/978-3-319-39083-3_12","DOIUrl":"https://doi.org/10.1007/978-3-319-39083-3_12","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134186212","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 : 2016-06-13DOI: 10.1007/978-3-319-39083-3_11
Abhilash Thekkilakattil, Kaiqian Zhu, Yonggao Nie, R. Dobrin, S. Punnekkat
{"title":"An Empirical Investigation of Eager and Lazy Preemption Approaches in Global Limited Preemptive Scheduling","authors":"Abhilash Thekkilakattil, Kaiqian Zhu, Yonggao Nie, R. Dobrin, S. Punnekkat","doi":"10.1007/978-3-319-39083-3_11","DOIUrl":"https://doi.org/10.1007/978-3-319-39083-3_11","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116195623","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 : 2016-06-13DOI: 10.1007/978-3-319-39083-3_8
Laura Baracchi, S. Mazzini, Stefano Puri, T. Vardanega
{"title":"Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development","authors":"Laura Baracchi, S. Mazzini, Stefano Puri, T. Vardanega","doi":"10.1007/978-3-319-39083-3_8","DOIUrl":"https://doi.org/10.1007/978-3-319-39083-3_8","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"120 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128090004","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 : 2016-06-13DOI: 10.1007/978-3-319-39083-3_6
Mohsen Laali, Huai Liu, M. Hamilton, M. Spichkova, H. Schmidt
{"title":"Test Case Prioritization Using Online Fault Detection Information","authors":"Mohsen Laali, Huai Liu, M. Hamilton, M. Spichkova, H. Schmidt","doi":"10.1007/978-3-319-39083-3_6","DOIUrl":"https://doi.org/10.1007/978-3-319-39083-3_6","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132765934","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
扫码关注我们
求助内容：
应助结果提醒方式：