首页 > 最新文献

2019 IEEE International Conference on Software Architecture Companion (ICSA-C)最新文献

英文 中文
Experience Report: Combining Mixed-Criticality Support with Resource Reservation and Spare Capacity Allocation 经验报告:混合关键支持与资源预留和备用容量分配相结合
Pub Date : 2019-05-09 DOI: 10.1109/ICSA-C.2019.00019
R. J. Bril, E. Luit
This paper reports upon our on-going research in supporting mixed criticality by means of an OSEK-compliant real-time operating system (RTOS). In our earlier work, we presented support for an (extended) adaptive mixed-criticality (AMC*) scheme using the OSEK-compliant RTOS μC/OS-II. Based on experiments with that set-up, we identified AMC-inherited undesirable behavior, and sketched improvements of that scheme to resolve or mitigate those issues. In this paper, we revisit the identified undesirable behavior, and specify and illustrate improvements based on resource reservation and space-capacity allocation. Our proposed improvements have also been implemented in μC/OS- II in combination with RELTEQ (Relative Timed Event Queues).
本文报告了我们正在进行的研究,支持混合临界通过一个osek兼容的实时操作系统(RTOS)。在我们早期的工作中,我们使用osek兼容的RTOS μC/OS-II提供了对(扩展的)自适应混合临界性(AMC*)方案的支持。基于该设置的实验,我们确定了amc继承的不良行为,并概述了该方案的改进以解决或减轻这些问题。在本文中,我们重新审视了识别出的不良行为,并指定和说明了基于资源保留和空间容量分配的改进。我们提出的改进也在μC/OS- II中结合RELTEQ(相对定时事件队列)实现。
{"title":"Experience Report: Combining Mixed-Criticality Support with Resource Reservation and Spare Capacity Allocation","authors":"R. J. Bril, E. Luit","doi":"10.1109/ICSA-C.2019.00019","DOIUrl":"https://doi.org/10.1109/ICSA-C.2019.00019","url":null,"abstract":"This paper reports upon our on-going research in supporting mixed criticality by means of an OSEK-compliant real-time operating system (RTOS). In our earlier work, we presented support for an (extended) adaptive mixed-criticality (AMC*) scheme using the OSEK-compliant RTOS μC/OS-II. Based on experiments with that set-up, we identified AMC-inherited undesirable behavior, and sketched improvements of that scheme to resolve or mitigate those issues. In this paper, we revisit the identified undesirable behavior, and specify and illustrate improvements based on resource reservation and space-capacity allocation. Our proposed improvements have also been implemented in μC/OS- II in combination with RELTEQ (Relative Timed Event Queues).","PeriodicalId":239999,"journal":{"name":"2019 IEEE International Conference on Software Architecture Companion (ICSA-C)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134023041","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
A Retargetable Fault Injection Framework for Safety Validation of Autonomous Vehicles 自动驾驶汽车安全验证的可重定向故障注入框架
Pub Date : 2019-05-09 DOI: 10.1109/ICSA-C.2019.00020
Yuting Fu, A. Terechko, T. Bijlsma, P. Cuijpers, J. Redegeld, A. Ors
Autonomous vehicles use Electronic Control Units running complex software to improve passenger comfort and safety. To test safety of in-vehicle electronics, the ISO 26262 standard on functional safety recommends using fault injection during component and system-level design. A Fault Injection Framework (FIF) induces hard-to-trigger hardware and software faults at runtime, enabling analysis of fault propagation effects. The growing number and complexity of diverse interacting components in vehicles demands a versatile FIF at the vehicle level. In this paper, we present a novel retargetable FIF based on debugger interfaces available on many target systems. We validated our FIF in three Hardware-In-the-Loop setups for autonomous driving based on the NXP BlueBox prototyping platform. To trigger a fault injection process, we developed an interactive user interface based on Robot Operating System, which also visualized vehicle system health. Our retargetable debugger-based fault injection mechanism confirmed safety properties and identified safety shortcomings of various automotive systems.
自动驾驶汽车使用运行复杂软件的电子控制单元来提高乘客的舒适度和安全性。为了测试车载电子设备的安全性,ISO 26262功能安全标准建议在组件和系统级设计期间使用故障注入。故障注入框架(FIF)在运行时诱导难以触发的硬件和软件故障,从而能够分析故障传播效应。车辆中各种相互作用部件的数量和复杂性不断增加,要求在车辆层面上实现多功能的FIF。本文提出了一种基于多种目标系统上可用的调试器接口的可重定向FIF。我们在三个基于NXP BlueBox原型平台的自动驾驶硬件在环设置中验证了我们的FIF。为了触发故障注入过程,我们开发了一个基于机器人操作系统的交互式用户界面,该界面还可以可视化车辆系统的健康状况。我们基于可重定向调试器的故障注入机制确认了各种汽车系统的安全特性并识别了安全缺陷。
{"title":"A Retargetable Fault Injection Framework for Safety Validation of Autonomous Vehicles","authors":"Yuting Fu, A. Terechko, T. Bijlsma, P. Cuijpers, J. Redegeld, A. Ors","doi":"10.1109/ICSA-C.2019.00020","DOIUrl":"https://doi.org/10.1109/ICSA-C.2019.00020","url":null,"abstract":"Autonomous vehicles use Electronic Control Units running complex software to improve passenger comfort and safety. To test safety of in-vehicle electronics, the ISO 26262 standard on functional safety recommends using fault injection during component and system-level design. A Fault Injection Framework (FIF) induces hard-to-trigger hardware and software faults at runtime, enabling analysis of fault propagation effects. The growing number and complexity of diverse interacting components in vehicles demands a versatile FIF at the vehicle level. In this paper, we present a novel retargetable FIF based on debugger interfaces available on many target systems. We validated our FIF in three Hardware-In-the-Loop setups for autonomous driving based on the NXP BlueBox prototyping platform. To trigger a fault injection process, we developed an interactive user interface based on Robot Operating System, which also visualized vehicle system health. Our retargetable debugger-based fault injection mechanism confirmed safety properties and identified safety shortcomings of various automotive systems.","PeriodicalId":239999,"journal":{"name":"2019 IEEE International Conference on Software Architecture Companion (ICSA-C)","volume":"117 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117279831","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
DecidArch V2: An Improved Game to Teach Architecture Design Decision Making DecidArch V2:一款教授建筑设计决策的改进游戏
Pub Date : 2019-03-26 DOI: 10.1109/ICSA-C.2019.00034
R. Boer, P. Lago, R. Verdecchia, Philippe B Kruchten
We report on the use of our DecidArch game to teach software architecture design decision making in two consecutive years. We compare the support of three learning goals for the first version of the game with the second, revised version. Results show how the game has clearly improved. For the remaining issues. we suggest final improvements.
我们报告了连续两年使用我们的DecidArch游戏来教授软件架构设计决策。我们比较了游戏第一版和修订版的三个学习目标的支持度。结果显示,游戏有了明显的改进。对于剩下的问题。我们建议最后改进。
{"title":"DecidArch V2: An Improved Game to Teach Architecture Design Decision Making","authors":"R. Boer, P. Lago, R. Verdecchia, Philippe B Kruchten","doi":"10.1109/ICSA-C.2019.00034","DOIUrl":"https://doi.org/10.1109/ICSA-C.2019.00034","url":null,"abstract":"We report on the use of our DecidArch game to teach software architecture design decision making in two consecutive years. We compare the support of three learning goals for the first version of the game with the second, revised version. Results show how the game has clearly improved. For the remaining issues. we suggest final improvements.","PeriodicalId":239999,"journal":{"name":"2019 IEEE International Conference on Software Architecture Companion (ICSA-C)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130476580","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
Machine Learning System Architectural Pattern for Improving Operational Stability 提高运行稳定性的机器学习系统架构模式
Pub Date : 2019-03-25 DOI: 10.1109/ICSA-C.2019.00055
Haruki Yokoyama
Recently, machine learning systems with inference engines have been widely used for a variety of purposes (such as prediction and classification) in our society. While it is quite important to keep the services provided by these machine learning systems stable, maintaining stability can be difficult given the nature of machine learning systems whose behaviors can be determined by program codes and input data. Therefore, quick troubleshooting (problem localization, rollback, etc.) is necessary. However, common machine learning systems with three-layer architectural patterns complicate the troubleshooting process because of their tightly coupled functions (e.g., business logic coded from design and inference engine derived from data). To solve the problem, we propose a novel architectural pattern for machine learning systems in which components for business logic and components for machine learning are separated. This architectural pattern helps operators break down the failures into a business logic part and a ML-specific part, and they can rollback the inference engine independent of the business logic when the inference engine has some problems. Through a practical case study scenario, we will show how our architectural pattern can make troubleshooting easier than common three-layer architecture.
近年来,带有推理引擎的机器学习系统在我们的社会中被广泛用于各种目的(如预测和分类)。虽然保持这些机器学习系统提供的服务的稳定性非常重要,但考虑到机器学习系统的性质(其行为可以由程序代码和输入数据决定),保持稳定性可能很困难。因此,快速故障排除(问题定位、回滚等)是必要的。然而,具有三层架构模式的常见机器学习系统由于其紧密耦合的功能(例如,从设计中编码的业务逻辑和从数据中派生的推理引擎)而使故障排除过程复杂化。为了解决这个问题,我们提出了一种新的机器学习系统架构模式,其中业务逻辑组件和机器学习组件是分离的。这种体系结构模式帮助操作员将故障分解为业务逻辑部分和特定于ml的部分,当推理引擎出现问题时,操作员可以独立于业务逻辑回滚推理引擎。通过一个实际的案例研究场景,我们将展示我们的体系结构模式如何比普通的三层体系结构更容易进行故障排除。
{"title":"Machine Learning System Architectural Pattern for Improving Operational Stability","authors":"Haruki Yokoyama","doi":"10.1109/ICSA-C.2019.00055","DOIUrl":"https://doi.org/10.1109/ICSA-C.2019.00055","url":null,"abstract":"Recently, machine learning systems with inference engines have been widely used for a variety of purposes (such as prediction and classification) in our society. While it is quite important to keep the services provided by these machine learning systems stable, maintaining stability can be difficult given the nature of machine learning systems whose behaviors can be determined by program codes and input data. Therefore, quick troubleshooting (problem localization, rollback, etc.) is necessary. However, common machine learning systems with three-layer architectural patterns complicate the troubleshooting process because of their tightly coupled functions (e.g., business logic coded from design and inference engine derived from data). To solve the problem, we propose a novel architectural pattern for machine learning systems in which components for business logic and components for machine learning are separated. This architectural pattern helps operators break down the failures into a business logic part and a ML-specific part, and they can rollback the inference engine independent of the business logic when the inference engine has some problems. Through a practical case study scenario, we will show how our architectural pattern can make troubleshooting easier than common three-layer architecture.","PeriodicalId":239999,"journal":{"name":"2019 IEEE International Conference on Software Architecture Companion (ICSA-C)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117017144","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}
引用次数: 29
Towards Blockchain Tactics: Building Hybrid Decentralized Software Architectures 走向区块链策略:构建混合分散式软件架构
Pub Date : 2019-03-25 DOI: 10.1109/ICSA-C.2019.00048
F. Wessling, Christopher Ehmke, Ole Meyer, V. Gruhn
Blockchain-based applications usually consist of centralized elements (e.g., web servers and back-end logic) connected to decentralized elements such as smart contracts. The engineering of such hybrid software architectures poses a challenge as it is unclear which elements should be centralized or decentralized. Furthermore the impact of this decision (or the balance between those two areas) on software quality attributes such as security, maintainability, performance or costs is currently unknown. The goal is to build a software architecture using the benefits and handling the challenges of blockchain technology while fulfilling the relevant quality attributes. While there are several approaches examining the relation between architectural decisions and quality attributes in centralized systems, research is at an early stage for decentralized elements in software architectures. This paper presents a first step towards architectural blockchain tactics. With a simplified experiment comparing two implementation variants of an Ethereum smart contract we show that software design patterns are not always beneficial and that the expected usage scenarios have a strong impact on the operational costs. We argue that further research and validation is necessary for gaining more qualitative and quantitative insights to make informed architectural design decisions when using blockchain technology and give a first outline on how to achieve this.
基于区块链的应用程序通常由中心化元素(例如,web服务器和后端逻辑)连接到去中心化元素(例如智能合约)组成。这种混合软件架构的工程带来了挑战,因为不清楚哪些元素应该集中或分散。此外,该决策(或这两个领域之间的平衡)对软件质量属性(如安全性、可维护性、性能或成本)的影响目前尚不清楚。目标是利用区块链技术的优势和应对挑战,同时满足相关的质量属性,构建一个软件架构。虽然有几种方法可以检验集中式系统中体系结构决策和质量属性之间的关系,但对软件体系结构中分散元素的研究还处于早期阶段。本文提出了构建区块链策略的第一步。通过比较以太坊智能合约的两种实现变体的简化实验,我们表明软件设计模式并不总是有益的,预期的使用场景对运营成本有很大的影响。我们认为,进一步的研究和验证是必要的,以便在使用区块链技术时获得更多定性和定量的见解,从而做出明智的架构设计决策,并给出如何实现这一目标的第一个大纲。
{"title":"Towards Blockchain Tactics: Building Hybrid Decentralized Software Architectures","authors":"F. Wessling, Christopher Ehmke, Ole Meyer, V. Gruhn","doi":"10.1109/ICSA-C.2019.00048","DOIUrl":"https://doi.org/10.1109/ICSA-C.2019.00048","url":null,"abstract":"Blockchain-based applications usually consist of centralized elements (e.g., web servers and back-end logic) connected to decentralized elements such as smart contracts. The engineering of such hybrid software architectures poses a challenge as it is unclear which elements should be centralized or decentralized. Furthermore the impact of this decision (or the balance between those two areas) on software quality attributes such as security, maintainability, performance or costs is currently unknown. The goal is to build a software architecture using the benefits and handling the challenges of blockchain technology while fulfilling the relevant quality attributes. While there are several approaches examining the relation between architectural decisions and quality attributes in centralized systems, research is at an early stage for decentralized elements in software architectures. This paper presents a first step towards architectural blockchain tactics. With a simplified experiment comparing two implementation variants of an Ethereum smart contract we show that software design patterns are not always beneficial and that the expected usage scenarios have a strong impact on the operational costs. We argue that further research and validation is necessary for gaining more qualitative and quantitative insights to make informed architectural design decisions when using blockchain technology and give a first outline on how to achieve this.","PeriodicalId":239999,"journal":{"name":"2019 IEEE International Conference on Software Architecture Companion (ICSA-C)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125505826","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 Pattern-Oriented Design Framework for Self-Adaptive Software Systems 面向模式的自适应软件系统设计框架
Pub Date : 2019-03-25 DOI: 10.1109/ICSA-C.2019.00037
Paolo Arcaini, R. Mirandola, E. Riccobene, P. Scandurra
Multiple interacting MAPE-K loops, structured according to specific interaction patterns, have been introduced to design the adaptation logic in case of decentralized self-adaptive software systems. Designing such complex systems requires the availability of tools where MAPE patterns can be easily instantiated to provide fast architectural solutions, and the encoding towards specific domains is facilitated by automatic mapping of such pattern instantiations in domain-specific languages; validation and verification must be also supported to assure correct development of reliable systems. In this paper, we present a pattern-oriented framework, based on the MSL (MAPE Specification Language) modeling language, for the design of self-adaptive systems. The framework supports: (i) explicit modeling of the adaptation logic in terms of patterns of interactive MAPE-K loops; (ii) ability to tailor MSL models for a specific application domain and synthesize from them other modeling artifacts/code according to a target implementation context and scope (e.g., OpenHAB); (iii) ability to perform validation and verification of MSL models by means of the ASMETA formal framework.
引入了多个相互作用的MAPE-K循环,根据特定的交互模式构建MAPE-K循环,设计了分散自适应软件系统的自适应逻辑。设计这样复杂的系统需要可用的工具,在这些工具中,MAPE模式可以很容易地实例化,以提供快速的体系结构解决方案,并且通过在特定于领域的语言中自动映射这种模式实例,可以促进对特定领域的编码;还必须支持确认和验证,以确保正确开发可靠的系统。本文提出了一种基于MAPE规范语言(MSL)建模语言的面向模式的自适应系统设计框架。该框架支持:(i)根据交互式MAPE-K循环模式对自适应逻辑进行显式建模;(ii)为特定应用领域定制MSL模型的能力,并根据目标实现上下文和范围(例如,OpenHAB)从这些模型中合成其他建模工件/代码;(iii)通过ASMETA正式框架对MSL模型进行确认和验证的能力。
{"title":"A Pattern-Oriented Design Framework for Self-Adaptive Software Systems","authors":"Paolo Arcaini, R. Mirandola, E. Riccobene, P. Scandurra","doi":"10.1109/ICSA-C.2019.00037","DOIUrl":"https://doi.org/10.1109/ICSA-C.2019.00037","url":null,"abstract":"Multiple interacting MAPE-K loops, structured according to specific interaction patterns, have been introduced to design the adaptation logic in case of decentralized self-adaptive software systems. Designing such complex systems requires the availability of tools where MAPE patterns can be easily instantiated to provide fast architectural solutions, and the encoding towards specific domains is facilitated by automatic mapping of such pattern instantiations in domain-specific languages; validation and verification must be also supported to assure correct development of reliable systems. In this paper, we present a pattern-oriented framework, based on the MSL (MAPE Specification Language) modeling language, for the design of self-adaptive systems. The framework supports: (i) explicit modeling of the adaptation logic in terms of patterns of interactive MAPE-K loops; (ii) ability to tailor MSL models for a specific application domain and synthesize from them other modeling artifacts/code according to a target implementation context and scope (e.g., OpenHAB); (iii) ability to perform validation and verification of MSL models by means of the ASMETA formal framework.","PeriodicalId":239999,"journal":{"name":"2019 IEEE International Conference on Software Architecture Companion (ICSA-C)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122325770","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}
引用次数: 9
A Flexible Platform Architecture for the Dynamic Composition of Third-Party-Services 第三方服务动态组合的灵活平台架构
Pub Date : 2019-03-25 DOI: 10.1109/ICSA-C.2019.00044
M. Hesenius, A. Usov, Claas Rink, Dmitri Schmidt, V. Gruhn
The increasing availability of IP-based services and the rise of the platform economy in several industrial branches allow vendors to conquer new sales markets and develop new business models. Technical interoperability among services available on platforms is a desirable feature, but also a major challenge. Typically, service providers need to implement APIs of other services directly - an expensive, cumbersome, and often error-prone task. We present a platform architecture that allows to define, publish, and implement third-pary APIs to ease dynamic service composition.
基于ip的服务越来越多,平台经济在几个工业部门的兴起,使供应商能够征服新的销售市场并开发新的商业模式。平台上可用的服务之间的技术互操作性是一个理想的特性,但也是一个主要挑战。通常,服务提供者需要直接实现其他服务的api——这是一项昂贵、繁琐且经常容易出错的任务。我们提供了一个平台架构,允许定义、发布和实现第三方api,以简化动态服务组合。
{"title":"A Flexible Platform Architecture for the Dynamic Composition of Third-Party-Services","authors":"M. Hesenius, A. Usov, Claas Rink, Dmitri Schmidt, V. Gruhn","doi":"10.1109/ICSA-C.2019.00044","DOIUrl":"https://doi.org/10.1109/ICSA-C.2019.00044","url":null,"abstract":"The increasing availability of IP-based services and the rise of the platform economy in several industrial branches allow vendors to conquer new sales markets and develop new business models. Technical interoperability among services available on platforms is a desirable feature, but also a major challenge. Typically, service providers need to implement APIs of other services directly - an expensive, cumbersome, and often error-prone task. We present a platform architecture that allows to define, publish, and implement third-pary APIs to ease dynamic service composition.","PeriodicalId":239999,"journal":{"name":"2019 IEEE International Conference on Software Architecture Companion (ICSA-C)","volume":"262 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132349940","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
Towards Consistency Checking Between Software Architecture and Informal Documentation 软件架构与非正式文档的一致性检验
Pub Date : 2019-03-25 DOI: 10.1109/ICSA-C.2019.00052
Jan Keim, A. Koziolek
In the development process, documenting the software architecture is important to capture all reasoning and design decisions. Without a good and complete documentation, there is a lot of tacit knowledge that easily can get lost resulting in threats for success and increased costs. However, software architecture documentation is often missing or outdated. One reason for it is the tedious and costly process of creating and updating documentation in comparison to (perceived) low benefits. In this paper, we first present our long-term vision, where all information from any sources are persisted to avoid losing crucial information about a system. A base problem in this vision is keeping information from different sources consistent, with a major challenge of keeping consistency between models and informal documentation. We plan to address checking the consistency between models and textual natural language artefacts using natural language understanding. For this, we plan to break down the task into smaller subtasks that should provide a better understanding of the documents and their semantics. The extracted information should then be used to create traceability links and to check whether statements within the textual documentation are consistent with the software architecture models.
在开发过程中,记录软件体系结构对于捕获所有推理和设计决策非常重要。如果没有良好和完整的文档,就会有很多隐性知识很容易丢失,从而威胁到成功并增加成本。然而,软件架构文档经常缺失或过时。其中一个原因是创建和更新文档的过程冗长而昂贵,相比之下(人们认为)收益很低。在本文中,我们首先展示了我们的长期愿景,其中来自任何来源的所有信息都被持久化,以避免丢失关于系统的关键信息。这个观点中的一个基本问题是保持来自不同来源的信息的一致性,主要挑战是保持模型和非正式文档之间的一致性。我们计划使用自然语言理解来检查模型和文本自然语言工件之间的一致性。为此,我们计划将任务分解为更小的子任务,以便更好地理解文档及其语义。然后应该使用提取的信息来创建可跟踪性链接,并检查文本文档中的语句是否与软件体系结构模型一致。
{"title":"Towards Consistency Checking Between Software Architecture and Informal Documentation","authors":"Jan Keim, A. Koziolek","doi":"10.1109/ICSA-C.2019.00052","DOIUrl":"https://doi.org/10.1109/ICSA-C.2019.00052","url":null,"abstract":"In the development process, documenting the software architecture is important to capture all reasoning and design decisions. Without a good and complete documentation, there is a lot of tacit knowledge that easily can get lost resulting in threats for success and increased costs. However, software architecture documentation is often missing or outdated. One reason for it is the tedious and costly process of creating and updating documentation in comparison to (perceived) low benefits. In this paper, we first present our long-term vision, where all information from any sources are persisted to avoid losing crucial information about a system. A base problem in this vision is keeping information from different sources consistent, with a major challenge of keeping consistency between models and informal documentation. We plan to address checking the consistency between models and textual natural language artefacts using natural language understanding. For this, we plan to break down the task into smaller subtasks that should provide a better understanding of the documents and their semantics. The extracted information should then be used to create traceability links and to check whether statements within the textual documentation are consistent with the software architecture models.","PeriodicalId":239999,"journal":{"name":"2019 IEEE International Conference on Software Architecture Companion (ICSA-C)","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116814394","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
PerOpteryx: Automated Improvement of Software Architectures PerOpteryx:软件架构的自动化改进
Pub Date : 2019-03-25 DOI: 10.1109/ICSA-C.2019.00036
A. Busch, Dominik Fuchß, A. Koziolek
The design phase of software development processes is a decisive part of the quality characteristics of the later software system. If errors are not or only late discovered in early phases of the development, this often has strong effects on quality and costs of the project. Software architecture models systematically help to prevent errors in early phases, such as the design phase. On the basis of models, software architectures and their quality properties can be evaluated and optimized at design time. PerOpteryx supports the systematic process of evaluating and optimizing software architecture models early considering quality attributes, such as performance, reliability, costs. The approach automatically generates architecture candidates based on several degrees of freedom of component-based software architectures. PerOpteryx then automatically evaluates and optimizes these architecture candidates with regard to the quality requirements of the software system. PerOpteryx is the first automated tool for systematic quality optimization of component-based software architectures that combines quantitatively modeled knowledge with qualitatively modeled architecture knowledge. Including qualitatively modeled knowledge enables quality characteristics to be taken into account in the optimization process that would have been too cost-intensive to model quantitatively.
软件开发过程的设计阶段是决定后期软件系统质量特性的关键环节。如果错误没有或只是在开发的早期阶段发现,这通常会对项目的质量和成本产生强烈的影响。软件架构模型系统地帮助防止早期阶段的错误,比如设计阶段。在模型的基础上,软件体系结构及其质量属性可以在设计时进行评估和优化。PerOpteryx支持评估和优化软件架构模型的系统过程,尽早考虑质量属性,如性能、可靠性、成本。该方法根据基于组件的软件体系结构的几个自由度自动生成候选体系结构。PerOpteryx然后根据软件系统的质量需求自动评估和优化这些候选架构。PerOpteryx是第一个用于基于组件的软件体系结构系统质量优化的自动化工具,它将定量建模的知识与定性建模的体系结构知识相结合。包括定性建模的知识,可以在优化过程中考虑到质量特征,这将是过于成本密集而无法定量建模的。
{"title":"PerOpteryx: Automated Improvement of Software Architectures","authors":"A. Busch, Dominik Fuchß, A. Koziolek","doi":"10.1109/ICSA-C.2019.00036","DOIUrl":"https://doi.org/10.1109/ICSA-C.2019.00036","url":null,"abstract":"The design phase of software development processes is a decisive part of the quality characteristics of the later software system. If errors are not or only late discovered in early phases of the development, this often has strong effects on quality and costs of the project. Software architecture models systematically help to prevent errors in early phases, such as the design phase. On the basis of models, software architectures and their quality properties can be evaluated and optimized at design time. PerOpteryx supports the systematic process of evaluating and optimizing software architecture models early considering quality attributes, such as performance, reliability, costs. The approach automatically generates architecture candidates based on several degrees of freedom of component-based software architectures. PerOpteryx then automatically evaluates and optimizes these architecture candidates with regard to the quality requirements of the software system. PerOpteryx is the first automated tool for systematic quality optimization of component-based software architectures that combines quantitatively modeled knowledge with qualitatively modeled architecture knowledge. Including qualitatively modeled knowledge enables quality characteristics to be taken into account in the optimization process that would have been too cost-intensive to model quantitatively.","PeriodicalId":239999,"journal":{"name":"2019 IEEE International Conference on Software Architecture Companion (ICSA-C)","volume":"122 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123340621","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}
引用次数: 14
PaaSArch: Quality Evaluation Tool for PaaS Cloud Applications Using Generated Prototypes PaaSArch:使用生成原型的PaaS云应用的质量评估工具
Pub Date : 2019-03-25 DOI: 10.1109/ICSA-C.2019.00038
David Gesvindr, Barbora Buhnova
Platform as a Service (PaaS) cloud offers a plethora of architectural options when designing new PaaS cloud applications. The quality evaluation of each architectural alternative is very difficult due to unknown performance and internal architecture of the used PaaS cloud services. The PaasArch tool supports software architects in quality evaluation of PaaS cloud applications using generated prototypes. Within the tool, fully functional cloud applications can be automatically generated based on their model, deployed to the cloud, and benchmarked. Our experiments show that the benchmarks give very good guidance to the software architect about the quality (namely performance) of evaluated architectural alternatives.
平台即服务(PaaS)云在设计新的PaaS云应用程序时提供了大量的架构选择。由于所使用的PaaS云服务的性能和内部架构未知,对每种体系结构备选方案的质量评估非常困难。PaasArch工具支持软件架构师使用生成的原型对PaaS云应用程序进行质量评估。在该工具中,可以根据模型自动生成功能齐全的云应用程序,将其部署到云中,并对其进行基准测试。我们的实验表明,基准测试为软件架构师提供了关于评估的架构备选方案的质量(即性能)的很好的指导。
{"title":"PaaSArch: Quality Evaluation Tool for PaaS Cloud Applications Using Generated Prototypes","authors":"David Gesvindr, Barbora Buhnova","doi":"10.1109/ICSA-C.2019.00038","DOIUrl":"https://doi.org/10.1109/ICSA-C.2019.00038","url":null,"abstract":"Platform as a Service (PaaS) cloud offers a plethora of architectural options when designing new PaaS cloud applications. The quality evaluation of each architectural alternative is very difficult due to unknown performance and internal architecture of the used PaaS cloud services. The PaasArch tool supports software architects in quality evaluation of PaaS cloud applications using generated prototypes. Within the tool, fully functional cloud applications can be automatically generated based on their model, deployed to the cloud, and benchmarked. Our experiments show that the benchmarks give very good guidance to the software architect about the quality (namely performance) of evaluated architectural alternatives.","PeriodicalId":239999,"journal":{"name":"2019 IEEE International Conference on Software Architecture Companion (ICSA-C)","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124184920","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
期刊
2019 IEEE International Conference on Software Architecture Companion (ICSA-C)
全部 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