首页 > 最新文献

13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)最新文献

英文 中文
Variability mechanism centric process family architectures 以可变性机制为中心的过程族架构
Arnd Schnieders
In this paper we describe a variability mechanism centric approach for the representation of process family architectures, which act as the major blueprint for the implementation of families of process oriented software in process family engineering. We therefore analyze the role of variability mechanisms in process family architectures and define a set of variability mechanisms for process family architectures represented as a UML activity diagram. The variability mechanism centric approach for process family architecture modeling allows for representing explicitly and intuitively the variability in a process family architecture and supports the effective reuse of process family architecture parts for the process family members. Moreover, it allows to model the implementation of variability in the process family and thus to take into account the influence of the variability implementation on the non-functional properties of the process family during process family architecture design. Our approach thus supports a more model-driven variability implementation in process family engineering
在本文中,我们描述了一种以可变性机制为中心的过程族体系结构表示方法,过程族体系结构作为过程族工程中面向过程的软件族实现的主要蓝图。因此,我们分析可变性机制在过程族体系结构中的作用,并为过程族体系结构定义一组可变性机制,表示为UML活动图。过程族体系结构建模的以可变性机制为中心的方法允许显式和直观地表示过程族体系结构中的可变性,并支持过程族成员对过程族体系结构部件的有效重用。此外,它允许对过程族中可变性的实现进行建模,从而在过程族体系结构设计期间考虑可变性实现对过程族非功能属性的影响。因此,我们的方法在过程族工程中支持更多的模型驱动的可变性实现
{"title":"Variability mechanism centric process family architectures","authors":"Arnd Schnieders","doi":"10.1109/ECBS.2006.72","DOIUrl":"https://doi.org/10.1109/ECBS.2006.72","url":null,"abstract":"In this paper we describe a variability mechanism centric approach for the representation of process family architectures, which act as the major blueprint for the implementation of families of process oriented software in process family engineering. We therefore analyze the role of variability mechanisms in process family architectures and define a set of variability mechanisms for process family architectures represented as a UML activity diagram. The variability mechanism centric approach for process family architecture modeling allows for representing explicitly and intuitively the variability in a process family architecture and supports the effective reuse of process family architecture parts for the process family members. Moreover, it allows to model the implementation of variability in the process family and thus to take into account the influence of the variability implementation on the non-functional properties of the process family during process family architecture design. Our approach thus supports a more model-driven variability implementation in process family engineering","PeriodicalId":430872,"journal":{"name":"13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133434753","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
A performance validation tool for J2EE applications 用于J2EE应用程序的性能验证工具
Jiang Guo, Yuehong Liao, Behzad Parviz
J2EE is the de-facto industry standard for implementing and scaling Java on the enterprise scale distributed systems. It is the result of strong industry collaboration. All involved is trying to make the technology J2EE commercially viable. This industry support has allowed J2EE to be based on the experience and expertise from leading designers of industry systems that are scalable, well integrated and provided a cross platform environment for application development, deployment and management. One of the major problems in building large-scale enterprise systems is managing the performance of the eventual solution. It is also true for J2EE based systems. This paper proposes an approach for accurate analysis of J2EE applications. It discusses the design of JPManager - a J2EE performance management system and related techniques, such as Java instrumentation, which is used in the JPManager's implementation
J2EE是在企业级分布式系统上实现和扩展Java的事实上的行业标准。这是强有力的行业合作的结果。所有相关人员都在努力使J2EE技术在商业上可行。这种行业支持使J2EE能够基于行业系统的主要设计人员的经验和专业知识,这些系统是可伸缩的、良好集成的,并为应用程序开发、部署和管理提供了跨平台环境。构建大型企业系统的主要问题之一是管理最终解决方案的性能。对于基于J2EE的系统也是如此。本文提出了一种准确分析J2EE应用程序的方法。它讨论了JPManager(一个J2EE性能管理系统)的设计和相关技术,例如在JPManager的实现中使用的Java插装
{"title":"A performance validation tool for J2EE applications","authors":"Jiang Guo, Yuehong Liao, Behzad Parviz","doi":"10.1109/ECBS.2006.13","DOIUrl":"https://doi.org/10.1109/ECBS.2006.13","url":null,"abstract":"J2EE is the de-facto industry standard for implementing and scaling Java on the enterprise scale distributed systems. It is the result of strong industry collaboration. All involved is trying to make the technology J2EE commercially viable. This industry support has allowed J2EE to be based on the experience and expertise from leading designers of industry systems that are scalable, well integrated and provided a cross platform environment for application development, deployment and management. One of the major problems in building large-scale enterprise systems is managing the performance of the eventual solution. It is also true for J2EE based systems. This paper proposes an approach for accurate analysis of J2EE applications. It discusses the design of JPManager - a J2EE performance management system and related techniques, such as Java instrumentation, which is used in the JPManager's implementation","PeriodicalId":430872,"journal":{"name":"13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122970994","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}
引用次数: 8
A model-based statistical usage testing of communication protocols 基于模型的通信协议统计使用测试
M. Popovic, I. Basicevic, I. Velikic, Jelena Tatic
In this paper, we present our original approach to the model-based statistical usage testing of a class of communication protocol implementations that are based on the state design pattern and Java programming environment augmented with the class FSMSystem. The approach is based on the working environment that has been proven on a number of real-world projects. The working environment is created with the following set of tools: generic modeling environment with the operational profile model paradigm registered to it, operational profile model interpreter, generic test case generator, test case compiler, and the unit testing framework JUnit extended with the class TestBed that acts as both test driver and stub thus providing the complete test harness. In the paper, we present the methodology of the model-based statistical usage testing of a class of communication protocol implementations, the tools that support this methodology, and the case study - the model based statistical usage testing of SIP INVITE client transaction, a part of the SIP protocol stack
在本文中,我们提出了我们对一类通信协议实现的基于模型的统计使用测试的原始方法,该实现基于状态设计模式和Java编程环境,并增强了类FSMSystem。该方法基于已经在许多实际项目中得到验证的工作环境。工作环境是用以下工具集创建的:带有注册到它的操作概要模型范例的通用建模环境、操作概要模型解释器、通用测试用例生成器、测试用例编译器,以及使用TestBed类扩展的单元测试框架JUnit, TestBed类充当测试驱动程序和存根,从而提供完整的测试工具。在本文中,我们提出了一类通信协议实现的基于模型的统计使用测试方法,支持该方法的工具,以及基于模型的SIP INVITE客户端事务统计使用测试的案例研究,SIP协议栈的一部分
{"title":"A model-based statistical usage testing of communication protocols","authors":"M. Popovic, I. Basicevic, I. Velikic, Jelena Tatic","doi":"10.1109/ECBS.2006.11","DOIUrl":"https://doi.org/10.1109/ECBS.2006.11","url":null,"abstract":"In this paper, we present our original approach to the model-based statistical usage testing of a class of communication protocol implementations that are based on the state design pattern and Java programming environment augmented with the class FSMSystem. The approach is based on the working environment that has been proven on a number of real-world projects. The working environment is created with the following set of tools: generic modeling environment with the operational profile model paradigm registered to it, operational profile model interpreter, generic test case generator, test case compiler, and the unit testing framework JUnit extended with the class TestBed that acts as both test driver and stub thus providing the complete test harness. In the paper, we present the methodology of the model-based statistical usage testing of a class of communication protocol implementations, the tools that support this methodology, and the case study - the model based statistical usage testing of SIP INVITE client transaction, a part of the SIP protocol stack","PeriodicalId":430872,"journal":{"name":"13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127444918","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
Aligning computing systems with their environment: an agile perspective 使计算系统与其环境保持一致:敏捷的视角
Frank Keenan, D. Bustard
Ideally, all computing systems should be closely aligned to the context in which they are used. Unfortunately, although the increasingly popular agile software development methods attempt to be customer oriented, the practices involved tend to focus more attention on the software product. The purpose of this paper is to examine this imbalance in relation to eXtreme Programming (XP) and suggest how improvements might be achieved through the use of soft systems methodology (SSM). A process is described that combines parts of SSM with XP while still attempting to remain within the general agile philosophy. An example is used to illustrate the process proposed
理想情况下,所有计算系统都应该与使用它们的环境紧密结合。不幸的是,尽管越来越流行的敏捷软件开发方法试图以客户为导向,但所涉及的实践往往更多地关注软件产品。本文的目的是检查与极限编程(XP)相关的这种不平衡,并建议如何通过使用软系统方法学(SSM)来实现改进。描述了一个过程,它将SSM的部分内容与XP结合起来,同时仍试图保持在通用的敏捷哲学中。最后用一个实例说明了所提出的过程
{"title":"Aligning computing systems with their environment: an agile perspective","authors":"Frank Keenan, D. Bustard","doi":"10.1109/ECBS.2006.21","DOIUrl":"https://doi.org/10.1109/ECBS.2006.21","url":null,"abstract":"Ideally, all computing systems should be closely aligned to the context in which they are used. Unfortunately, although the increasingly popular agile software development methods attempt to be customer oriented, the practices involved tend to focus more attention on the software product. The purpose of this paper is to examine this imbalance in relation to eXtreme Programming (XP) and suggest how improvements might be achieved through the use of soft systems methodology (SSM). A process is described that combines parts of SSM with XP while still attempting to remain within the general agile philosophy. An example is used to illustrate the process proposed","PeriodicalId":430872,"journal":{"name":"13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131191131","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
Model transformations in the model-based development of real-time systems 基于模型的实时系统开发中的模型转换
T. Szemethy, G. Karsai, D. Balasubramanian
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the domain of embedded systems. We present a tool that uses advanced graph-rewriting techniques to generate a schedule that satisfies hard real-time constraints for multi-modal systems. The input is a time-triggered system specification (using the Giotto language); the output is an instruction sequence for the E-machine: a virtual machine for hard real-time embedded systems. The resulting model may be refined into a) system implementations (E-code programs) through a trivial synthesis process and b) development-time analysis models expressing the properties of the system implemented over different execution platforms. Furthermore, we identify the next steps to be taken towards generating analysis models using explicit platform models
在本文中,我们通过嵌入式系统领域的一个说明性示例来论证基于uml的元建模和基于模式的图形转换技术在基于计算机的系统开发中的应用。我们提出了一种工具,它使用先进的图形重写技术来生成满足多模态系统硬实时约束的调度。输入是一个时间触发的系统规范(使用Giotto语言);输出是E-machine的指令序列:E-machine是用于硬实时嵌入式系统的虚拟机。由此产生的模型可以细化为:a)系统实现(电子代码程序),通过一个简单的综合过程;b)开发时间分析模型,表达在不同执行平台上实现的系统的属性。此外,我们确定了使用显式平台模型生成分析模型的下一步步骤
{"title":"Model transformations in the model-based development of real-time systems","authors":"T. Szemethy, G. Karsai, D. Balasubramanian","doi":"10.1109/ECBS.2006.47","DOIUrl":"https://doi.org/10.1109/ECBS.2006.47","url":null,"abstract":"In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the domain of embedded systems. We present a tool that uses advanced graph-rewriting techniques to generate a schedule that satisfies hard real-time constraints for multi-modal systems. The input is a time-triggered system specification (using the Giotto language); the output is an instruction sequence for the E-machine: a virtual machine for hard real-time embedded systems. The resulting model may be refined into a) system implementations (E-code programs) through a trivial synthesis process and b) development-time analysis models expressing the properties of the system implemented over different execution platforms. Furthermore, we identify the next steps to be taken towards generating analysis models using explicit platform models","PeriodicalId":430872,"journal":{"name":"13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133882510","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
Conceptual patterns 概念模式
B. Grone
Patterns help transporting knowledge and provide common names for solutions. Architects need a lot of experience to create long-lasting system architectures and should benefit from experiences written down in patterns. The description of architecture patterns and design patterns usually focuses on structures in software. This renders the patterns of limited use for architects who need to structure a system before they choose a structure for the implementing software. Therefore, architects need an additional kind of patterns with an adequate notation. This paper introduces the category of conceptual patterns which focus on system structure in the description of problem and solution. Architects can benefit from the solutions described by conceptual patterns when analyzing systems and in early phases of system design. Extracting the conceptual part of existing patterns is a first step to find conceptual patterns. Usually, a set of patterns is arranged in a pattern language for a problem domain. This paper shows some examples of conceptual patterns extracted from existing architecture and design patterns
模式有助于传递知识,并为解决方案提供通用名称。架构师需要大量的经验来创建持久的系统架构,并且应该从记录在模式中的经验中受益。体系结构模式和设计模式的描述通常侧重于软件中的结构。对于需要在为实现软件选择结构之前构建系统的架构师来说,这使得模式的使用受到限制。因此,架构师需要一种带有适当符号的额外模式。本文介绍了以系统结构描述问题和解决方案的概念模式的范畴。在分析系统和系统设计的早期阶段,架构师可以从概念模式描述的解决方案中获益。提取现有模式的概念部分是找到概念模式的第一步。通常,一组模式被安排在一个问题领域的模式语言中。本文展示了从现有架构和设计模式中提取的概念模式的一些示例
{"title":"Conceptual patterns","authors":"B. Grone","doi":"10.1109/ECBS.2006.31","DOIUrl":"https://doi.org/10.1109/ECBS.2006.31","url":null,"abstract":"Patterns help transporting knowledge and provide common names for solutions. Architects need a lot of experience to create long-lasting system architectures and should benefit from experiences written down in patterns. The description of architecture patterns and design patterns usually focuses on structures in software. This renders the patterns of limited use for architects who need to structure a system before they choose a structure for the implementing software. Therefore, architects need an additional kind of patterns with an adequate notation. This paper introduces the category of conceptual patterns which focus on system structure in the description of problem and solution. Architects can benefit from the solutions described by conceptual patterns when analyzing systems and in early phases of system design. Extracting the conceptual part of existing patterns is a first step to find conceptual patterns. Usually, a set of patterns is arranged in a pattern language for a problem domain. This paper shows some examples of conceptual patterns extracted from existing architecture and design patterns","PeriodicalId":430872,"journal":{"name":"13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114773484","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 12
Novel Optimizing Approach in the Area of STEP-Based Construction of Sessionless, Power-Constrainted, TAM and Time Optimal Test Schedules 基于step构建无会话、功率约束、TAM和时间最优测试计划的新优化方法
Josef Strnadel, Arghya Kumar Dhali
Approach presented in the paper is based on so-called STEPs (scheduling time-points). Using input information about test schedule constraints, information about test resource sharing conflicts stored in a TACG (test application conflict graph) and information about power dissipation, test time and TAM (test access mechanism) width of particular tests going to be scheduled, proposed test scheduling algorithm link tests to STEPs in such a way there are no resource sharing conflicts in the best-found test schedule and hopefully, test schedule constraints are met maximally at minimal time and TAM values. In our paper, so-called sessionless approach to the problem is utilized. The approach does not require tests to be partitioned into so-called test sessions for test scheduling purposes. Main advantage of the approach is that tests are not to be scheduled within test-session bounds, but they are scheduled as soon as it is possible, so significant savings in test time can be achieved. In our paper, novel method based on sessionless test-scheduling approach is presented
本文提出的方法是基于所谓的STEPs(调度时间点)。利用测试调度约束的输入信息、存储在测试应用冲突图(TACG)中的测试资源共享冲突信息以及将要调度的特定测试的功耗、测试时间和TAM(测试访问机制)宽度等信息,提出了一种测试调度算法,该算法将测试与STEPs链接在一起,使最佳测试调度中不存在资源共享冲突,并希望以最小的时间和TAM值最大限度地满足测试进度约束。在我们的论文中,使用了所谓的无会话方法来解决问题。该方法不需要将测试划分为用于测试调度的所谓测试会话。该方法的主要优点是,测试不需要在测试会话范围内安排,而是尽可能快地安排,因此可以显著节省测试时间。本文提出了一种基于无会话测试调度方法的新方法
{"title":"Novel Optimizing Approach in the Area of STEP-Based Construction of Sessionless, Power-Constrainted, TAM and Time Optimal Test Schedules","authors":"Josef Strnadel, Arghya Kumar Dhali","doi":"10.1109/ECBS.2006.54","DOIUrl":"https://doi.org/10.1109/ECBS.2006.54","url":null,"abstract":"Approach presented in the paper is based on so-called STEPs (scheduling time-points). Using input information about test schedule constraints, information about test resource sharing conflicts stored in a TACG (test application conflict graph) and information about power dissipation, test time and TAM (test access mechanism) width of particular tests going to be scheduled, proposed test scheduling algorithm link tests to STEPs in such a way there are no resource sharing conflicts in the best-found test schedule and hopefully, test schedule constraints are met maximally at minimal time and TAM values. In our paper, so-called sessionless approach to the problem is utilized. The approach does not require tests to be partitioned into so-called test sessions for test scheduling purposes. Main advantage of the approach is that tests are not to be scheduled within test-session bounds, but they are scheduled as soon as it is possible, so significant savings in test time can be achieved. In our paper, novel method based on sessionless test-scheduling approach is presented","PeriodicalId":430872,"journal":{"name":"13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)","volume":"691 7","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133970767","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}
引用次数: 2
Performance considerations on composite applications 复合应用程序的性能考虑
Marcel Seelig
Long lasting business applications in conjunction with modern software architecture may introduce old problems in a new fashion. Applications built in a service oriented environment can leverage existing infrastructure and enable cross-business functionality. Performance has been and is still one important research topic in enterprise applications once more because new architecture paradigms bring new challenges to areas which appeared to be uncritical. This paper considers several aspects of performance of applications which are assembled of different components, mainly using services for the joining. Also some thoughts are given about possible ways to improve or rather prevent lacking performance in such an environment
与现代软件体系结构结合在一起的长期业务应用程序可能会以新的方式引入老问题。在面向服务的环境中构建的应用程序可以利用现有的基础设施并启用跨业务功能。性能再次成为企业应用中的一个重要研究课题,因为新的架构范式给那些看似不重要的领域带来了新的挑战。本文从几个方面考虑了由不同组件组成的应用程序的性能,主要使用服务进行连接。此外,本文还考虑了在这种环境中改进或防止缺乏性能的可能方法
{"title":"Performance considerations on composite applications","authors":"Marcel Seelig","doi":"10.1109/ECBS.2006.55","DOIUrl":"https://doi.org/10.1109/ECBS.2006.55","url":null,"abstract":"Long lasting business applications in conjunction with modern software architecture may introduce old problems in a new fashion. Applications built in a service oriented environment can leverage existing infrastructure and enable cross-business functionality. Performance has been and is still one important research topic in enterprise applications once more because new architecture paradigms bring new challenges to areas which appeared to be uncritical. This paper considers several aspects of performance of applications which are assembled of different components, mainly using services for the joining. Also some thoughts are given about possible ways to improve or rather prevent lacking performance in such an environment","PeriodicalId":430872,"journal":{"name":"13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121806328","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
Mission dependability modeling and evaluation of repairable systems considering maintenance capacity 考虑维修能力的可修系统任务可靠性建模与评估
Fang Liu, B. Guo, Jianyin Zhao
The mission dependability of repairable systems not only depends on mission reliability and capacity of the system, but also the maintenance capacity during the whole mission. The probability of mission successful completion is one of the important performance measures. For the complex mission that has many sub-missions of kinds, its success probability is associated with the ready and execution duration, maintenance conditions in the working field and success requirements of each sub-mission. Maintenance conditions in the sub-mission working field mainly include replacement and repair of the failed components. According to these different maintenance conditions, we classify all sub-mission into three classes. By analyzing the state transition during the ready period and execution period of each sub-mission, this paper presents a dependability model to evaluate the probability of mixed multi-mission success of repairable systems considering maintenance capacity. A simple example is provided to show the application of the model
可修系统的任务可靠性不仅取决于系统的任务可靠性和能力,还取决于整个任务期间的维护能力。任务成功完成概率是重要的性能指标之一。对于具有多种子任务的复杂任务,其成功概率与每个子任务的准备和执行时间、工作现场的维护条件和成功要求有关。提交任务工作现场的维修条件主要包括更换和维修故障部件。根据这些不同的维护条件,我们将所有提交任务分为三类。通过分析各提交任务准备期和执行期的状态转换,提出了考虑维修能力的可修系统混合多任务成功概率的可靠性模型。给出了一个简单的例子来说明该模型的应用
{"title":"Mission dependability modeling and evaluation of repairable systems considering maintenance capacity","authors":"Fang Liu, B. Guo, Jianyin Zhao","doi":"10.1109/ECBS.2006.45","DOIUrl":"https://doi.org/10.1109/ECBS.2006.45","url":null,"abstract":"The mission dependability of repairable systems not only depends on mission reliability and capacity of the system, but also the maintenance capacity during the whole mission. The probability of mission successful completion is one of the important performance measures. For the complex mission that has many sub-missions of kinds, its success probability is associated with the ready and execution duration, maintenance conditions in the working field and success requirements of each sub-mission. Maintenance conditions in the sub-mission working field mainly include replacement and repair of the failed components. According to these different maintenance conditions, we classify all sub-mission into three classes. By analyzing the state transition during the ready period and execution period of each sub-mission, this paper presents a dependability model to evaluate the probability of mixed multi-mission success of repairable systems considering maintenance capacity. A simple example is provided to show the application of the model","PeriodicalId":430872,"journal":{"name":"13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122213159","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}
引用次数: 1
Domain-specific modeling languages for configuring and evaluating enterprise DRE system quality of service 用于配置和评估企业DRE系统服务质量的领域特定建模语言
Stoyan Paunov, James H. Hill, D. Schmidt, Steven D. Baker, J. M. Slaby
The quality of service (QoS) of enterprise distributed real-time and embedded (DRE) systems can degrade under certain operating conditions and system architectures. This paper provides two contributions to research on model-driven development (MDD) tools and methods that help identify and rectify these QoS problems in component-based enterprise DRE systems. First, we show how MDD tools can be used to simplify and automate the evaluation of component-based DRE systems to identify QoS problems. Second, we show how MDD tools can be used to specify alternative QoS polices for component-based DRE systems and synthesize metadata automatically to simplify system (re)configurations that rectify QoS problems. We illustrate our MDD tools on a case study of multi-layer resource management services for shipboard computing systems that automate many aspects of power, navigation, command and control, and tactical operations
企业分布式实时嵌入式系统(DRE)的服务质量(QoS)在一定的运行条件和系统架构下会出现下降。本文为模型驱动开发(MDD)工具和方法的研究提供了两个贡献,这些工具和方法有助于识别和纠正基于组件的企业DRE系统中的这些QoS问题。首先,我们展示了如何使用MDD工具来简化和自动化基于组件的DRE系统的评估,以识别QoS问题。其次,我们展示了如何使用MDD工具为基于组件的DRE系统指定可选的QoS策略,并自动合成元数据,以简化纠正QoS问题的系统(重)配置。我们通过一个案例研究来说明我们的MDD工具,该案例研究用于舰船计算系统的多层资源管理服务,该系统自动化了电力、导航、指挥和控制以及战术操作的许多方面
{"title":"Domain-specific modeling languages for configuring and evaluating enterprise DRE system quality of service","authors":"Stoyan Paunov, James H. Hill, D. Schmidt, Steven D. Baker, J. M. Slaby","doi":"10.1109/ECBS.2006.39","DOIUrl":"https://doi.org/10.1109/ECBS.2006.39","url":null,"abstract":"The quality of service (QoS) of enterprise distributed real-time and embedded (DRE) systems can degrade under certain operating conditions and system architectures. This paper provides two contributions to research on model-driven development (MDD) tools and methods that help identify and rectify these QoS problems in component-based enterprise DRE systems. First, we show how MDD tools can be used to simplify and automate the evaluation of component-based DRE systems to identify QoS problems. Second, we show how MDD tools can be used to specify alternative QoS polices for component-based DRE systems and synthesize metadata automatically to simplify system (re)configurations that rectify QoS problems. We illustrate our MDD tools on a case study of multi-layer resource management services for shipboard computing systems that automate many aspects of power, navigation, command and control, and tactical operations","PeriodicalId":430872,"journal":{"name":"13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125125036","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}
引用次数: 22
期刊
13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)
全部 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