Pub Date : 2015-06-22DOI: 10.1007/978-3-319-19584-1_6
Juan Zamorano, Jorge Garrido
{"title":"Schedulability Analysis of PWM Tasks for the UPMSat-2 ADCS","authors":"Juan Zamorano, Jorge Garrido","doi":"10.1007/978-3-319-19584-1_6","DOIUrl":"https://doi.org/10.1007/978-3-319-19584-1_6","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116439068","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 : 2015-06-22DOI: 10.1007/978-3-319-19584-1_10
Hana Mkaouar, Bechir Zalila, J. Hugues, M. Jmaiel
{"title":"From AADL Model to LNT Specification","authors":"Hana Mkaouar, Bechir Zalila, J. Hugues, M. Jmaiel","doi":"10.1007/978-3-319-19584-1_10","DOIUrl":"https://doi.org/10.1007/978-3-319-19584-1_10","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130028293","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 : 2015-06-22DOI: 10.1007/978-3-319-19584-1_8
M. Díaz, Daniel Garrido
{"title":"Maintenance of Reliable Distributed Applications with Open-Source Middleware: Fifteen Years Later","authors":"M. Díaz, Daniel Garrido","doi":"10.1007/978-3-319-19584-1_8","DOIUrl":"https://doi.org/10.1007/978-3-319-19584-1_8","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"24 1-2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114038275","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 : 2015-06-22DOI: 10.1007/978-3-319-19584-1_11
Omar Jaradat, I. Bate, S. Punnekkat
{"title":"Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases","authors":"Omar Jaradat, I. Bate, S. Punnekkat","doi":"10.1007/978-3-319-19584-1_11","DOIUrl":"https://doi.org/10.1007/978-3-319-19584-1_11","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114449158","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 : 2015-06-22DOI: 10.1007/978-3-319-19584-1_4
Husni Khanfar, B. Lisper, A. Masud
{"title":"Static Backward Program Slicing for Safety-Critical Systems","authors":"Husni Khanfar, B. Lisper, A. Masud","doi":"10.1007/978-3-319-19584-1_4","DOIUrl":"https://doi.org/10.1007/978-3-319-19584-1_4","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132384183","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 : 2015-06-22DOI: 10.1007/978-3-319-19584-1_7
S. Urueña, N. Pérez, Bruno N. Calvo, C. Flores, A. Jung
{"title":"Guaranteeing Timing Requirements in the IXV On-Board Software","authors":"S. Urueña, N. Pérez, Bruno N. Calvo, C. Flores, A. Jung","doi":"10.1007/978-3-319-19584-1_7","DOIUrl":"https://doi.org/10.1007/978-3-319-19584-1_7","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134094977","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 : 2015-06-22DOI: 10.1007/978-3-319-19584-1_13
L. M. Pinho, B. Moore, S. Michell, S. Taft
{"title":"An Execution Model for Fine-Grained Parallelism in Ada","authors":"L. M. Pinho, B. Moore, S. Michell, S. Taft","doi":"10.1007/978-3-319-19584-1_13","DOIUrl":"https://doi.org/10.1007/978-3-319-19584-1_13","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126046639","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 : 2015-06-22DOI: 10.1007/978-3-319-19584-1_2
A. Balázs, A. Baksa, H. Bitterlich, I. Hernyes, O. Küchemann, Zoltan Pálos, J. Rustenbach, W. Schmidt, P. Spányi, J. Sulyán, S. Szalai, L. Várhalmi
{"title":"The Central on-Board Computer of the Philae Lander in the Context of the Rosetta Space Mission","authors":"A. Balázs, A. Baksa, H. Bitterlich, I. Hernyes, O. Küchemann, Zoltan Pálos, J. Rustenbach, W. Schmidt, P. Spányi, J. Sulyán, S. Szalai, L. Várhalmi","doi":"10.1007/978-3-319-19584-1_2","DOIUrl":"https://doi.org/10.1007/978-3-319-19584-1_2","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123134494","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 : 2015-06-22DOI: 10.1007/978-3-319-19584-1_12
Sebastiano Catellani, L. Bonato, Sebastian Huber, E. Mezzetti
{"title":"Challenges in the Implementation of MrsP","authors":"Sebastiano Catellani, L. Bonato, Sebastian Huber, E. Mezzetti","doi":"10.1007/978-3-319-19584-1_12","DOIUrl":"https://doi.org/10.1007/978-3-319-19584-1_12","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127822124","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 : 2015-06-22DOI: 10.1007/978-3-319-19584-1_1
Jon Perez, David González, Salvador Trujillo, T. Trapman
{"title":"A Safety Concept for an IEC-61508 Compliant Fail-Safe Wind Power Mixed-Criticality System Based on Multicore and Partitioning","authors":"Jon Perez, David González, Salvador Trujillo, T. Trapman","doi":"10.1007/978-3-319-19584-1_1","DOIUrl":"https://doi.org/10.1007/978-3-319-19584-1_1","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"105 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127659573","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
扫码关注我们
求助内容：
应助结果提醒方式：