发布求助
文献互助 智能选刊 最新文献

International Conference on Reliable Software Technologies最新文献

筛选
英文 中文
Schedulability Analysis of PWM Tasks for the UPMSat-2 ADCS UPMSat-2 adc PWM任务可调度性分析
International Conference on Reliable Software Technologies Pub Date : 2015-06-22 DOI: 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}
引用次数: 3
From AADL Model to LNT Specification 从AADL模型到LNT规范
International Conference on Reliable Software Technologies Pub Date : 2015-06-22 DOI: 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}
引用次数: 16
Maintenance of Reliable Distributed Applications with Open-Source Middleware: Fifteen Years Later 使用开源中间件维护可靠的分布式应用程序:15年后
International Conference on Reliable Software Technologies Pub Date : 2015-06-22 DOI: 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}
引用次数: 0
Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases 利用敏感性分析促进安全案例的维护
International Conference on Reliable Software Technologies Pub Date : 2015-06-22 DOI: 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}
引用次数: 8
Static Backward Program Slicing for Safety-Critical Systems 安全关键系统的静态向后程序切片
International Conference on Reliable Software Technologies Pub Date : 2015-06-22 DOI: 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}
引用次数: 7
Guaranteeing Timing Requirements in the IXV On-Board Software 保证IXV板载软件的时序要求
International Conference on Reliable Software Technologies Pub Date : 2015-06-22 DOI: 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}
引用次数: 0
An Execution Model for Fine-Grained Parallelism in Ada Ada中细粒度并行的执行模型
International Conference on Reliable Software Technologies Pub Date : 2015-06-22 DOI: 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}
引用次数: 12
The Central on-Board Computer of the Philae Lander in the Context of the Rosetta Space Mission 在罗塞塔太空任务的背景下，菲莱着陆器的中央机载计算机
International Conference on Reliable Software Technologies Pub Date : 2015-06-22 DOI: 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}
引用次数: 3
Challenges in the Implementation of MrsP 实施计划的挑战
International Conference on Reliable Software Technologies Pub Date : 2015-06-22 DOI: 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}
引用次数: 16
A Safety Concept for an IEC-61508 Compliant Fail-Safe Wind Power Mixed-Criticality System Based on Multicore and Partitioning 基于多核和分区的符合IEC-61508标准的故障安全风电混合临界系统的安全概念
International Conference on Reliable Software Technologies Pub Date : 2015-06-22 DOI: 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}
引用次数: 10
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信