首页 > 最新文献

Fourth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe'07)最新文献

英文 中文
Using Signatures of Self-Organisation for Monitoring and Influencing Large Scale Autonomic Systems 利用自组织签名监测和影响大规模自治系统
A. Taleb-Bendiab, P. Miseldine, D. Lamb
The complexity of large distributed systems makes the monitoring, necessary for self governance and autonomic functions, very problematic. Systems will be ordered hierarchically, consisting of systems of systems. Furthermore a system may be constructed from systems that are fundamentally different in topology from itself. This means that a monitoring strategy that is successful in one part of the system will not necessarily perform well in another system sector. This work considers a phase transition through four system topologies, observed to occur in the evolution of many self organising systems, starting at a regular circular 2D lattice to a scale-free phase. The best monitoring strategy for a scale-free system is considered with a form of acquaintance monitoring proposed. Thus when a system is observed to be acting in a scale-free manner the most suitable monitoring strategy can be deployed. This paper presents two applications that use the results of this work to monitor and influence distinct layers in network topologies
大型分布式系统的复杂性使得自我管理和自治功能所必需的监控非常成问题。系统将按层次顺序排列,由系统的系统组成。此外,一个系统可以由在拓扑结构上与自身根本不同的系统构建而成。这意味着在系统的一个部分成功的监控策略不一定在系统的另一个部分表现良好。这项工作考虑了通过四种系统拓扑的相变,观察到发生在许多自组织系统的进化中,从规则的圆形二维晶格到无标度相位。考虑了无标度系统的最佳监测策略,提出了一种熟人监测形式。因此,当观察到系统以无标度方式运行时,可以部署最合适的监控策略。本文提出了两个应用程序,使用这项工作的结果来监视和影响网络拓扑中的不同层
{"title":"Using Signatures of Self-Organisation for Monitoring and Influencing Large Scale Autonomic Systems","authors":"A. Taleb-Bendiab, P. Miseldine, D. Lamb","doi":"10.1109/EASE.2007.30","DOIUrl":"https://doi.org/10.1109/EASE.2007.30","url":null,"abstract":"The complexity of large distributed systems makes the monitoring, necessary for self governance and autonomic functions, very problematic. Systems will be ordered hierarchically, consisting of systems of systems. Furthermore a system may be constructed from systems that are fundamentally different in topology from itself. This means that a monitoring strategy that is successful in one part of the system will not necessarily perform well in another system sector. This work considers a phase transition through four system topologies, observed to occur in the evolution of many self organising systems, starting at a regular circular 2D lattice to a scale-free phase. The best monitoring strategy for a scale-free system is considered with a form of acquaintance monitoring proposed. Thus when a system is observed to be acting in a scale-free manner the most suitable monitoring strategy can be deployed. This paper presents two applications that use the results of this work to monitor and influence distinct layers in network topologies","PeriodicalId":239972,"journal":{"name":"Fourth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe'07)","volume":"89 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116810766","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
Asteroid Exploration with Autonomic Systems A Biologically-Inspired Approach based on the Immunological System 自主系统的小行星探索:基于免疫系统的生物学启发方法
O. Flórez-Choque, M. Hinchey
We outline a potential approach to the development of future autonomic NASA space exploration missions. The approach is quite different from other efforts to date, and is inspired by the human immunological system and exploits agent-based technologies to support autonomic features such as: self-managing, self-configuring, self-healing, self-optimizing, self-protecting, and finally two novel features of future NASA swarm-based missions: self-predicting and self-learning, which may help in extending levels of autonomy in future missions. The approach offers several detection mechanisms for recognizing self and non-self patterns. This sense of "self" of the immunological system is related to the ability to learn to recognize new kinds of threats. The hierarchical architecture based on agents offers a high flexibility for repairing, maintaining, configuring, and optimizing functions of the spacecraft in real time
我们概述了未来自主NASA空间探索任务发展的潜在方法。该方法与迄今为止的其他工作截然不同,它受到人类免疫系统的启发,利用基于智能体的技术来支持自主功能,如:自我管理、自我配置、自我修复、自我优化、自我保护,以及未来NASA基于群的任务的两个新功能:自我预测和自我学习,这可能有助于扩展未来任务的自主水平。该方法提供了几种识别自我和非自我模式的检测机制。免疫系统的这种“自我”感与学习识别新威胁的能力有关。基于agent的分层结构为航天器的实时维修、维护、配置和功能优化提供了高度的灵活性
{"title":"Asteroid Exploration with Autonomic Systems A Biologically-Inspired Approach based on the Immunological System","authors":"O. Flórez-Choque, M. Hinchey","doi":"10.1109/EASE.2007.5","DOIUrl":"https://doi.org/10.1109/EASE.2007.5","url":null,"abstract":"We outline a potential approach to the development of future autonomic NASA space exploration missions. The approach is quite different from other efforts to date, and is inspired by the human immunological system and exploits agent-based technologies to support autonomic features such as: self-managing, self-configuring, self-healing, self-optimizing, self-protecting, and finally two novel features of future NASA swarm-based missions: self-predicting and self-learning, which may help in extending levels of autonomy in future missions. The approach offers several detection mechanisms for recognizing self and non-self patterns. This sense of \"self\" of the immunological system is related to the ability to learn to recognize new kinds of threats. The hierarchical architecture based on agents offers a high flexibility for repairing, maintaining, configuring, and optimizing functions of the spacecraft in real time","PeriodicalId":239972,"journal":{"name":"Fourth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe'07)","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124794892","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
Runtime Analysis of a Self-Adaptive Hard Real-Time Robotic Control System 一种自适应硬实时机器人控制系统的运行时分析
J. Steiner, M. Hagner
This paper describes a software architecture for parallel kinematic machines and its evolvement to a self-adaptive system striving to optimize, protect and heal itself Self-* properties are provided by self-manager components that observe and manipulate their associated system parts. A development approach for the self-managers is outlined, as is a first realization of a self-manager responsible for the control core. This self-manager distributes control components during runtime and makes feasibility decisions based on a runtime schedulability analysis
本文描述了一种并行运动机器的软件体系结构及其向自我优化、自我保护和自我修复的自适应系统的演变。自属性由自我管理组件提供,这些组件观察和操纵与之相关的系统部件。本文概述了一种自我管理器的开发方法,并首次实现了负责控制核心的自我管理器。这个自我管理器在运行时分发控制组件,并根据运行时可调度性分析做出可行性决策
{"title":"Runtime Analysis of a Self-Adaptive Hard Real-Time Robotic Control System","authors":"J. Steiner, M. Hagner","doi":"10.1109/EASE.2007.23","DOIUrl":"https://doi.org/10.1109/EASE.2007.23","url":null,"abstract":"This paper describes a software architecture for parallel kinematic machines and its evolvement to a self-adaptive system striving to optimize, protect and heal itself Self-* properties are provided by self-manager components that observe and manipulate their associated system parts. A development approach for the self-managers is outlined, as is a first realization of a self-manager responsible for the control core. This self-manager distributes control components during runtime and makes feasibility decisions based on a runtime schedulability analysis","PeriodicalId":239972,"journal":{"name":"Fourth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe'07)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127715390","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
Foundations of Autonomic Computing Development 自主计算发展基础
Sam Lightstone
The complexity of modern middleware, and software solutions, is growing at an exponential rate. Only self-managing, or autonomic computing technology can reasonably stem the confusion this complexity brings to bear on human administrators. While much has been published on "architecture" and "function" for producing such systems, little has been written about the engineering of self-managing systems as a distinct paradigm. In this paper we suggest a straw-man for engineering of autonomic systems that is based on two essential tracks: a set of engineering principles that should guide the planning of autonomic systems and their interfaces and secondly a set of mathematical foundations upon which such systems can best be constructed. These foundational attributes are intended to guide the thinking of R&D organizations pursuing the development of autonomic computing capability. The role of architecture and standards is also discussed, highlighting their role in inter-component management
现代中间件和软件解决方案的复杂性正以指数级的速度增长。只有自我管理或自主计算技术才能合理地解决这种复杂性给人类管理员带来的困惑。虽然已经发表了很多关于生产这种系统的“架构”和“功能”的文章,但是很少有人把自我管理系统的工程作为一种独特的范例来写。在本文中,我们提出了一个基于两个基本轨道的自主系统工程稻草人:一组应该指导自主系统及其接口规划的工程原则,其次是一组数学基础,在此基础上可以最好地构建这样的系统。这些基本属性旨在指导研发组织追求自主计算能力发展的思维。还讨论了体系结构和标准的作用,强调了它们在组件间管理中的作用
{"title":"Foundations of Autonomic Computing Development","authors":"Sam Lightstone","doi":"10.1109/EASE.2007.12","DOIUrl":"https://doi.org/10.1109/EASE.2007.12","url":null,"abstract":"The complexity of modern middleware, and software solutions, is growing at an exponential rate. Only self-managing, or autonomic computing technology can reasonably stem the confusion this complexity brings to bear on human administrators. While much has been published on \"architecture\" and \"function\" for producing such systems, little has been written about the engineering of self-managing systems as a distinct paradigm. In this paper we suggest a straw-man for engineering of autonomic systems that is based on two essential tracks: a set of engineering principles that should guide the planning of autonomic systems and their interfaces and secondly a set of mathematical foundations upon which such systems can best be constructed. These foundational attributes are intended to guide the thinking of R&D organizations pursuing the development of autonomic computing capability. The role of architecture and standards is also discussed, highlighting their role in inter-component management","PeriodicalId":239972,"journal":{"name":"Fourth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe'07)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131353716","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}
引用次数: 32
Consequence Oriented Self-Healing and Hybrid Diagnosis Integrating Decision Diagram, Fuzzy Logic and Neural Network 集决策图、模糊逻辑和神经网络于一体的面向结果的自愈与混合诊断
Yuan-Shun Dai, M. Hinchey, Qingpei Hu
Computing systems become increasingly large and complex. Their dependability and autonomy are of great concern today, where self-healing is a challenging topic. This paper presented an innovative model and technology to realize the self-healing function under the real-time requirement. This approach, different from the existing technologies, is based on a new concept defined as consequence-oriented diagnosis and healing. Derived from the new concept, a prototype model for proactive self-healing actions is presented. Then, this paper proposes a hybrid tool that combines MDD, fuzzy logic and neural network, which is efficient, accurate and intelligent. Some examples to help illustrate the concepts are shown across the paper
计算系统变得越来越庞大和复杂。它们的可靠性和自主性在今天引起了极大的关注,因为自我修复是一个具有挑战性的话题。本文提出了一种创新的模型和技术来实现实时性要求下的自愈功能。这种方法与现有技术不同,它基于一个新的概念,即面向结果的诊断和治疗。在此基础上,提出了一种主动自愈行为的原型模型。然后,本文提出了一种结合MDD、模糊逻辑和神经网络的混合工具,该工具具有高效、准确和智能的特点。一些例子在整个论文中显示,以帮助说明概念
{"title":"Consequence Oriented Self-Healing and Hybrid Diagnosis Integrating Decision Diagram, Fuzzy Logic and Neural Network","authors":"Yuan-Shun Dai, M. Hinchey, Qingpei Hu","doi":"10.1109/EASE.2007.8","DOIUrl":"https://doi.org/10.1109/EASE.2007.8","url":null,"abstract":"Computing systems become increasingly large and complex. Their dependability and autonomy are of great concern today, where self-healing is a challenging topic. This paper presented an innovative model and technology to realize the self-healing function under the real-time requirement. This approach, different from the existing technologies, is based on a new concept defined as consequence-oriented diagnosis and healing. Derived from the new concept, a prototype model for proactive self-healing actions is presented. Then, this paper proposes a hybrid tool that combines MDD, fuzzy logic and neural network, which is efficient, accurate and intelligent. Some examples to help illustrate the concepts are shown across the paper","PeriodicalId":239972,"journal":{"name":"Fourth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe'07)","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115952911","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
Model Predictive Analysis for AutonomicWorkflow Management in Large-scale Scientific Computing Environments 大规模科学计算环境下自主工作流管理的模型预测分析
S. Nordstrom, A. Dubey, T. Keskinpala, R. Datta, S. Neema, T. Bapty
In large scale scientific computing, proper planning and management of computational resources lead to higher system utilizations and increased scientific productivity. Scientists are increasingly leveraging the use of business process management techniques and workflow management tools to balance the needs of the scientific analyses with the availability of computational resources. However, the advancements in productivity from execution of workflows in a large scale computing environments are often thwarted by runtime resource failures. This paper presents our initial work toward autonomic model based fault analysis in workflow based environments
在大规模科学计算中,合理规划和管理计算资源可以提高系统利用率,提高科学生产力。科学家们越来越多地利用业务流程管理技术和工作流管理工具来平衡科学分析的需求和计算资源的可用性。然而,在大规模计算环境中执行工作流所带来的生产力进步常常受到运行时资源故障的阻碍。本文介绍了我们在基于工作流的环境中基于自主模型的故障分析方面的初步工作
{"title":"Model Predictive Analysis for AutonomicWorkflow Management in Large-scale Scientific Computing Environments","authors":"S. Nordstrom, A. Dubey, T. Keskinpala, R. Datta, S. Neema, T. Bapty","doi":"10.1109/EASE.2007.18","DOIUrl":"https://doi.org/10.1109/EASE.2007.18","url":null,"abstract":"In large scale scientific computing, proper planning and management of computational resources lead to higher system utilizations and increased scientific productivity. Scientists are increasingly leveraging the use of business process management techniques and workflow management tools to balance the needs of the scientific analyses with the availability of computational resources. However, the advancements in productivity from execution of workflows in a large scale computing environments are often thwarted by runtime resource failures. This paper presents our initial work toward autonomic model based fault analysis in workflow based environments","PeriodicalId":239972,"journal":{"name":"Fourth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe'07)","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126585655","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
Reflex Autonomicity in an Agent-Based Security System :: The Autonomic Access Control System 基于代理的安全系统中的反射自治:自主访问控制系统
S. E. Johnston, Roy Sterritt, E. Hanna, P. O'Hagan
The application of the biological metaphor of the autonomic nervous system to computing has created the paradigm of autonomic computing, in which computer systems self-regulate by using automatic reactions to defend, optimize and heal. Agent technologies have been highlighted in the literature as particularly appropriate for the development of autonomic systems. This paper reports on an investigation of the use of the autonomic concepts of reflex autonomicity and apoptosis in the development of a multi-agent system. Findings are discussed with reference to the use of the JADE agent platform for development
自主神经系统的生物学隐喻应用于计算创造了自主计算的范例,其中计算机系统通过使用自动反应进行自我调节,以防御,优化和治疗。代理技术在文献中被强调为特别适合自主系统的开发。本文报道了在多智能体系统开发中使用反射自主和细胞凋亡等自主神经概念的研究。讨论了使用JADE代理平台进行开发的结果
{"title":"Reflex Autonomicity in an Agent-Based Security System :: The Autonomic Access Control System","authors":"S. E. Johnston, Roy Sterritt, E. Hanna, P. O'Hagan","doi":"10.1109/EASE.2007.22","DOIUrl":"https://doi.org/10.1109/EASE.2007.22","url":null,"abstract":"The application of the biological metaphor of the autonomic nervous system to computing has created the paradigm of autonomic computing, in which computer systems self-regulate by using automatic reactions to defend, optimize and heal. Agent technologies have been highlighted in the literature as particularly appropriate for the development of autonomic systems. This paper reports on an investigation of the use of the autonomic concepts of reflex autonomicity and apoptosis in the development of a multi-agent system. Findings are discussed with reference to the use of the JADE agent platform for development","PeriodicalId":239972,"journal":{"name":"Fourth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe'07)","volume":"85 32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128449617","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
Overcoming Robotic Failures through Autonomicity 通过自主性克服机器人故障
C. Rouff, J. Rash, W. Truszkowski
NASA is pursing ever increasing autonomous systems to perform new science and exploration. These missions will be out of contact with mission control for extended periods of time in very harsh and unforgiving environments. To successfully perform these missions autonomously, they will have to have autonomic properties. There have been recent studies of failures of robotic systems that examine how robots are failing in the field. By studying the types of failures that are occurring in robots autonomic properties can be developed for not only robots but for NASA autonomous missions to make them more robust. This paper examines the failures that were identified in a study of robot failures and maps them on to some autonomic properties that would address these failures. By classifying the failures and then mapping them to autonomic properties, classes of autonomic properties can be developed that can then be specialized for each particular mission
美国国家航空航天局正在追求越来越多的自主系统来执行新的科学和探索。这些任务将在非常恶劣和恶劣的环境中长时间与任务控制中心失去联系。为了成功地自主执行这些任务,它们必须具有自主特性。最近有一些关于机器人系统失败的研究,研究了机器人是如何在这个领域失败的。通过研究机器人中发生的故障类型,自主特性不仅可以用于机器人,还可以用于NASA的自主任务,使其更加健壮。本文研究了在机器人故障研究中发现的故障,并将它们映射到一些可以解决这些故障的自主特性上。通过对故障进行分类,然后将其映射到自主属性,可以开发出自主属性的类别,然后可以针对每个特定任务进行专门处理
{"title":"Overcoming Robotic Failures through Autonomicity","authors":"C. Rouff, J. Rash, W. Truszkowski","doi":"10.1109/EASE.2007.21","DOIUrl":"https://doi.org/10.1109/EASE.2007.21","url":null,"abstract":"NASA is pursing ever increasing autonomous systems to perform new science and exploration. These missions will be out of contact with mission control for extended periods of time in very harsh and unforgiving environments. To successfully perform these missions autonomously, they will have to have autonomic properties. There have been recent studies of failures of robotic systems that examine how robots are failing in the field. By studying the types of failures that are occurring in robots autonomic properties can be developed for not only robots but for NASA autonomous missions to make them more robust. This paper examines the failures that were identified in a study of robot failures and maps them on to some autonomic properties that would address these failures. By classifying the failures and then mapping them to autonomic properties, classes of autonomic properties can be developed that can then be specialized for each particular mission","PeriodicalId":239972,"journal":{"name":"Fourth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe'07)","volume":"265 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114002724","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
Model Driven Design of Reliable Robot Control Programs Using the jABC 基于jABC的可靠机器人控制程序的模型驱动设计
S. Jorges, C. Kubczak, F. Pageau, T. Margaria
Developing robot control applications is a software engineering domain that still relies on low-level development tools with limited testing capabilities. The Java application building center (jABC), a framework for model-based application development that supports the modelling process of service-oriented software applications, on the contrary offers a number of early error detection mechanisms like animation, analysis, simulation, and formal verification. We investigate the adequacy of jABC to model, verify and implement robot control applications in a model driven paradigm, and aim at addressing the design of software for autonomous robots for space missions later on. Being able to model and verify their reconfiguration behaviour before launching them is of central importance there. We developed a proof-of-concept application that controls a Legoreg Mindstormstrade robot which finds its way through a maze. As this maze may change dynamically, the robot must be capable of reacting and adjusting its behaviour. This application was completely modelled, verified, and generated with the jABC
开发机器人控制应用程序是一个软件工程领域,仍然依赖于测试能力有限的低级开发工具。Java应用程序构建中心(jABC)是一个用于基于模型的应用程序开发的框架,它支持面向服务的软件应用程序的建模过程,相反,它提供了许多早期错误检测机制,如动画、分析、模拟和形式化验证。我们研究了jABC在模型驱动范例中建模、验证和实现机器人控制应用的充分性,并旨在解决以后用于空间任务的自主机器人的软件设计问题。在启动它们之前,能够对它们的重新配置行为进行建模和验证是至关重要的。我们开发了一个概念验证应用程序,可以控制一个乐高Mindstormstrade机器人,让它在迷宫中找到自己的路。由于这个迷宫可能会动态变化,机器人必须能够做出反应并调整自己的行为。这个应用程序是用jABC完全建模、验证和生成的
{"title":"Model Driven Design of Reliable Robot Control Programs Using the jABC","authors":"S. Jorges, C. Kubczak, F. Pageau, T. Margaria","doi":"10.1109/EASE.2007.17","DOIUrl":"https://doi.org/10.1109/EASE.2007.17","url":null,"abstract":"Developing robot control applications is a software engineering domain that still relies on low-level development tools with limited testing capabilities. The Java application building center (jABC), a framework for model-based application development that supports the modelling process of service-oriented software applications, on the contrary offers a number of early error detection mechanisms like animation, analysis, simulation, and formal verification. We investigate the adequacy of jABC to model, verify and implement robot control applications in a model driven paradigm, and aim at addressing the design of software for autonomous robots for space missions later on. Being able to model and verify their reconfiguration behaviour before launching them is of central importance there. We developed a proof-of-concept application that controls a Legoreg Mindstormstrade robot which finds its way through a maze. As this maze may change dynamically, the robot must be capable of reacting and adjusting its behaviour. This application was completely modelled, verified, and generated with the jABC","PeriodicalId":239972,"journal":{"name":"Fourth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe'07)","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114771718","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 Multi-Agent-Based Management Approach for Self-Health Awareness in Autonomous Systems 自主系统中基于多agent的自我健康意识管理方法
G. González, C. Angulo, C. Raya
Integrated vehicle health management (IVHM) systems on modern aircraft or autonomous unmanned vehicles should provide diagnostic and prognostic capabilities with lower support costs and amount of data traffic. When mission objectives cannot be reached for the control system since unanticipated operating conditions exists, namely a failure, the mission plan must be revised or altered according to the health monitoring system assessment. Representation of the system health knowledge must facilitate interaction with the control system to compensate for subsystem degradation. Several generic architectures have been described for the implementation of health monitoring systems and their integration with the control system. In particular, the OSA-CBM approach is considered in this work as initial point, and it is evolved in the sense of self-health awareness, by defining an appropriated multi-agent smart health management architecture based on smart device models, communication agents and a distributed control system. A case study about its application on fuel-cells as auxiliary power generator will demonstrate the integration
现代飞机或自主无人驾驶车辆上的集成车辆健康管理(IVHM)系统应提供诊断和预测能力,同时降低支持成本和数据流量。当由于存在未预料到的操作条件而无法达到控制系统的任务目标时,即出现故障,则必须根据健康监测系统评估修订或更改任务计划。系统健康知识的表示必须促进与控制系统的交互,以补偿子系统的退化。已经描述了几种用于实现健康监测系统及其与控制系统集成的通用架构。特别地,本工作将OSA-CBM方法作为出发点,并通过定义基于智能设备模型、通信代理和分布式控制系统的适当的多智能体智能健康管理体系结构,在自我健康意识的意义上进行了发展。以其在燃料电池辅助发电机上的应用为例,说明了这种集成
{"title":"A Multi-Agent-Based Management Approach for Self-Health Awareness in Autonomous Systems","authors":"G. González, C. Angulo, C. Raya","doi":"10.1109/EASE.2007.3","DOIUrl":"https://doi.org/10.1109/EASE.2007.3","url":null,"abstract":"Integrated vehicle health management (IVHM) systems on modern aircraft or autonomous unmanned vehicles should provide diagnostic and prognostic capabilities with lower support costs and amount of data traffic. When mission objectives cannot be reached for the control system since unanticipated operating conditions exists, namely a failure, the mission plan must be revised or altered according to the health monitoring system assessment. Representation of the system health knowledge must facilitate interaction with the control system to compensate for subsystem degradation. Several generic architectures have been described for the implementation of health monitoring systems and their integration with the control system. In particular, the OSA-CBM approach is considered in this work as initial point, and it is evolved in the sense of self-health awareness, by defining an appropriated multi-agent smart health management architecture based on smart device models, communication agents and a distributed control system. A case study about its application on fuel-cells as auxiliary power generator will demonstrate the integration","PeriodicalId":239972,"journal":{"name":"Fourth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe'07)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123828016","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
期刊
Fourth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe'07)
全部 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