首页 > 最新文献

2018 4th International Workshop on Requirements Engineering for Self-Adaptive, Collaborative, and Cyber Physical Systems (RESACS)最新文献

英文 中文
Requirements for a Flexible and Generic API Enabling Mobile Crowdsensing mHealth Applications 灵活和通用API的要求,使移动人群传感移动健康应用程序
R. Pryss, Johannes Schobel, M. Reichert
Presently, mHealth becomes increasingly important in supporting patients in their everyday life. For example, diabetes patients can monitor themselves by the use of their smartphones. On the other, clinicians as well as medical researchers try to exploit the advantages of mobile technology. More specifically, mHealth applications can gather data in everyday life and are able to easily collect sensor or context data (e.g., the current temperature). Compared to clinical trials, these advantages enable mHealth applications to gather more data in a rather short time. Besides, humans often behave atypically in a clinical environment and, hence, mHealth applications collect data in a setting that reflects the daily behavior more naturally. Hitherto, many technical solutions emerged to deal with such data collection settings. Mobile crowdsensing is one prominent example in this context. We utilize the latter technology in a multitude of large-scale projects to gather data of several chronic disorders. In the TrackYourTinnitus project, for example, we pursue the goal to reveal new medical insights to the tinnitus disorder. We learned in the realized projects that a sophisticated API must be provided to cope with the requirements of researchers from the medical domain. Notably, the API must be able to flexibly deal with requirement changes. The work at hand presents the elicited requirements and illustrate the pillars on which our flexible and generic API is built on. Although we identified that the maintenance of such an API is a challenging endeavor, new data evaluation opportunities arise that are promising in the context of chronic disorder management.
目前,移动医疗在支持患者的日常生活中变得越来越重要。例如,糖尿病患者可以通过使用智能手机来监测自己。另一方面,临床医生和医学研究人员试图利用移动技术的优势。更具体地说,移动健康应用程序可以收集日常生活中的数据,并且能够轻松收集传感器或上下文数据(例如,当前温度)。与临床试验相比,这些优势使移动医疗应用程序能够在相当短的时间内收集更多的数据。此外,人类在临床环境中的行为通常是非典型的,因此,移动健康应用程序在反映日常行为更自然的环境中收集数据。迄今为止,出现了许多处理此类数据收集设置的技术解决方案。在这种情况下,移动众测就是一个突出的例子。我们在许多大型项目中利用后一种技术来收集几种慢性疾病的数据。例如,在TrackYourTinnitus项目中,我们追求的目标是揭示耳鸣疾病的新医学见解。我们在已实现的项目中了解到,必须提供一个复杂的API来满足医学领域研究人员的需求。值得注意的是,API必须能够灵活地处理需求变化。手头的工作展示了引出的需求,并说明了构建灵活的通用API所依赖的支柱。尽管我们发现维持这样的API是一项具有挑战性的努力,但在慢性疾病管理的背景下,新的数据评估机会出现了。
{"title":"Requirements for a Flexible and Generic API Enabling Mobile Crowdsensing mHealth Applications","authors":"R. Pryss, Johannes Schobel, M. Reichert","doi":"10.1109/RESACS.2018.00010","DOIUrl":"https://doi.org/10.1109/RESACS.2018.00010","url":null,"abstract":"Presently, mHealth becomes increasingly important in supporting patients in their everyday life. For example, diabetes patients can monitor themselves by the use of their smartphones. On the other, clinicians as well as medical researchers try to exploit the advantages of mobile technology. More specifically, mHealth applications can gather data in everyday life and are able to easily collect sensor or context data (e.g., the current temperature). Compared to clinical trials, these advantages enable mHealth applications to gather more data in a rather short time. Besides, humans often behave atypically in a clinical environment and, hence, mHealth applications collect data in a setting that reflects the daily behavior more naturally. Hitherto, many technical solutions emerged to deal with such data collection settings. Mobile crowdsensing is one prominent example in this context. We utilize the latter technology in a multitude of large-scale projects to gather data of several chronic disorders. In the TrackYourTinnitus project, for example, we pursue the goal to reveal new medical insights to the tinnitus disorder. We learned in the realized projects that a sophisticated API must be provided to cope with the requirements of researchers from the medical domain. Notably, the API must be able to flexibly deal with requirement changes. The work at hand presents the elicited requirements and illustrate the pillars on which our flexible and generic API is built on. Although we identified that the maintenance of such an API is a challenging endeavor, new data evaluation opportunities arise that are promising in the context of chronic disorder management.","PeriodicalId":104809,"journal":{"name":"2018 4th International Workshop on Requirements Engineering for Self-Adaptive, Collaborative, and Cyber Physical Systems (RESACS)","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134320023","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}
引用次数: 28
AirborneCPS: A Simulator for Functional Dependencies in Cyber Physical Systems: A Traffic Collision Avoidance System Implementation AirborneCPS:网络物理系统中功能依赖的模拟器:交通碰撞避免系统的实现
William Cook, Andrew Driscoll, B. Tenbergen
The term "Cyber Physical System" (CPS) has been used in the recent years to describe a system type, which makes use of powerful communication networks to functionally combine systems that were previously thought of as independent. The common theme of CPSs is that through communication, CPSs can make decisions together and achieve common goals. Yet, in contrast to traditional system types such as embedded systems, the functional dependence between CPSs can change dynamically at runtime. Hence, their functional dependence may cause unforeseen runtime behavior, e.g., when a CPS becomes unavailable, but others depend on its correct operation. During development of any individual CPS, this runtime behavior must hence be predicted, and the system must be developed with the appropriate level of robustness. Since at present, research is mainly concerned with the impact of functional dependence in CPS on development, the impact on runtime behavior is mere conjecture. In this paper, we present AirborneCPS, a simulation tool for functionally dependent CPSs which simulates runtime behavior and aids in the identification of undesired functional interaction.
近年来,“网络物理系统”(CPS)一词被用来描述一种系统类型,它利用强大的通信网络在功能上组合以前被认为是独立的系统。cps的共同主题是,通过沟通,cps可以一起做决定,实现共同的目标。然而,与嵌入式系统等传统系统类型相比,cps之间的功能依赖关系可以在运行时动态变化。因此,它们的功能依赖性可能会导致不可预见的运行时行为,例如,当一个CPS不可用时,但其他CPS依赖于它的正确操作。在开发任何单独的CPS期间,必须预测这种运行时行为,并且必须使用适当级别的健壮性来开发系统。由于目前的研究主要关注CPS中功能依赖对开发的影响,因此对运行时行为的影响仅是推测。在本文中,我们提出了AirborneCPS,一个功能依赖的cps的仿真工具,它模拟运行时行为并帮助识别不希望的功能交互。
{"title":"AirborneCPS: A Simulator for Functional Dependencies in Cyber Physical Systems: A Traffic Collision Avoidance System Implementation","authors":"William Cook, Andrew Driscoll, B. Tenbergen","doi":"10.1109/RESACS.2018.00011","DOIUrl":"https://doi.org/10.1109/RESACS.2018.00011","url":null,"abstract":"The term \"Cyber Physical System\" (CPS) has been used in the recent years to describe a system type, which makes use of powerful communication networks to functionally combine systems that were previously thought of as independent. The common theme of CPSs is that through communication, CPSs can make decisions together and achieve common goals. Yet, in contrast to traditional system types such as embedded systems, the functional dependence between CPSs can change dynamically at runtime. Hence, their functional dependence may cause unforeseen runtime behavior, e.g., when a CPS becomes unavailable, but others depend on its correct operation. During development of any individual CPS, this runtime behavior must hence be predicted, and the system must be developed with the appropriate level of robustness. Since at present, research is mainly concerned with the impact of functional dependence in CPS on development, the impact on runtime behavior is mere conjecture. In this paper, we present AirborneCPS, a simulation tool for functionally dependent CPSs which simulates runtime behavior and aids in the identification of undesired functional interaction.","PeriodicalId":104809,"journal":{"name":"2018 4th International Workshop on Requirements Engineering for Self-Adaptive, Collaborative, and Cyber Physical Systems (RESACS)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121253305","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
ReqVision: Digitising Your Analog Notes into Readable and Editable Data ReqVision:数字化你的模拟笔记成可读和可编辑的数据
Natalia Mannov, C. M. Lüders, A. Kaznin
The paper describes the problem of collecting, merging, and sharing information from workshops and conference notes in order to achieve better cooperation between stakeholders, thus improving collaboration during product development. We provide an overview of apps for Android and iOS devices that can facilitate this problem. We tested these apps on their recognition of handwritten and printed text and their integration into existing services, but none of them met all desired requirements. We propose an approach that includes a self-adaptive part to improve handwritten text recognition as well as a context-sensitive part to facilitate the integration into existing systems in the context of the Smart RE framework.
本文描述了从研讨会和会议记录中收集、合并和共享信息的问题,以便在利益相关者之间实现更好的合作,从而改善产品开发过程中的协作。我们为Android和iOS设备提供了一个可以解决这个问题的应用概述。我们测试了这些应用程序对手写和打印文本的识别能力,以及它们与现有服务的集成能力,但它们都没有达到所有预期的要求。我们提出了一种方法,该方法包括一个自适应部分来改进手写文本识别,以及一个上下文敏感部分,以促进在智能可重构框架上下文中集成到现有系统中。
{"title":"ReqVision: Digitising Your Analog Notes into Readable and Editable Data","authors":"Natalia Mannov, C. M. Lüders, A. Kaznin","doi":"10.1109/RESACS.2018.00009","DOIUrl":"https://doi.org/10.1109/RESACS.2018.00009","url":null,"abstract":"The paper describes the problem of collecting, merging, and sharing information from workshops and conference notes in order to achieve better cooperation between stakeholders, thus improving collaboration during product development. We provide an overview of apps for Android and iOS devices that can facilitate this problem. We tested these apps on their recognition of handwritten and printed text and their integration into existing services, but none of them met all desired requirements. We propose an approach that includes a self-adaptive part to improve handwritten text recognition as well as a context-sensitive part to facilitate the integration into existing systems in the context of the Smart RE framework.","PeriodicalId":104809,"journal":{"name":"2018 4th International Workshop on Requirements Engineering for Self-Adaptive, Collaborative, and Cyber Physical Systems (RESACS)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126471187","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
A Knowledge Acquisition Approach for Off-Nominal Behaviors 非名义行为的知识获取方法
Kaushik Madala, Hyunsook Do, Daniel Aceituna
Natural language requirements often ignore unexpected or off-nominal behaviors (ONBs), which can result in catastrophic accidents in safety-critical systems. While some existing techniques can help identify ONBs, most of them are not systematic and algorithmic, and also they require a lot of human effort. In this paper, we propose an algorithmic and systematic approach for knowledge acquisition of ONBs in componentbased systems using a modified Apriori algorithm. Our approach analyzes component state transition rules to identify dependencies among components, which are used to group components that are dependent on each other into component sets. These sets are used for analysis of possible ONBs. We conducted an empirical study to evaluate our approach. Our results indicate that the component sets generated using our approach are able to expose missing dependencies and ONBs with much less human effort when compared to CCM.
自然语言需求经常忽略意外或非名义行为(onb),这可能导致安全关键系统中的灾难性事故。虽然现有的一些技术可以帮助识别onb,但大多数技术都不具有系统性和算法性,而且需要大量的人力。本文采用改进的Apriori算法,提出了一种基于组件的系统中onb知识获取的算法和系统方法。我们的方法分析组件状态转换规则,以识别组件之间的依赖关系,这些依赖关系用于将相互依赖的组件分组为组件集。这些集合用于分析可能的onb。我们进行了一项实证研究来评估我们的方法。我们的结果表明,与CCM相比,使用我们的方法生成的组件集能够以更少的人力暴露缺失的依赖项和onb。
{"title":"A Knowledge Acquisition Approach for Off-Nominal Behaviors","authors":"Kaushik Madala, Hyunsook Do, Daniel Aceituna","doi":"10.1109/RESACS.2018.00012","DOIUrl":"https://doi.org/10.1109/RESACS.2018.00012","url":null,"abstract":"Natural language requirements often ignore unexpected or off-nominal behaviors (ONBs), which can result in catastrophic accidents in safety-critical systems. While some existing techniques can help identify ONBs, most of them are not systematic and algorithmic, and also they require a lot of human effort. In this paper, we propose an algorithmic and systematic approach for knowledge acquisition of ONBs in componentbased systems using a modified Apriori algorithm. Our approach analyzes component state transition rules to identify dependencies among components, which are used to group components that are dependent on each other into component sets. These sets are used for analysis of possible ONBs. We conducted an empirical study to evaluate our approach. Our results indicate that the component sets generated using our approach are able to expose missing dependencies and ONBs with much less human effort when compared to CCM.","PeriodicalId":104809,"journal":{"name":"2018 4th International Workshop on Requirements Engineering for Self-Adaptive, Collaborative, and Cyber Physical Systems (RESACS)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128168186","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
Title Page i 第1页
{"title":"Title Page i","authors":"","doi":"10.1109/resacs.2018.00001","DOIUrl":"https://doi.org/10.1109/resacs.2018.00001","url":null,"abstract":"","PeriodicalId":104809,"journal":{"name":"2018 4th International Workshop on Requirements Engineering for Self-Adaptive, Collaborative, and Cyber Physical Systems (RESACS)","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132899773","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 Requirements-Based Approach for the Evaluation of Emulated IoT Systems 基于需求的仿真物联网系统评估方法
Portillo Dominguez, Andres Omar, Vanessa Ayala-Rivera, A. O. Portillo-Dominguez
The Internet of Things (IoT) has become a major technological revolution. Evaluating any IoT advancements comprehensively is critical to understand the conditions under which they can be more useful, as well as to assess the robustness and efficiency of IoT systems to validate them before their deployment in real life. Nevertheless, the creation of an appropriate IoT test environment is a difficult, effort-intensive, and expensive task; typically requiring a significant amount of human effort and physical hardware to build it. To tackle this problem, emulation tools to test IoT devices have been proposed. However, there is a lack of systematic approaches for evaluating IoT emulation environments. In this paper, we present a requirements-based framework to enable the systematic evaluation of the suitability of an emulated IoT environment to fulfil the requirements that secure the quality of an adequate test environment for IoT.
物联网(IoT)已经成为一场重大的技术革命。全面评估任何物联网进展对于了解它们更有用的条件以及评估物联网系统的鲁棒性和效率以在实际部署之前对其进行验证至关重要。然而,创建适当的物联网测试环境是一项困难、费力且昂贵的任务;通常需要大量的人力和物理硬件来构建它。为了解决这个问题,已经提出了测试物联网设备的仿真工具。然而,缺乏评估物联网仿真环境的系统方法。在本文中,我们提出了一个基于需求的框架,能够系统地评估模拟物联网环境的适用性,以满足确保物联网适当测试环境质量的要求。
{"title":"A Requirements-Based Approach for the Evaluation of Emulated IoT Systems","authors":"Portillo Dominguez, Andres Omar, Vanessa Ayala-Rivera, A. O. Portillo-Dominguez","doi":"10.1109/RESACS.2018.00008","DOIUrl":"https://doi.org/10.1109/RESACS.2018.00008","url":null,"abstract":"The Internet of Things (IoT) has become a major technological revolution. Evaluating any IoT advancements comprehensively is critical to understand the conditions under which they can be more useful, as well as to assess the robustness and efficiency of IoT systems to validate them before their deployment in real life. Nevertheless, the creation of an appropriate IoT test environment is a difficult, effort-intensive, and expensive task; typically requiring a significant amount of human effort and physical hardware to build it. To tackle this problem, emulation tools to test IoT devices have been proposed. However, there is a lack of systematic approaches for evaluating IoT emulation environments. In this paper, we present a requirements-based framework to enable the systematic evaluation of the suitability of an emulated IoT environment to fulfil the requirements that secure the quality of an adequate test environment for IoT.","PeriodicalId":104809,"journal":{"name":"2018 4th International Workshop on Requirements Engineering for Self-Adaptive, Collaborative, and Cyber Physical Systems (RESACS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128706717","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
Welcome Message from the Organizers 主办单位欢迎辞
B. Tenbergen, Marian Daun, Cristina Palomares, Alessia Knauss, F. Diederichs
In the past three editions of RESACS, submitted papers and workshop discussions have proven useful to presenting authors and attending audience alike, resulting in new impulses in shaping this still novel and wide-spread field. For the fourth edition of RESACS, the tradition of RESACS was continued. In a highly interactive workshop the arising challenges in the emergent field of self-adaptive, collaborative, and cyber physical systems were discussed, positioned, and addressed. Thought-provoking and highly constructive discussions among a broader audience and presenters jointly identified properties of these types of system, what their properties entail, which challenges emerge due to these properties, and how traditional, contemporary, and novel approaches might address these challenges for requirements engineering in particular, but also software engineering in general. We hope that the results of the RESACS workshop will spawn research ideas, and standardization of terminology in SAS and CPS research, validate existing research avenues, foster empirical studies, and facilitate collaboration between industry and academia for software engineering as a whole.
在过去的三届RESACS中,提交的论文和研讨会讨论证明对与会作者和听众都很有用,从而在塑造这一仍然新颖和广泛的领域方面产生了新的推动力。第四届RESACS延续了RESACS的传统。在一个高度互动的研讨会上,讨论、定位和解决了自适应、协作和网络物理系统等新兴领域中出现的挑战。在更广泛的听众和演讲者之间进行了深思熟虑的和高度建设性的讨论,共同确定了这些类型系统的属性,它们的属性带来了什么,由于这些属性而出现的挑战,以及传统的、现代的和新颖的方法如何处理这些挑战,特别是需求工程,以及一般的软件工程。我们希望RESACS研讨会的成果将催生研究思路,标准化SAS和CPS研究中的术语,验证现有的研究途径,促进实证研究,并促进整个软件工程行业和学术界之间的合作。
{"title":"Welcome Message from the Organizers","authors":"B. Tenbergen, Marian Daun, Cristina Palomares, Alessia Knauss, F. Diederichs","doi":"10.1109/RESACS.2018.00005","DOIUrl":"https://doi.org/10.1109/RESACS.2018.00005","url":null,"abstract":"In the past three editions of RESACS, submitted papers and workshop discussions have proven useful to presenting authors and attending audience alike, resulting in new impulses in shaping this still novel and wide-spread field. For the fourth edition of RESACS, the tradition of RESACS was continued. In a highly interactive workshop the arising challenges in the emergent field of self-adaptive, collaborative, and cyber physical systems were discussed, positioned, and addressed. Thought-provoking and highly constructive discussions among a broader audience and presenters jointly identified properties of these types of system, what their properties entail, which challenges emerge due to these properties, and how traditional, contemporary, and novel approaches might address these challenges for requirements engineering in particular, but also software engineering in general. We hope that the results of the RESACS workshop will spawn research ideas, and standardization of terminology in SAS and CPS research, validate existing research avenues, foster empirical studies, and facilitate collaboration between industry and academia for software engineering as a whole.","PeriodicalId":104809,"journal":{"name":"2018 4th International Workshop on Requirements Engineering for Self-Adaptive, Collaborative, and Cyber Physical Systems (RESACS)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123672270","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
Deriving Functional Safety Requirements Using Undesired Combination State Templates 使用不需要的组合状态模板导出功能安全需求
Daniel Aceituna, Kaushik Madala, Hyunsook Do
Functional Safety (FS) has become a major consideration during the development of embedded and reactive systems. When incorporating functional safety into a system under development, the engineer must be cognitive of not just system requirements, but safety requirements as well. These safety requirements are typically derived from an initial set of hazard and risk assessments. While there are various means of performing these assessments, there is a particular classification of hazards, based on undesired combination states that may be overlooked by other techniques. In this paper, we propose a technique that addresses these hazards, using Undesired Combination States Templates (UDCST). The technique has been conceived to accommodate the constraints on time and cost typically encountered in industry. We demonstrate the technique with two real world applications.
功能安全(FS)已成为嵌入式和反应性系统开发过程中的主要考虑因素。当将功能安全整合到正在开发的系统中时,工程师不仅要了解系统需求,还要了解安全需求。这些安全要求通常来自一套最初的危害和风险评估。虽然进行这些评估的方法多种多样,但基于可能被其他技术忽略的不希望的组合状态,有一种特定的危害分类。在本文中,我们提出了一种解决这些危险的技术,使用不期望的组合状态模板(UDCST)。该技术的设想是为了适应工业中通常遇到的时间和成本限制。我们用两个实际应用程序来演示该技术。
{"title":"Deriving Functional Safety Requirements Using Undesired Combination State Templates","authors":"Daniel Aceituna, Kaushik Madala, Hyunsook Do","doi":"10.1109/RESACS.2018.00006","DOIUrl":"https://doi.org/10.1109/RESACS.2018.00006","url":null,"abstract":"Functional Safety (FS) has become a major consideration during the development of embedded and reactive systems. When incorporating functional safety into a system under development, the engineer must be cognitive of not just system requirements, but safety requirements as well. These safety requirements are typically derived from an initial set of hazard and risk assessments. While there are various means of performing these assessments, there is a particular classification of hazards, based on undesired combination states that may be overlooked by other techniques. In this paper, we propose a technique that addresses these hazards, using Undesired Combination States Templates (UDCST). The technique has been conceived to accommodate the constraints on time and cost typically encountered in industry. We demonstrate the technique with two real world applications.","PeriodicalId":104809,"journal":{"name":"2018 4th International Workshop on Requirements Engineering for Self-Adaptive, Collaborative, and Cyber Physical Systems (RESACS)","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131239022","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
Non-functional Requirements Trade-Off in Self-Adaptive Systems 自适应系统中的非功能需求权衡
A. Saeed, Seok-Won Lee
(Context and Motivation) Non-Functional Requirements (NFR) play a crucial role during the software development process. Currently, Non-Functional Requirements considered to be more important than Functional Requirements and can determine the success of the software system. Non-Functional Requirements can be very complicated to understand due to their subjective manner and especially their conflicting nature. Many approaches and techniques have been introduced to manage the conflicts between multiple Non-functional Requirements and to analyze the trade-off in costs and benefits between the alternative solutions that satisfy them. (Problem) Self-Adaptive Systems tends to change its behavior and configurations due to the changes in its environment. Current solutions might not be suitable for the current situations, because current approaches managing Non-Functional Requirements trade-off stops managing them during the system runtime. (Approach and Objective) In this paper, we investigated the trade-offs between multiple Non-Functional Requirements in Self-Adaptive Systems. We fragmentized the NonFunctional Requirements and its alternative solutions in form of Multi-entity Bayesian network fragments. As a result, when changes occur, our system creates a situation specific Bayesian network to measure the impact of the system's conditions and environmental changes on the Non-Functional Requirements satisfaction. Furthermore, it dynamically decides which alternative solution is suitable for the current situation.
非功能需求(NFR)在软件开发过程中起着至关重要的作用。目前,非功能需求被认为比功能需求更重要,并且可以决定软件系统的成功。由于非功能性需求的主观方式,尤其是它们的冲突性质,理解起来可能非常复杂。已经引入了许多方法和技术来管理多个非功能性需求之间的冲突,并分析满足它们的替代解决方案之间的成本和收益权衡。(问题)由于环境的变化,自适应系统倾向于改变其行为和配置。当前的解决方案可能不适合当前的情况,因为当前管理非功能需求权衡的方法会在系统运行时停止管理它们。(方法与目标)在本文中,我们研究了自适应系统中多个非功能需求之间的权衡。我们以多实体贝叶斯网络片段的形式对非功能需求及其备选解决方案进行碎片化。因此,当变化发生时,我们的系统创建了一个特定于情况的贝叶斯网络来度量系统条件和环境变化对非功能需求满意度的影响。此外,它动态地决定哪个备选解决方案适合当前情况。
{"title":"Non-functional Requirements Trade-Off in Self-Adaptive Systems","authors":"A. Saeed, Seok-Won Lee","doi":"10.1109/RESACS.2018.00007","DOIUrl":"https://doi.org/10.1109/RESACS.2018.00007","url":null,"abstract":"(Context and Motivation) Non-Functional Requirements (NFR) play a crucial role during the software development process. Currently, Non-Functional Requirements considered to be more important than Functional Requirements and can determine the success of the software system. Non-Functional Requirements can be very complicated to understand due to their subjective manner and especially their conflicting nature. Many approaches and techniques have been introduced to manage the conflicts between multiple Non-functional Requirements and to analyze the trade-off in costs and benefits between the alternative solutions that satisfy them. (Problem) Self-Adaptive Systems tends to change its behavior and configurations due to the changes in its environment. Current solutions might not be suitable for the current situations, because current approaches managing Non-Functional Requirements trade-off stops managing them during the system runtime. (Approach and Objective) In this paper, we investigated the trade-offs between multiple Non-Functional Requirements in Self-Adaptive Systems. We fragmentized the NonFunctional Requirements and its alternative solutions in form of Multi-entity Bayesian network fragments. As a result, when changes occur, our system creates a situation specific Bayesian network to measure the impact of the system's conditions and environmental changes on the Non-Functional Requirements satisfaction. Furthermore, it dynamically decides which alternative solution is suitable for the current situation.","PeriodicalId":104809,"journal":{"name":"2018 4th International Workshop on Requirements Engineering for Self-Adaptive, Collaborative, and Cyber Physical Systems (RESACS)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133132478","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
Towards Context-Aware Process Guidance in Cyber-Physical Systems with Augmented Reality 在增强现实的信息物理系统中实现上下文感知过程指导
Klaus Kammerer, R. Pryss, Kevin Sommer, M. Reichert
Assembly, configuration, maintenance, and repair processes in cyber-physical systems (e.g., a press line in a plant) comprise a multitude of complex tasks, whose execution needs to be controlled, coordinated and monitored. Amongst others, a process-centric guidance of users (e.g. service operators) is required, taking the high variability in the assembly of cyber-physical systems (e.g. press line variability) into account. Moreover, the tasks to be performed along these processes may be related to physical components, sensors and actuators, which need to be properly recognized, integrated and operated. In order to digitize cyber-physical processes as well as to guide users in a process-centric way, therefore, we suggest integrating process management technology, sensor/actuator interfaces, and augmented reality techniques. The paper discusses fundamental requirements for such an integration and presents an approach for process-centric user guidance that combines context and process management with augmented reality enhanced tasks. For evaluation purposes, we analyzed the cyber-physical processes of pharmaceutical packaging machines and implemented selected ones based on the approach. Overall, we are able to demonstrate the usefulness of context-aware process management for the flexible support of cyber-physical processes in the Industrial Internet of Things.
网络物理系统中的装配、配置、维护和维修过程(例如,工厂中的压力机生产线)包含大量复杂的任务,其执行需要控制、协调和监测。除其他外,需要对用户(例如服务操作员)进行以过程为中心的指导,同时考虑到网络物理系统组装的高度可变性(例如压力机生产线的可变性)。此外,在这些过程中要执行的任务可能与物理组件、传感器和执行器有关,需要对其进行适当的识别、集成和操作。因此,为了实现网络物理过程的数字化,并以过程为中心的方式指导用户,我们建议集成过程管理技术、传感器/执行器接口和增强现实技术。本文讨论了这种集成的基本需求,并提出了一种以流程为中心的用户指导方法,该方法将上下文和流程管理与增强现实增强任务相结合。为了评估目的,我们分析了药品包装机的网络物理过程,并基于该方法实施了选定的过程。总的来说,我们能够证明上下文感知过程管理对于工业物联网中网络物理过程的灵活支持的有用性。
{"title":"Towards Context-Aware Process Guidance in Cyber-Physical Systems with Augmented Reality","authors":"Klaus Kammerer, R. Pryss, Kevin Sommer, M. Reichert","doi":"10.1109/RESACS.2018.00013","DOIUrl":"https://doi.org/10.1109/RESACS.2018.00013","url":null,"abstract":"Assembly, configuration, maintenance, and repair processes in cyber-physical systems (e.g., a press line in a plant) comprise a multitude of complex tasks, whose execution needs to be controlled, coordinated and monitored. Amongst others, a process-centric guidance of users (e.g. service operators) is required, taking the high variability in the assembly of cyber-physical systems (e.g. press line variability) into account. Moreover, the tasks to be performed along these processes may be related to physical components, sensors and actuators, which need to be properly recognized, integrated and operated. In order to digitize cyber-physical processes as well as to guide users in a process-centric way, therefore, we suggest integrating process management technology, sensor/actuator interfaces, and augmented reality techniques. The paper discusses fundamental requirements for such an integration and presents an approach for process-centric user guidance that combines context and process management with augmented reality enhanced tasks. For evaluation purposes, we analyzed the cyber-physical processes of pharmaceutical packaging machines and implemented selected ones based on the approach. Overall, we are able to demonstrate the usefulness of context-aware process management for the flexible support of cyber-physical processes in the Industrial Internet of Things.","PeriodicalId":104809,"journal":{"name":"2018 4th International Workshop on Requirements Engineering for Self-Adaptive, Collaborative, and Cyber Physical Systems (RESACS)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134520246","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}
引用次数: 21
期刊
2018 4th International Workshop on Requirements Engineering for Self-Adaptive, Collaborative, and Cyber Physical Systems (RESACS)
全部 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