Pub Date : 2014-06-23DOI: 10.1007/978-3-319-08311-7_13
G. Hanis, B. Stadlmann
{"title":"OBUs' Development and Maintenance of a Train Control System for Low Density Traffic Lines","authors":"G. Hanis, B. Stadlmann","doi":"10.1007/978-3-319-08311-7_13","DOIUrl":"https://doi.org/10.1007/978-3-319-08311-7_13","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122790143","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 : 2014-06-23DOI: 10.1007/978-3-319-08311-7_9
A. Burns, A. Wellings
{"title":"Deadline-Aware Programming and Scheduling","authors":"A. Burns, A. Wellings","doi":"10.1007/978-3-319-08311-7_9","DOIUrl":"https://doi.org/10.1007/978-3-319-08311-7_9","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126212981","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 : 2014-06-23DOI: 10.1007/978-3-319-08311-7_8
L. M. Pinho, B. Moore, S. Michell
{"title":"Parallelism in Ada: Status and Prospects","authors":"L. M. Pinho, B. Moore, S. Michell","doi":"10.1007/978-3-319-08311-7_8","DOIUrl":"https://doi.org/10.1007/978-3-319-08311-7_8","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126352893","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 : 2014-06-23DOI: 10.1007/978-3-319-08311-7_6
A. Pedro, David Pereira, L. M. Pinho, J. Pinto
{"title":"Towards a Runtime Verification Framework for the Ada Programming Language","authors":"A. Pedro, David Pereira, L. M. Pinho, J. Pinto","doi":"10.1007/978-3-319-08311-7_6","DOIUrl":"https://doi.org/10.1007/978-3-319-08311-7_6","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121790813","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 : 2013-06-10DOI: 10.1007/978-3-642-38601-5_10
Andrea Baldovin, E. Mezzetti, T. Vardanega
{"title":"Towards a Time-Composable Operating System","authors":"Andrea Baldovin, E. Mezzetti, T. Vardanega","doi":"10.1007/978-3-642-38601-5_10","DOIUrl":"https://doi.org/10.1007/978-3-642-38601-5_10","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122857496","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 : 2013-06-10DOI: 10.1007/978-3-642-38601-5_11
E. Asensio, I. Lafoz, A. Coombes, Julian Navas
{"title":"Worst-Case Execution Time Analysis Approach for Safety-Critical Airborne Software","authors":"E. Asensio, I. Lafoz, A. Coombes, Julian Navas","doi":"10.1007/978-3-642-38601-5_11","DOIUrl":"https://doi.org/10.1007/978-3-642-38601-5_11","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115693149","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 : 2013-06-10DOI: 10.1007/978-3-642-38601-5_2
S. Michell, B. Moore, L. M. Pinho
{"title":"Tasklettes - A Fine Grained Parallelism for Ada on Multicores","authors":"S. Michell, B. Moore, L. M. Pinho","doi":"10.1007/978-3-642-38601-5_2","DOIUrl":"https://doi.org/10.1007/978-3-642-38601-5_2","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127206522","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 : 2013-06-10DOI: 10.1007/978-3-642-38601-5_7
Irene Bicchierai, G. Bucci, Carlo Nocentini, E. Vicario
{"title":"Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems","authors":"Irene Bicchierai, G. Bucci, Carlo Nocentini, E. Vicario","doi":"10.1007/978-3-642-38601-5_7","DOIUrl":"https://doi.org/10.1007/978-3-642-38601-5_7","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124169709","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 : 2013-06-10DOI: 10.1007/978-3-642-38601-5_1
Héctor Pérez, J. Javier Gutiérrez
{"title":"Experience with the Integration of Distribution Middleware into Partitioned Systems","authors":"Héctor Pérez, J. Javier Gutiérrez","doi":"10.1007/978-3-642-38601-5_1","DOIUrl":"https://doi.org/10.1007/978-3-642-38601-5_1","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131860095","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
扫码关注我们
求助内容：
应助结果提醒方式：