International Symposium on Architecting Critical Systems最新文献_第2页

Early safety evaluation of design decisions in E/E architecture according to ISO 26262 根据ISO 26262对E/E架构设计决策进行早期安全评估

International Symposium on Architecting Critical Systems Pub Date : 2012-06-25 DOI: 10.1145/2304656.2304658

Vladimir Rupanov, C. Buckl, Ludger Fiege, M. Armbruster, A. Knoll, G. Spiegelberg

{"title":"Early safety evaluation of design decisions in E/E architecture according to ISO 26262","authors":"Vladimir Rupanov, C. Buckl, Ludger Fiege, M. Armbruster, A. Knoll, G. Spiegelberg","doi":"10.1145/2304656.2304658","DOIUrl":"https://doi.org/10.1145/2304656.2304658","url":null,"abstract":"ISO 26262 addresses development of safe in-vehicle functions by specifying methods potentially used in the design and development lifecycle. It does not indicate what is sufficient and leaves room for interpretation. However, the architects of electric/electronic systems need design boundaries to make decisions during architecture evolution without adding a risk of late architectural changes. Designing and changing a system benefits from correct selection of safety mechanisms at early design stages. This paper presents an iterative architecture design and refinement process that is centered around ISO 26262 requirements. We propose a domain-specific modeling scheme and component repositories to build up a bottom-up analysis framework that allows early quantitative safety evaluation. To guarantee that the target ASIL level can be reached, we complement our design-time component-level analysis with conservative top-down analysis. Given that analysis starts at early design stages, evolution of the architecture is supported by different levels of detail used in the analysis framework.","PeriodicalId":199564,"journal":{"name":"International Symposium on Architecting Critical Systems","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123392080","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

FASA: a scalable software framework for distributed control systems FASA:分布式控制系统的可扩展软件框架

International Symposium on Architecting Critical Systems Pub Date : 2012-06-25 DOI: 10.1145/2304656.2304664

M. Oriol, M. Wahler, Robin Steiger, S. Stoeter, Egemen Vardar, H. Koziolek, Atul Kumar

引用次数: 31

Application of formal analysis to enhancing trust in a complex grid-based operating system 形式分析在基于网格的复杂操作系统中增强信任的应用

International Symposium on Architecting Critical Systems Pub Date : 2012-06-25 DOI: 10.1145/2304656.2304663

B. Aziz

引用次数: 0

Self-managing SLA compliance in cloud architectures: a market-based approach 云架构中的自我管理SLA遵从性:基于市场的方法

International Symposium on Architecting Critical Systems Pub Date : 2012-06-25 DOI: 10.1145/2304656.2304665

Funmilade Faniyi, R. Bahsoon

{"title":"Self-managing SLA compliance in cloud architectures: a market-based approach","authors":"Funmilade Faniyi, R. Bahsoon","doi":"10.1145/2304656.2304665","DOIUrl":"https://doi.org/10.1145/2304656.2304665","url":null,"abstract":"Service providers often use service level agreements (SLAs) to assure potential users of their services about the QoS to expect when they subscribe. In the cloud computing model, providers are required to continuously meet their SLA claims in the face of unanticipated failure of cloud resources. The dynamics of the cloud environment as attributed to its unpredictable mode of use and elasticity of its resources make human-driven solutions inefficient or sometimes infeasible. On the other hand, self-managed architectures have increasingly matured in their capacity to coordinate environments predominated by uncertainties. Thus making them a right fit for managing cloud-based systems. However, given the massive resource pool of the cloud, state-of-the-art centralised self-managed architectures are not scalable and are inherently brittle. Therefore, we propose a decentralised resource control mechanism which meets the unique robustness, scalability and resilience requirements of the cloud. The design of the mechanism gains inspiration from market control theory and a novel use of reputation metrics. In addition, an innovative self-managed cloud architecture has been designed based on the control mechanism. Early results from simulation studies show that the approach is feasible at reducing the SLA violations incurred by cloud providers.","PeriodicalId":199564,"journal":{"name":"International Symposium on Architecting Critical Systems","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121978893","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

Architectural description of embedded systems: a systematic review 嵌入式系统的架构描述:系统回顾

International Symposium on Architecting Critical Systems Pub Date : 2012-06-25 DOI: 10.1145/2304656.2304661

Milena Guessi, E. Nakagawa, F. Oquendo, J. Maldonado

{"title":"Architectural description of embedded systems: a systematic review","authors":"Milena Guessi, E. Nakagawa, F. Oquendo, J. Maldonado","doi":"10.1145/2304656.2304661","DOIUrl":"https://doi.org/10.1145/2304656.2304661","url":null,"abstract":"Embedded systems have gained more and more attention, as variety and complexity of these systems have increased. In particular, many of these systems are also critical regarding dependability, safety, security, among others. In parallel, since software architectures and reference architectures form the backbone of any successful system, including embedded systems, an important and even essential activity is to properly describe such architectures. However, to our best knowledge, there is no detailed panorama on how software architectures and reference architectures for embedded systems could be represented. Thus, the main contribution of this paper is to present and discuss results of a systematic review, aiming at providing this wide and, at the same time, deep panorama. We found out that different approaches have been proposed and used, lacking of consensus on how to better represent architectures of embedded systems. We also identified a range of quality requirements and constraints that have been considered in the architectural description of these systems. Furthermore, these results can be considered as valuable means to identify research lines that need to be further investigated.","PeriodicalId":199564,"journal":{"name":"International Symposium on Architecting Critical Systems","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125353912","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}

引用次数: 23

ISO/DIS 26262 in the Context of Electric and Electronic Architecture Modeling ISO/DIS 26262在电气和电子架构建模的背景下

International Symposium on Architecting Critical Systems Pub Date : 2010-06-23 DOI: 10.1007/978-3-642-13556-9_11

Martin Hillenbrand, M. Heinz, N. Adler, K. Müller-Glaser, J. Matheis, C. Reichmann

引用次数: 12

Increasing the Resilience of Critical SCADA Systems Using Peer-to-Peer Overlays 使用点对点覆盖增加关键SCADA系统的弹性

International Symposium on Architecting Critical Systems Pub Date : 2010-06-23 DOI: 10.1007/978-3-642-13556-9_10

Daniel Germanus, Abdelmajid Khelil, N. Suri

引用次数: 27

Integrating Fault-Tolerant Techniques into the Design of Critical Systems 将容错技术集成到关键系统设计中

International Symposium on Architecting Critical Systems Pub Date : 2010-06-23 DOI: 10.1007/978-3-642-13556-9_3

R. Rodríguez, J. Merseguer

引用次数: 5

Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements 工程分布式电子投票系统架构:满足关键需求

International Symposium on Architecting Critical Systems Pub Date : 2010-06-23 DOI: 10.1007/978-3-642-13556-9_6

John Paul Gibson, E. Lallet, Jean-Luc Raffy

引用次数: 11

Towards Net-Centric Cyber Survivability for Ballistic Missile Defense 迈向以网络为中心的弹道导弹防御网络生存能力

International Symposium on Architecting Critical Systems Pub Date : 2010-06-23 DOI: 10.1007/978-3-642-13556-9_8

Michael N. Gagnon, John Truelove, Apu Kapadia, J. Haines, O. Huang

引用次数: 9