Pub Date : 2011-09-29DOI: 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}
Pub Date : 2011-09-29DOI: 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}
Pub Date : 2011-09-29DOI: 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}
Pub Date : 2011-09-29DOI: 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}
Pub Date : 2011-09-29DOI: 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}
Pub Date : 2011-09-29DOI: 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}
Pub Date : 2011-09-29DOI: 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}
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).
{"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}
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.
{"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}
J. Broenink, C. Kleijn, P. Larsen, D. Jovanovic, M. Verhoef, K. Pierce
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. 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.
{"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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：