首页 > 最新文献

2014 IEEE/IFIP Conference on Software Architecture最新文献

英文 中文
Architecting Self-Aware Software Systems 构建自我意识软件系统
Pub Date : 2014-04-07 DOI: 10.1109/WICSA.2014.18
Funmilade Faniyi, Peter R. Lewis, R. Bahsoon, X. Yao
Contemporary software systems are becoming increasingly large, heterogeneous, and decentralised. They operate in dynamic environments and their architectures exhibit complex trade-offs across dimensions of goals, time, and interaction, which emerges internally from the systems and externally from their environment. This gives rise to the vision of self-aware architecture, where design decisions and execution strategies for these concerns are dynamically analysed and seamlessly managed at run-time. Drawing on the concept of self-awareness from psychology, this paper extends the foundation of software architecture styles for self-adaptive systems to arrive at a new principled approach for architecting self-aware systems. We demonstrate the added value and applicability of the approach in the context of service provisioning to cloud-reliant service-based applications.
当代软件系统正变得越来越庞大、异构和分散。它们在动态环境中运行,它们的体系结构在目标、时间和交互的维度上表现出复杂的权衡,这些维度从系统内部出现,从环境外部出现。这就产生了自我感知的体系结构,在这种体系结构中,针对这些关注点的设计决策和执行策略会在运行时进行动态分析和无缝管理。利用心理学中的自我意识概念,本文扩展了自适应系统的软件架构风格的基础,以达到构建自我意识系统的新原则方法。我们演示了该方法在向依赖云的基于服务的应用程序提供服务的上下文中的附加价值和适用性。
{"title":"Architecting Self-Aware Software Systems","authors":"Funmilade Faniyi, Peter R. Lewis, R. Bahsoon, X. Yao","doi":"10.1109/WICSA.2014.18","DOIUrl":"https://doi.org/10.1109/WICSA.2014.18","url":null,"abstract":"Contemporary software systems are becoming increasingly large, heterogeneous, and decentralised. They operate in dynamic environments and their architectures exhibit complex trade-offs across dimensions of goals, time, and interaction, which emerges internally from the systems and externally from their environment. This gives rise to the vision of self-aware architecture, where design decisions and execution strategies for these concerns are dynamically analysed and seamlessly managed at run-time. Drawing on the concept of self-awareness from psychology, this paper extends the foundation of software architecture styles for self-adaptive systems to arrive at a new principled approach for architecting self-aware systems. We demonstrate the added value and applicability of the approach in the context of service provisioning to cloud-reliant service-based applications.","PeriodicalId":346971,"journal":{"name":"2014 IEEE/IFIP Conference on Software Architecture","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131885739","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}
引用次数: 50
Towards a Reference Architecture to Provision Tools as a Service for Global Software Development 面向提供工具作为全球软件开发服务的参考体系结构
Pub Date : 2014-04-07 DOI: 10.1109/WICSA.2014.44
Muhammad Aufeef Chauhan, M. Babar
Organizations involve in Global Software Development (GSD) face challenges in terms of having access to appropriate set of tools for performing distributed engineering and development activities, integration between heterogeneous desktop and web-based tools, management of artifacts developed and maintained over distant locations using different kind of tools, traceability among artifacts, and access to artifacts and data of sensitive nature. These challenges pose additional constraints on specific projects and reduce the possibility to carry out their engineering and development in globally distributed environment. In this paper, we argue the need to have a cloud-enabled platform for supporting GSD and propose reference architecture of a cloud based Platform for providing support to provision ecosystem of the Tools as a Service (PTaaS).
参与全球软件开发(GSD)的组织面临着以下方面的挑战:访问执行分布式工程和开发活动的适当工具集、异构桌面和基于web的工具之间的集成、使用不同类型的工具开发和维护的远程位置的工件的管理、工件之间的可追溯性,以及访问具有敏感性质的工件和数据。这些挑战对特定项目构成了额外的限制,并减少了在全球分布式环境中进行工程和开发的可能性。在本文中,我们论证了需要一个支持GSD的云平台,并提出了一个基于云的平台的参考架构,以支持提供工具即服务(PTaaS)的生态系统。
{"title":"Towards a Reference Architecture to Provision Tools as a Service for Global Software Development","authors":"Muhammad Aufeef Chauhan, M. Babar","doi":"10.1109/WICSA.2014.44","DOIUrl":"https://doi.org/10.1109/WICSA.2014.44","url":null,"abstract":"Organizations involve in Global Software Development (GSD) face challenges in terms of having access to appropriate set of tools for performing distributed engineering and development activities, integration between heterogeneous desktop and web-based tools, management of artifacts developed and maintained over distant locations using different kind of tools, traceability among artifacts, and access to artifacts and data of sensitive nature. These challenges pose additional constraints on specific projects and reduce the possibility to carry out their engineering and development in globally distributed environment. In this paper, we argue the need to have a cloud-enabled platform for supporting GSD and propose reference architecture of a cloud based Platform for providing support to provision ecosystem of the Tools as a Service (PTaaS).","PeriodicalId":346971,"journal":{"name":"2014 IEEE/IFIP Conference on Software Architecture","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132070015","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
Architecting in Networked Organizations 网络组织中的架构
Pub Date : 2014-04-07 DOI: 10.1109/WICSA.2014.17
D. Tamburri, P. Lago, C. Dorn, R. Hilliard
The context of software architecting increasingly reflects webs of IT companies pooling resources together for software development. What results is a networked organization, populated by heterogeneous development communities connected via internet. How does this scenario change the process of software architecting? Pivoting around this research question, this paper presents architecture concerns relevant in such networked development scenarios. Supporting these concerns is critical to understand the impact of architecture on organizational change and vice versa. To this aim, we introduce a viewpoint, its supporting tool and evaluate both through a case-study.
软件架构的背景越来越多地反映了IT公司为软件开发汇集资源的网络。其结果是一个网络化的组织,由通过internet连接的异质开发社区组成。这个场景如何改变软件架构的过程?围绕这个研究问题,本文提出了与这种网络化开发场景相关的体系结构问题。支持这些关注点对于理解架构对组织变更的影响至关重要,反之亦然。为此,本文介绍了一种观点及其支持工具,并通过案例对两者进行了评价。
{"title":"Architecting in Networked Organizations","authors":"D. Tamburri, P. Lago, C. Dorn, R. Hilliard","doi":"10.1109/WICSA.2014.17","DOIUrl":"https://doi.org/10.1109/WICSA.2014.17","url":null,"abstract":"The context of software architecting increasingly reflects webs of IT companies pooling resources together for software development. What results is a networked organization, populated by heterogeneous development communities connected via internet. How does this scenario change the process of software architecting? Pivoting around this research question, this paper presents architecture concerns relevant in such networked development scenarios. Supporting these concerns is critical to understand the impact of architecture on organizational change and vice versa. To this aim, we introduce a viewpoint, its supporting tool and evaluate both through a case-study.","PeriodicalId":346971,"journal":{"name":"2014 IEEE/IFIP Conference on Software Architecture","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125215409","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
Scapegoat: An Adaptive Monitoring Framework for Component-Based Systems 替罪羊:基于组件的系统的自适应监控框架
Pub Date : 2014-04-07 DOI: 10.1109/WICSA.2014.49
I. Gonzalez-Herrera, Johann Bourcier, Erwan Daubert, Walter Rudametkin, Olivier Barais, François Fouquet, J. Jézéquel
Modern component frameworks support continuous deployment and simultaneous execution of multiple software components on top of the same virtual machine. However, isolation between the various components is limited. A faulty version of any one of the software components can compromise the whole system by consuming all available resources. In this paper, we address the problem of efficiently identifying faulty software components running simultaneously in a single virtual machine. Current solutions that perform permanent and extensive monitoring to detect anomalies induce high overhead on the system, and can, by themselves, make the system unstable. In this paper we present an optimistic adaptive monitoring system to determine the faulty components of an application. Suspected components are finely instrumented for deeper analysis by the monitoring system, but only when required. Unsuspected components are left untouched and execute normally. Thus, we perform localized just-in-time monitoring that decreases the accumulated overhead of the monitoring system. We evaluate our approach against a state-of-the-art monitoring system and show that our technique correctly detects faulty components, while reducing overhead by an average of 80%.
现代组件框架支持在同一虚拟机上连续部署和同时执行多个软件组件。然而,各个组件之间的隔离是有限的。任何一个软件组件的错误版本都可能消耗所有可用资源,从而危及整个系统。在本文中,我们解决了有效识别在单个虚拟机中同时运行的故障软件组件的问题。当前的解决方案执行永久和广泛的监控来检测异常,这会导致系统的高开销,并且本身会使系统不稳定。在本文中,我们提出了一种乐观自适应监控系统来确定应用程序的故障组件。监测系统会对可疑组件进行精细的仪器检测,以便进行更深入的分析,但只在需要时进行。未被怀疑的组件保持不变并正常执行。因此,我们执行本地化的实时监视,以减少监视系统的累积开销。我们根据最先进的监控系统评估了我们的方法,并表明我们的技术可以正确检测故障组件,同时平均减少80%的开销。
{"title":"Scapegoat: An Adaptive Monitoring Framework for Component-Based Systems","authors":"I. Gonzalez-Herrera, Johann Bourcier, Erwan Daubert, Walter Rudametkin, Olivier Barais, François Fouquet, J. Jézéquel","doi":"10.1109/WICSA.2014.49","DOIUrl":"https://doi.org/10.1109/WICSA.2014.49","url":null,"abstract":"Modern component frameworks support continuous deployment and simultaneous execution of multiple software components on top of the same virtual machine. However, isolation between the various components is limited. A faulty version of any one of the software components can compromise the whole system by consuming all available resources. In this paper, we address the problem of efficiently identifying faulty software components running simultaneously in a single virtual machine. Current solutions that perform permanent and extensive monitoring to detect anomalies induce high overhead on the system, and can, by themselves, make the system unstable. In this paper we present an optimistic adaptive monitoring system to determine the faulty components of an application. Suspected components are finely instrumented for deeper analysis by the monitoring system, but only when required. Unsuspected components are left untouched and execute normally. Thus, we perform localized just-in-time monitoring that decreases the accumulated overhead of the monitoring system. We evaluate our approach against a state-of-the-art monitoring system and show that our technique correctly detects faulty components, while reducing overhead by an average of 80%.","PeriodicalId":346971,"journal":{"name":"2014 IEEE/IFIP Conference on Software Architecture","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129734328","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}
引用次数: 11
Automatic Reference Architecture Conformance Checking for SOA-Based Software Systems 基于soa的软件系统的自动参考体系结构一致性检查
Pub Date : 2014-04-07 DOI: 10.1109/WICSA.2014.22
R. Weinreich, Georg Buchgeher
Company-wide reference architectures are an important means for standardization and reuse. Standardization is enforced through reference architecture conformance checking. Manual conformance checking is too time- and resource-intensive to be performed continuously for the various systems that are part of a SOA. We present an approach for automatic reference architecture conformance checking of SOA-based software systems. Reference architectures are defined based on rules consisting of roles and of constraints on roles and role relationships. By mapping the roles to the elements of a software architecture representation, reference architecture specifications are reusable for different software systems. Through automating the whole checking process, including architecture extraction, role mapping, and rule evaluation, the approach can be applied continuously for the different systems that are part of a SOA. The approach has been developed and refined by applying it to a SOA in the banking domain. During its evolution from semi-automatic to a fully automatic approach it has also changed the way of how architecture information is provided as part of the system implementation in this domain.
公司范围内的参考体系结构是标准化和重用的重要手段。标准化是通过参考体系结构一致性检查来实施的。对于作为SOA一部分的各种系统,手动一致性检查过于耗时和资源密集,无法持续执行。提出了一种基于soa的软件系统参考体系结构一致性自动检测方法。参考体系结构是基于由角色以及角色和角色关系的约束组成的规则来定义的。通过将角色映射到软件体系结构表示的元素,参考体系结构规范可用于不同的软件系统。通过自动化整个检查过程(包括体系结构提取、角色映射和规则评估),该方法可以连续地应用于作为SOA一部分的不同系统。该方法是通过将其应用于银行领域的SOA而开发和改进的。在从半自动到全自动的演进过程中,它也改变了架构信息作为该领域系统实现的一部分提供的方式。
{"title":"Automatic Reference Architecture Conformance Checking for SOA-Based Software Systems","authors":"R. Weinreich, Georg Buchgeher","doi":"10.1109/WICSA.2014.22","DOIUrl":"https://doi.org/10.1109/WICSA.2014.22","url":null,"abstract":"Company-wide reference architectures are an important means for standardization and reuse. Standardization is enforced through reference architecture conformance checking. Manual conformance checking is too time- and resource-intensive to be performed continuously for the various systems that are part of a SOA. We present an approach for automatic reference architecture conformance checking of SOA-based software systems. Reference architectures are defined based on rules consisting of roles and of constraints on roles and role relationships. By mapping the roles to the elements of a software architecture representation, reference architecture specifications are reusable for different software systems. Through automating the whole checking process, including architecture extraction, role mapping, and rule evaluation, the approach can be applied continuously for the different systems that are part of a SOA. The approach has been developed and refined by applying it to a SOA in the banking domain. During its evolution from semi-automatic to a fully automatic approach it has also changed the way of how architecture information is provided as part of the system implementation in this domain.","PeriodicalId":346971,"journal":{"name":"2014 IEEE/IFIP Conference on Software Architecture","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114293803","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}
引用次数: 15
A Flexible Framework for Runtime Monitoring of System-of-Systems Architectures 用于系统的系统架构运行时监控的灵活框架
Pub Date : 2014-04-07 DOI: 10.1109/WICSA.2014.12
Michael Vierhauser, Rick Rabiser, P. Grünbacher, Christian Danner, Stefan Wallner, H. Zeisel
Many software systems today have system-of systems (SoS) architectures comprising interrelated and heterogeneous systems, which are developed by multiple teams and companies. Such systems emerge gradually and it is hard to analyze or predict their behavior due to their scale and complexity. In particular, certain behavior only emerges at runtime due to complex interactions between the involved systems and their environment. Monitoring the behavior of SoS at runtime is thus essential during development and evolution. However, existing monitoring approaches are often limited to particular architectural styles or technologies and are thus hard to apply in SoS architectures. In this paper we first analyze the challenges for monitoring SoS based on an industrial SoS for the automation of metallurgical plants. We then propose a flexible framework for monitoring heterogeneous systems within a SoS. We demonstrate its feasibility by applying it to two systems of an industrial SoS. We also report results of an evaluation assessing the framework's performance and scalability.
今天的许多软件系统都有系统的系统体系结构,其中包括由多个团队和公司开发的相互关联和异构的系统。这种系统是逐渐出现的,由于其规模和复杂性,很难对其行为进行分析或预测。特别是,由于所涉及的系统与其环境之间的复杂交互,某些行为仅在运行时出现。因此,在开发和发展过程中,在运行时监视SoS的行为是必不可少的。然而,现有的监视方法通常局限于特定的体系结构风格或技术,因此很难应用于SoS体系结构。在本文中,我们首先分析了基于冶金厂自动化的工业SoS监测面临的挑战。然后,我们提出了一个灵活的框架,用于监控SoS内的异构系统。我们通过将其应用于两个工业SoS系统来证明其可行性。我们还报告了评估框架性能和可扩展性的结果。
{"title":"A Flexible Framework for Runtime Monitoring of System-of-Systems Architectures","authors":"Michael Vierhauser, Rick Rabiser, P. Grünbacher, Christian Danner, Stefan Wallner, H. Zeisel","doi":"10.1109/WICSA.2014.12","DOIUrl":"https://doi.org/10.1109/WICSA.2014.12","url":null,"abstract":"Many software systems today have system-of systems (SoS) architectures comprising interrelated and heterogeneous systems, which are developed by multiple teams and companies. Such systems emerge gradually and it is hard to analyze or predict their behavior due to their scale and complexity. In particular, certain behavior only emerges at runtime due to complex interactions between the involved systems and their environment. Monitoring the behavior of SoS at runtime is thus essential during development and evolution. However, existing monitoring approaches are often limited to particular architectural styles or technologies and are thus hard to apply in SoS architectures. In this paper we first analyze the challenges for monitoring SoS based on an industrial SoS for the automation of metallurgical plants. We then propose a flexible framework for monitoring heterogeneous systems within a SoS. We demonstrate its feasibility by applying it to two systems of an industrial SoS. We also report results of an evaluation assessing the framework's performance and scalability.","PeriodicalId":346971,"journal":{"name":"2014 IEEE/IFIP Conference on Software Architecture","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114105843","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}
引用次数: 15
Consistent Runtime Evolution of Service-Based Business Processes 基于服务的业务流程的一致运行时演化
Pub Date : 2014-04-07 DOI: 10.1109/WICSA.2014.24
L. Baresi, Sam Guinea, V. Manna
Service-based business processes must evolve to remain aligned with their goals, with zero downtime to guarantee business continuity. A new version of a service should be adopted as soon as it becomes available to let clients benefit from the updated functionality and/or improved quality of service. In practice, however, existing services may be involved in distributed computations that cannot immediately adopt the new versions without suffering inconsistencies. The paper proposes a solution for the consistent runtime evolution of service-based business processes: new service versions can be adopted safely and in a timely fashion, and old versions can be consistently decommissioned. The proposal has been evaluated in the context of an online bank wire transfer example. Our experiments show that the approach is timely in activating service updates, and that the overhead it introduces is negligible.
基于服务的业务流程必须不断发展,以保持与其目标一致,并具有零停机时间以保证业务连续性。服务的新版本一旦可用,就应该尽快采用,以便让客户端从更新的功能和/或改进的服务质量中受益。然而,在实践中,现有的服务可能涉及到分布式计算,无法立即采用新版本而避免不一致。本文为基于服务的业务流程的一致运行时演化提出了一种解决方案:可以安全且及时地采用新服务版本,并且可以一致地停用旧版本。该建议已在网上银行电汇示例的上下文中进行了评估。我们的实验表明,该方法在激活服务更新方面是及时的,并且它引入的开销可以忽略不计。
{"title":"Consistent Runtime Evolution of Service-Based Business Processes","authors":"L. Baresi, Sam Guinea, V. Manna","doi":"10.1109/WICSA.2014.24","DOIUrl":"https://doi.org/10.1109/WICSA.2014.24","url":null,"abstract":"Service-based business processes must evolve to remain aligned with their goals, with zero downtime to guarantee business continuity. A new version of a service should be adopted as soon as it becomes available to let clients benefit from the updated functionality and/or improved quality of service. In practice, however, existing services may be involved in distributed computations that cannot immediately adopt the new versions without suffering inconsistencies. The paper proposes a solution for the consistent runtime evolution of service-based business processes: new service versions can be adopted safely and in a timely fashion, and old versions can be consistently decommissioned. The proposal has been evaluated in the context of an online bank wire transfer example. Our experiments show that the approach is timely in activating service updates, and that the overhead it introduces is negligible.","PeriodicalId":346971,"journal":{"name":"2014 IEEE/IFIP Conference on Software Architecture","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115824818","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
Lessons Learned from Safety-Critical Software-Based Automation Architectures of Nuclear Power Plants 核电厂安全关键软件自动化架构的经验教训
Pub Date : 2014-04-07 DOI: 10.1109/WICSA.2014.33
Eero J. Uusitalo, M. Raatikainen, Mika Koskela, Varvana Myllärniemi, T. Männistö
Engineering large software-based systems in safety-critical domains is a challenging task despite extensive research on the topic. The software technologies and development processes are established, and basic safety principles are well known. However, demonstrating the safety of a software-based automation system remains a key challenge, particularly in the nuclear domain. In this paper, we describe our experiences from current nuclear projects featuring software-based automation. We observed a number of assumptions in regulation and standards related to safety principles, such as separation and diversity, which do not apply to software systems. The assumptions result in unrealistic expectations for software-based systems, making both design and safety demonstration challenging.
在安全关键领域设计大型基于软件的系统是一项具有挑战性的任务,尽管对该主题进行了广泛的研究。建立了软件技术和开发过程,并了解了基本的安全原则。然而,证明基于软件的自动化系统的安全性仍然是一个关键的挑战,特别是在核领域。在本文中,我们描述了我们在当前核项目中基于软件的自动化的经验。我们观察到与安全原则相关的法规和标准中的许多假设,例如分离和多样性,这些假设不适用于软件系统。这些假设导致了对基于软件的系统不切实际的期望,使得设计和安全演示都具有挑战性。
{"title":"Lessons Learned from Safety-Critical Software-Based Automation Architectures of Nuclear Power Plants","authors":"Eero J. Uusitalo, M. Raatikainen, Mika Koskela, Varvana Myllärniemi, T. Männistö","doi":"10.1109/WICSA.2014.33","DOIUrl":"https://doi.org/10.1109/WICSA.2014.33","url":null,"abstract":"Engineering large software-based systems in safety-critical domains is a challenging task despite extensive research on the topic. The software technologies and development processes are established, and basic safety principles are well known. However, demonstrating the safety of a software-based automation system remains a key challenge, particularly in the nuclear domain. In this paper, we describe our experiences from current nuclear projects featuring software-based automation. We observed a number of assumptions in regulation and standards related to safety principles, such as separation and diversity, which do not apply to software systems. The assumptions result in unrealistic expectations for software-based systems, making both design and safety demonstration challenging.","PeriodicalId":346971,"journal":{"name":"2014 IEEE/IFIP Conference on Software Architecture","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115105811","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
Architecture Adaptation Based on Belief Inaccuracy Estimation 基于信度误差估计的结构自适应
Pub Date : 2014-04-07 DOI: 10.1109/WICSA.2014.20
Rima Al Ali, T. Bures, I. Gerostathopoulos, Jaroslav Keznikl, F. Plášil
Cyber-physical systems (CPS) are systems of cooperating autonomous components which closely interact with and control the physical environment. Being distributed and typically based on periodic activities, CPS have to cope with the problem that data capturing a distributed state of the system and its environment are inherently inaccurate (they represent belief on the state). In particular, this poses a problem when dependability is being pursued. In this paper we address this issue by modeling belief at the architecture level. In particular, we enhance the architecture by models describing belief inaccuracy over time. We exploit these models to quantify at runtime the impact of belief staleness on its inaccuracy. We then use this quantification to drive architectural adaptation with the aim to increase dependability of the running CPS system.
信息物理系统(CPS)是由相互协作的自主组件组成的系统,这些组件与物理环境密切交互并控制物理环境。由于是分布式的,并且通常基于周期性活动,CPS必须处理这样的问题,即捕获系统及其环境的分布式状态的数据本质上是不准确的(它们代表对状态的信念)。特别是,当追求可靠性时,这就产生了一个问题。在本文中,我们通过在体系结构级别对信念进行建模来解决这个问题。特别是,我们通过描述随时间变化的信念不准确性的模型来增强体系结构。我们利用这些模型在运行时量化信念过时对其不准确性的影响。然后,我们使用此量化来驱动架构适应,目的是提高运行的CPS系统的可靠性。
{"title":"Architecture Adaptation Based on Belief Inaccuracy Estimation","authors":"Rima Al Ali, T. Bures, I. Gerostathopoulos, Jaroslav Keznikl, F. Plášil","doi":"10.1109/WICSA.2014.20","DOIUrl":"https://doi.org/10.1109/WICSA.2014.20","url":null,"abstract":"Cyber-physical systems (CPS) are systems of cooperating autonomous components which closely interact with and control the physical environment. Being distributed and typically based on periodic activities, CPS have to cope with the problem that data capturing a distributed state of the system and its environment are inherently inaccurate (they represent belief on the state). In particular, this poses a problem when dependability is being pursued. In this paper we address this issue by modeling belief at the architecture level. In particular, we enhance the architecture by models describing belief inaccuracy over time. We exploit these models to quantify at runtime the impact of belief staleness on its inaccuracy. We then use this quantification to drive architectural adaptation with the aim to increase dependability of the running CPS system.","PeriodicalId":346971,"journal":{"name":"2014 IEEE/IFIP Conference on Software Architecture","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121205028","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}
引用次数: 13
Processing the Evolution of Quality Requirements of Web Service Orchestrations: A Pattern-Based Approach 处理Web服务编排质量需求的演变:基于模式的方法
Pub Date : 2014-04-07 DOI: 10.1109/WICSA.2014.35
Tarek Zernadji, Chouki Tibermacine, Cherif Foudil
Currently Web services remain one of the leading technologies for implementing components of distributed service oriented software architectures. One of the most frequent form of compositions of these entities is Web service orchestration. As any other software artifact, such service compositions are subject to an unescapable evolution (Lehman's first law of software evolution). Either for answering new user requirements, for adapting, for correcting or for enhancing the provided functionality or quality, an architect has to conduct some evolutions on the design of these artifacts. In this paper, we present a method which aims at helping software architects of Web service orchestrations in processing an evolution of quality requirements. This method introduces a template for describing quality evolution "intents". It then analyzes these intents and assists the architects in answering them by proposing some patterns. We consider in our work the postulate stating that quality can be implemented through patterns, which are specified with checkable/process able languages. Besides this, the method that we propose simulates the application of these patterns and notifies the architect with its consequences on the other implemented qualities.
目前,Web服务仍然是实现面向服务的分布式软件体系结构组件的主要技术之一。这些实体最常见的组合形式之一是Web服务编排。与任何其他软件工件一样,这样的服务组合受制于不可避免的进化(雷曼软件进化的第一定律)。无论是为了回答新的用户需求,还是为了适应、纠正或增强所提供的功能或质量,架构师都必须在这些工件的设计上进行一些演进。在本文中,我们提出了一种方法,旨在帮助Web服务编排的软件架构师处理质量需求的演变。该方法引入了描述质量进化“意图”的模板。然后分析这些意图,并通过提出一些模式来帮助架构师回答这些问题。我们在工作中考虑这样一个假设,即质量可以通过模式实现,这些模式是用可检查/可处理语言指定的。除此之外,我们提出的方法模拟了这些模式的应用,并通知架构师其对其他已实现质量的影响。
{"title":"Processing the Evolution of Quality Requirements of Web Service Orchestrations: A Pattern-Based Approach","authors":"Tarek Zernadji, Chouki Tibermacine, Cherif Foudil","doi":"10.1109/WICSA.2014.35","DOIUrl":"https://doi.org/10.1109/WICSA.2014.35","url":null,"abstract":"Currently Web services remain one of the leading technologies for implementing components of distributed service oriented software architectures. One of the most frequent form of compositions of these entities is Web service orchestration. As any other software artifact, such service compositions are subject to an unescapable evolution (Lehman's first law of software evolution). Either for answering new user requirements, for adapting, for correcting or for enhancing the provided functionality or quality, an architect has to conduct some evolutions on the design of these artifacts. In this paper, we present a method which aims at helping software architects of Web service orchestrations in processing an evolution of quality requirements. This method introduces a template for describing quality evolution \"intents\". It then analyzes these intents and assists the architects in answering them by proposing some patterns. We consider in our work the postulate stating that quality can be implemented through patterns, which are specified with checkable/process able languages. Besides this, the method that we propose simulates the application of these patterns and notifies the architect with its consequences on the other implemented qualities.","PeriodicalId":346971,"journal":{"name":"2014 IEEE/IFIP Conference on Software Architecture","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121371444","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
期刊
2014 IEEE/IFIP Conference on Software Architecture
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1