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

International Workshop on Software Engineering for Resilient Systems最新文献

筛选
英文 中文
Guaranteeing Correct Evolution of Software Product Lines: Setting Up the Problem 保证软件产品线的正确发展:设置问题
International Workshop on Software Engineering for Resilient Systems Pub Date : 2011-09-29 DOI: 10.1007/978-3-642-24124-6_9
M. T. Beek, H. Muccini, Patrizio Pelliccione
{"title":"Guaranteeing Correct Evolution of Software Product Lines: Setting Up the Problem","authors":"M. T. Beek, H. Muccini, Patrizio Pelliccione","doi":"10.1007/978-3-642-24124-6_9","DOIUrl":"https://doi.org/10.1007/978-3-642-24124-6_9","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121457866","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}
引用次数: 4
Quantitative Verification of System Safety in Event-B 事件b中系统安全性的定量验证
International Workshop on Software Engineering for Resilient Systems Pub Date : 2011-09-29 DOI: 10.1007/978-3-642-24124-6_3
A. Tarasyuk, E. Troubitsyna, L. Laibinis
{"title":"Quantitative Verification of System Safety in Event-B","authors":"A. Tarasyuk, E. Troubitsyna, L. Laibinis","doi":"10.1007/978-3-642-24124-6_3","DOIUrl":"https://doi.org/10.1007/978-3-642-24124-6_3","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"174 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114399939","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}
引用次数: 6
Supporting Architectural Design Decisions Evolution through Model Driven Engineering 通过模型驱动工程支持架构设计决策的演进
International Workshop on Software Engineering for Resilient Systems Pub Date : 2011-09-29 DOI: 10.1007/978-3-642-24124-6_6
I. Malavolta, H. Muccini, V. Rekha
{"title":"Supporting Architectural Design Decisions Evolution through Model Driven Engineering","authors":"I. Malavolta, H. Muccini, V. Rekha","doi":"10.1007/978-3-642-24124-6_6","DOIUrl":"https://doi.org/10.1007/978-3-642-24124-6_6","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"108 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131643389","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
Idealized Fault-Tolerant Components in Requirements Engineering 需求工程中的理想容错组件
International Workshop on Software Engineering for Resilient Systems Pub Date : 2011-09-29 DOI: 10.1007/978-3-642-24124-6_10
Sadaf Mustafiz, J. Kienzle
{"title":"Idealized Fault-Tolerant Components in Requirements Engineering","authors":"Sadaf Mustafiz, J. Kienzle","doi":"10.1007/978-3-642-24124-6_10","DOIUrl":"https://doi.org/10.1007/978-3-642-24124-6_10","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126868716","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}
引用次数: 1
Experience-Based Model Refinement 基于经验的模型细化
International Workshop on Software Engineering for Resilient Systems Pub Date : 2011-09-29 DOI: 10.1007/978-3-642-24124-6_4
Didier Buchs, Steve Hostettler, Alexis Marechal
{"title":"Experience-Based Model Refinement","authors":"Didier Buchs, Steve Hostettler, Alexis Marechal","doi":"10.1007/978-3-642-24124-6_4","DOIUrl":"https://doi.org/10.1007/978-3-642-24124-6_4","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115731261","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
Predictability and Evolution in Resilient Systems 弹性系统的可预测性和进化
International Workshop on Software Engineering for Resilient Systems Pub Date : 2011-09-29 DOI: 10.1007/978-3-642-24124-6_11
I. Crnkovic
{"title":"Predictability and Evolution in Resilient Systems","authors":"I. Crnkovic","doi":"10.1007/978-3-642-24124-6_11","DOIUrl":"https://doi.org/10.1007/978-3-642-24124-6_11","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129836645","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}
引用次数: 5
'Known Secure Sensor Measurements' for Critical Infrastructure Systems: Detecting Falsification of System State 关键基础设施系统的“已知安全传感器测量”:检测系统状态的伪造
International Workshop on Software Engineering for Resilient Systems Pub Date : 2011-09-29 DOI: 10.1007/978-3-642-24124-6_15
M. McQueen, A. Giani
{"title":"'Known Secure Sensor Measurements' for Critical Infrastructure Systems: Detecting Falsification of System State","authors":"M. McQueen, A. Giani","doi":"10.1007/978-3-642-24124-6_15","DOIUrl":"https://doi.org/10.1007/978-3-642-24124-6_15","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115474087","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
Availability modelling of a virtual black box for automotive systems 汽车系统虚拟黑匣子的可用性建模
International Workshop on Software Engineering for Resilient Systems Pub Date : 2010-04-15 DOI: 10.1145/2401736.2401742
Ossama Hamouda, M. Kaâniche, K. Kanoun
{"title":"Availability modelling of a virtual black box for automotive systems","authors":"Ossama Hamouda, M. Kaâniche, K. Kanoun","doi":"10.1145/2401736.2401742","DOIUrl":"https://doi.org/10.1145/2401736.2401742","url":null,"abstract":"Recent developments in automotive systems recommend storing historical information in a black box, in a manner that is similar to the avionics domain. The idea is to record relevant information about the vehicle that can be retrieved in case of a problem. However, instead of using a classical hardware based black-box that could induce a high cost, a more cost effective solution would be to use a software based mechanism that consists in storing the recorded data on a dedicated server at the fixed infrastructure. To protect the data against potential losses before an access to the fixed infrastructure is available, the data can be replicated and temporarily stored on neighbouring encountered vehicles using wireless communication technologies, before being permanently saved on the server. The aim of this paper is to analyse and evaluate the availability of the historical data recorded in the virtual black-box, (VBB) taking into account possible data replication strategies, and various mobility scenarios, using Stochastic Activity Networks (SAN).","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121923097","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
On the impact of fault tolerance tactics on architecture patterns 论容错策略对体系结构模式的影响
International Workshop on Software Engineering for Resilient Systems Pub Date : 2010-04-15 DOI: 10.1145/2401736.2401738
Neil B. Harrison, P. Avgeriou, Uwe Zdun
{"title":"On the impact of fault tolerance tactics on architecture patterns","authors":"Neil B. Harrison, P. Avgeriou, Uwe Zdun","doi":"10.1145/2401736.2401738","DOIUrl":"https://doi.org/10.1145/2401736.2401738","url":null,"abstract":"One important way that an architecture impacts fault tolerance is by making it easy or hard to implement tactics that improve fault tolerance. Information about how the implementation of fault tolerance tactics affects the architecture patterns of a system should be useful to architects during architectural design in selecting optimal fault tolerance tactics and architecture patterns. In order to understand more about how useful this information can be, we performed an informal study of teams designing fault tolerance tactics in an architecture. One group used information about the interaction of tactics and architecture patterns; the other did not. We observed that the group with the information produced better quality architectures, and were able to better estimate the difficulty of implementing the tactics. We recommend that information about the interaction of tactics and architecture patterns be made available to architects, particularly those with less familiarity about fault tolerance tactics.","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132689969","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}
引用次数: 24
Design support and tooling for dependable embedded control software 可靠的嵌入式控制软件的设计支持和工具
International Workshop on Software Engineering for Resilient Systems Pub Date : 2010-04-15 DOI: 10.1145/2401736.2401745
J. Broenink, C. Kleijn, P. Larsen, D. Jovanovic, M. Verhoef, K. Pierce
{"title":"Design support and tooling for dependable embedded control software","authors":"J. Broenink, C. Kleijn, P. Larsen, D. Jovanovic, M. Verhoef, K. Pierce","doi":"10.1145/2401736.2401745","DOIUrl":"https://doi.org/10.1145/2401736.2401745","url":null,"abstract":"The efficient design of resilient embedded systems is hampered by the separation of engineering disciplines in current development approaches. We describe a new project entitled \"Design Support and Tooling for Embedded Control Software\" (DESTECS), which aims to develop a methodology and open tools platform for collaborative and multi-disciplinary development of dependable embedded real-time control systems. We also present some initial results from a small co-simulation case study.\u0000 The DESTECS methodology combines continuous-time and discrete-event modelling via co-simulation, allowing explicit modelling of faults and fault-tolerance mechanisms from the outset. Continuous-time models are expressed using differential equations, which we represent using the well-known bond graph notation, supported by the 20-sim tool. We model discrete-event controllers using the Vienna Development Method (VDM), supported by the Overture tools. An open, extensible tools platform will be developed, populated with plug-ins to support static analysis, co-simulation, testing and fault analysis. Trials will be conducted on industrial case studies from several domains, including document handling, inertial measurement and personal transportation.","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123648759","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}
引用次数: 37
首页 上一页
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学术文献互助群
群 号：604180095
Book学术官方微信