首页 > 最新文献

2013 11th IEEE International Conference on Industrial Informatics (INDIN)最新文献

英文 中文
Plug-and-Play control - Theory and implementation 即插即用控制-理论与实现
Pub Date : 2013-07-29 DOI: 10.1109/INDIN.2013.6622876
S. Bodenburg, J. Lunze
Technological systems are live systems which are subject to persistent changes. For instance, instrumentations fail or are added, operation modes are changed or communication network topologies are modified. This paper presents a concept to adjust control laws and reference trajectory models to new configurations of the closed loop. The introduced Plug-and-Play Control utilises a communication network to exchange control algorithms between physically separated components. This paper elucidates the concept and describes an implementation of the algorithm exchange by remote procedure calls and model construction functions provided by MATLAB. Experiments on a fluid process illustrate the performance of Plug-and-Play Control and point out the necessary application requirements.
技术系统是不断变化的动态系统。例如,仪器故障或增加,操作模式更改或通信网络拓扑修改。本文提出了根据闭环的新构型调整控制律和参考轨迹模型的概念。所介绍的即插即用控制利用通信网络在物理分离的组件之间交换控制算法。本文阐述了算法交换的概念,并介绍了利用MATLAB提供的远程过程调用和模型构建函数实现算法交换的方法。在流体过程中的实验验证了即插即用控制的性能,并指出了必要的应用要求。
{"title":"Plug-and-Play control - Theory and implementation","authors":"S. Bodenburg, J. Lunze","doi":"10.1109/INDIN.2013.6622876","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622876","url":null,"abstract":"Technological systems are live systems which are subject to persistent changes. For instance, instrumentations fail or are added, operation modes are changed or communication network topologies are modified. This paper presents a concept to adjust control laws and reference trajectory models to new configurations of the closed loop. The introduced Plug-and-Play Control utilises a communication network to exchange control algorithms between physically separated components. This paper elucidates the concept and describes an implementation of the algorithm exchange by remote procedure calls and model construction functions provided by MATLAB. Experiments on a fluid process illustrate the performance of Plug-and-Play Control and point out the necessary application requirements.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74817655","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
Traffic-aware message scheduling method for ISA100.11a ISA100.11a的流量感知消息调度方法
Pub Date : 2013-07-29 DOI: 10.1109/INDIN.2013.6622960
Tran Nhon, Dong-Seong Kim
This paper proposes a new message scheduling method on shared timeslots of ISA100.11a to enhance real-time performance, called Traffic-Aware Message Scheduling (TAMS) method. Instead of competing to transmit sporadic messages in consecutive cycles, end-nodes are divided into parts, and then access the channel in the specific cycles when the probability of timeslots getting involved in collision exceeds a threshold. The simulation results indicate that the proposed method provides performance improvements in terms of throughput and end-to-end delay.
本文提出了一种新的基于ISA100.11a共享时隙的消息调度方法,称为流量感知消息调度(Traffic-Aware message scheduling, TAMS)方法,以提高实时性能。该算法将终端节点分成若干部分,当发生碰撞的时隙概率超过一定阈值时,终端节点在特定的周期内访问信道,而不是在连续的周期内竞争传输零星的消息。仿真结果表明,该方法在吞吐量和端到端延迟方面都有显著提高。
{"title":"Traffic-aware message scheduling method for ISA100.11a","authors":"Tran Nhon, Dong-Seong Kim","doi":"10.1109/INDIN.2013.6622960","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622960","url":null,"abstract":"This paper proposes a new message scheduling method on shared timeslots of ISA100.11a to enhance real-time performance, called Traffic-Aware Message Scheduling (TAMS) method. Instead of competing to transmit sporadic messages in consecutive cycles, end-nodes are divided into parts, and then access the channel in the specific cycles when the probability of timeslots getting involved in collision exceeds a threshold. The simulation results indicate that the proposed method provides performance improvements in terms of throughput and end-to-end delay.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74046094","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 comparative analysis of smart metering data aggregation performance 智能计量数据聚合性能对比分析
Pub Date : 2013-07-29 DOI: 10.1109/INDIN.2013.6622924
Dejan Ilić, S. Karnouskos, Martin Wilhelm
In the Smart Grid era fine-grained energy information pertaining real world processes can be collected and may reveal new insights if these can be analyzed in real-time. Energy “Big Data” analytics can lead to a plethora of new innovative applications and enhance decision making processes. However, to do so, we need new enterprise tools and approaches that can take into consideration the specifics of the energy domain and offer high performance analytics on its raw data. In this work, experiments are conducted to measure the performance of the different levels of energy data aggregation. Thousands of smart meters are aggregated, by usage of the collected energy readings from a real-world trial. Using a selected dataset, the traditional database system (row-based) performance is compared to the emerging column-based approach in order to assess the suitability for real-time analytics in such scenarios.
在智能电网时代,可以收集有关现实世界过程的细粒度能源信息,如果这些信息可以实时分析,可能会揭示新的见解。能源“大数据”分析可以带来大量新的创新应用,并增强决策过程。然而,要做到这一点,我们需要新的企业工具和方法来考虑能源领域的具体情况,并对其原始数据提供高性能分析。在这项工作中,进行了实验来衡量不同级别的能量数据聚合的性能。通过使用从实际试验中收集的能量读数,将数千个智能电表汇总在一起。使用选定的数据集,将传统的数据库系统(基于行)性能与新兴的基于列的方法进行比较,以评估在这种情况下实时分析的适用性。
{"title":"A comparative analysis of smart metering data aggregation performance","authors":"Dejan Ilić, S. Karnouskos, Martin Wilhelm","doi":"10.1109/INDIN.2013.6622924","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622924","url":null,"abstract":"In the Smart Grid era fine-grained energy information pertaining real world processes can be collected and may reveal new insights if these can be analyzed in real-time. Energy “Big Data” analytics can lead to a plethora of new innovative applications and enhance decision making processes. However, to do so, we need new enterprise tools and approaches that can take into consideration the specifics of the energy domain and offer high performance analytics on its raw data. In this work, experiments are conducted to measure the performance of the different levels of energy data aggregation. Thousands of smart meters are aggregated, by usage of the collected energy readings from a real-world trial. Using a selected dataset, the traditional database system (row-based) performance is compared to the emerging column-based approach in order to assess the suitability for real-time analytics in such scenarios.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73622266","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}
引用次数: 17
Modeling approach to multi-agent system of human and machine agents: Application in design of early experiments for novel aeronautics systems 人机多智能体系统的建模方法:在新型航空系统早期实验设计中的应用
Pub Date : 2013-07-29 DOI: 10.1109/INDIN.2013.6622984
I. Lacko, Z. Moravek, Jan-Patrick Osterloh, Frank Rister, F. Dehais, S. Scannella
Design of future systems for flight-deck automation will reflect a trend of changing the paradigm of human-computer interaction from the master (human)- slave (machine) mode to more equilibrated cooperation. In many cases such cooperation considers several humans and computer systems, for which multi-agent dynamic cooperative systems are appropriate models. Development of such systems requires very profound analysis of mutual interactions and conflicts that may arise in such systems. Additional testing is exhaustive and expensive for such systems. In the scope of the D3CoS project these problems are addressed from the modelling point of view with ambition to create tools that will simplify the development phase and replace parts of the testing phase. In this paper we investigate common flight procedures, for which computer assistance could be developed. We show how formal modelling of procedures allows us to inspect procedural inconsistencies and workload peaks before the development starts. We show how a computer cognitive architecture (a virtual pilot) can simulate human pilot behaviour in the cockpit to address questions typical for the early phase of the development. Analysis of these questions allows us to reduce the number of candidates for the final implementation without the need of expensive experiments with human pilots. This modelling approach is demonstrated on experiments undertaken both with human pilots and a virtual pilot. The quality of the outcome from both experimental settings remains conserved as shown by physiological assessment of pilot workload, which in turn justifies the use of the modelling approach for this type of problems.
未来驾驶舱自动化系统的设计将反映出一种趋势,即人机交互模式将从主(人)-从(机)模式转变为更均衡的合作模式。在许多情况下,这种合作涉及多个人类和计算机系统,其中多智能体动态合作系统是合适的模型。这种系统的开发需要对这种系统中可能出现的相互作用和冲突进行非常深刻的分析。对于这样的系统,额外的测试是详尽且昂贵的。在D3CoS项目的范围内,这些问题是从建模的角度来解决的,目的是创建简化开发阶段和替代部分测试阶段的工具。在本文中,我们研究了常见的飞行程序,计算机辅助可以开发。我们展示了过程的形式化建模如何允许我们在开发开始之前检查过程的不一致性和工作量高峰。我们展示了计算机认知架构(虚拟飞行员)如何模拟驾驶舱中人类飞行员的行为,以解决开发早期阶段的典型问题。对这些问题的分析使我们能够减少最终实施的候选数量,而无需与人类飞行员进行昂贵的实验。这种建模方法在人类飞行员和虚拟飞行员进行的实验中得到了证明。正如对飞行员工作量的生理评估所显示的那样,两种实验设置的结果质量仍然是保守的,这反过来证明了对这类问题使用建模方法的合理性。
{"title":"Modeling approach to multi-agent system of human and machine agents: Application in design of early experiments for novel aeronautics systems","authors":"I. Lacko, Z. Moravek, Jan-Patrick Osterloh, Frank Rister, F. Dehais, S. Scannella","doi":"10.1109/INDIN.2013.6622984","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622984","url":null,"abstract":"Design of future systems for flight-deck automation will reflect a trend of changing the paradigm of human-computer interaction from the master (human)- slave (machine) mode to more equilibrated cooperation. In many cases such cooperation considers several humans and computer systems, for which multi-agent dynamic cooperative systems are appropriate models. Development of such systems requires very profound analysis of mutual interactions and conflicts that may arise in such systems. Additional testing is exhaustive and expensive for such systems. In the scope of the D3CoS project these problems are addressed from the modelling point of view with ambition to create tools that will simplify the development phase and replace parts of the testing phase. In this paper we investigate common flight procedures, for which computer assistance could be developed. We show how formal modelling of procedures allows us to inspect procedural inconsistencies and workload peaks before the development starts. We show how a computer cognitive architecture (a virtual pilot) can simulate human pilot behaviour in the cockpit to address questions typical for the early phase of the development. Analysis of these questions allows us to reduce the number of candidates for the final implementation without the need of expensive experiments with human pilots. This modelling approach is demonstrated on experiments undertaken both with human pilots and a virtual pilot. The quality of the outcome from both experimental settings remains conserved as shown by physiological assessment of pilot workload, which in turn justifies the use of the modelling approach for this type of problems.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89233788","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
Rule-based composition of intelligent mechatronic components in manufacturing systems using prolog 基于规则的基于prolog的制造系统中智能机电部件组合
Pub Date : 2013-07-29 DOI: 10.1109/INDIN.2013.6622889
M. Sorouri, V. Vyatkin, Z. Salcic
This paper proposes a rule-based approach for automatic configuration of mechatronic components in a novel agent-based manufacturing automation architecture known as MIRA, implemented using Prolog. Through this method, MIRAs are enriched with semantic knowledge representation and, based on that, perform some reasoning and decision making (both at the design stage and even during the operation) to achieve the desired goals. This approach is illustrated in a simple case study in which composition of a reconfigurable pick-and-place robot with various linear cylinders is achieved through rule-based reasoning.
本文提出了一种基于规则的方法,用于在一种新的基于代理的制造自动化体系结构(称为MIRA)中自动配置机电元件,该体系结构使用Prolog实现。通过这种方法,mira丰富了语义知识表示,并在此基础上进行一些推理和决策(无论是在设计阶段还是在运行过程中),以达到预期的目标。通过一个简单的案例研究说明了这种方法,其中通过基于规则的推理实现了具有各种线性圆柱体的可重构拾取机器人的组成。
{"title":"Rule-based composition of intelligent mechatronic components in manufacturing systems using prolog","authors":"M. Sorouri, V. Vyatkin, Z. Salcic","doi":"10.1109/INDIN.2013.6622889","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622889","url":null,"abstract":"This paper proposes a rule-based approach for automatic configuration of mechatronic components in a novel agent-based manufacturing automation architecture known as MIRA, implemented using Prolog. Through this method, MIRAs are enriched with semantic knowledge representation and, based on that, perform some reasoning and decision making (both at the design stage and even during the operation) to achieve the desired goals. This approach is illustrated in a simple case study in which composition of a reconfigurable pick-and-place robot with various linear cylinders is achieved through rule-based reasoning.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89361580","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
Simulation environment for Time-Triggered Ethernet 时间触发以太网仿真环境
Pub Date : 2013-07-29 DOI: 10.1109/INDIN.2013.6622959
M. Abuteir, R. Obermaisser
Time-Triggered Ethernet (TTEthernet) is an SAE standard of a real-time Ethernet extension, which supports real-time requirements, fault isolation and mixed criticality applications. TTEthernet supports different communication mechanisms ranging from best-effort messaging with a high channel utilization to predictable real-time messaging based on a time-triggered communication schedule. This paper presents a simulation framework for TTEthernet-based systems, which supports the analysis and validation of TTEthernet-based applications at early development stages. We introduce generic model building blocks (e.g., TTEthernet switches, TTEthernet end systems, fault injectors), which can be instantiated, configured and extended to model distributed embedded applications. In particular, these building blocks can be configured to support application-specific time-triggered schedules and communication topologies. The fault injector allows to evaluate the reliability in the presence of messages failures with given failure modes and failure rates. We demonstrate the simulation environment in an example scenario with two TTEthernet switches, multiple end systems and injected faults.
tteethernet (Time-Triggered Ethernet,时间触发以太网)是一种实时以太网扩展的SAE标准,支持实时需求、故障隔离和混合临界应用。tteethernet支持不同的通信机制,从具有高通道利用率的尽力而为的消息传递到基于时间触发的通信调度的可预测的实时消息传递。本文提出了一个基于tteethernet系统的仿真框架,该框架支持在早期开发阶段对基于tteethernet的应用进行分析和验证。我们引入了通用的模型构建块(例如,以太网交换机、以太网终端系统、故障注入器),可以对其进行实例化、配置和扩展,以建模分布式嵌入式应用程序。特别是,这些构建块可以配置为支持特定于应用程序的时间触发调度和通信拓扑。故障注入器允许在给定的故障模式和故障率下评估存在消息故障的可靠性。我们在一个具有两个以太网交换机、多个终端系统和注入故障的示例场景中演示了仿真环境。
{"title":"Simulation environment for Time-Triggered Ethernet","authors":"M. Abuteir, R. Obermaisser","doi":"10.1109/INDIN.2013.6622959","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622959","url":null,"abstract":"Time-Triggered Ethernet (TTEthernet) is an SAE standard of a real-time Ethernet extension, which supports real-time requirements, fault isolation and mixed criticality applications. TTEthernet supports different communication mechanisms ranging from best-effort messaging with a high channel utilization to predictable real-time messaging based on a time-triggered communication schedule. This paper presents a simulation framework for TTEthernet-based systems, which supports the analysis and validation of TTEthernet-based applications at early development stages. We introduce generic model building blocks (e.g., TTEthernet switches, TTEthernet end systems, fault injectors), which can be instantiated, configured and extended to model distributed embedded applications. In particular, these building blocks can be configured to support application-specific time-triggered schedules and communication topologies. The fault injector allows to evaluate the reliability in the presence of messages failures with given failure modes and failure rates. We demonstrate the simulation environment in an example scenario with two TTEthernet switches, multiple end systems and injected faults.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90584951","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}
引用次数: 17
Evolution of production facilities and its impact on non-functional requirements 生产设施的演变及其对非功能需求的影响
Pub Date : 2013-07-29 DOI: 10.1109/INDIN.2013.6622886
J. Ladiges, I. Wior, Esteban Arroyo, A. Fay, C. Haubeck, W. Lamersdorf
Due to high acquisition costs, production facilities are to operate for many years or even decades to be profitable. During operation, application and customer requirements change rather frequently. Therefore, a process operator must constantly evolve the control software and the underlying system. This task is restricted by specific constraints in the domain of production systems (e.g. short reaction times, high dependency on physics, etc.) hindering the proper use of formal engineering processes, which results in a lack of explicit documentation. Under such circumstances, it is evident that long-living automation software systems require special strategies to deal with incomplete information. Moreover, due to the complexity of production plants, the interconnection between evolution scenarios and system requirements might be complex. Then, a link between evolution and fulfillment of requirements is to be defined. In an effort to give a structured overview of the resulting difficulties due to improperly performed evolution steps in production facilities, this contribution presents a categorization of evolution scenarios from a practical point of view. In addition, interrelations between physical process measurements and high-level requirements are shown. This paper aims at describing the occurring difficulties within evolving production systems from a practical point of view and establishing a first step towards exploiting process measurements for requirement-aware production systems.
由于收购成本高,生产设施需要运行多年甚至几十年才能盈利。在操作过程中,应用程序和客户需求变化非常频繁。因此,过程操作员必须不断发展控制软件和底层系统。该任务受到生产系统领域的特定约束(例如,反应时间短,对物理的高度依赖等)的限制,阻碍了正式工程过程的正确使用,从而导致缺乏明确的文档。在这种情况下,很明显,长期存在的自动化软件系统需要特殊的策略来处理不完整的信息。此外,由于生产工厂的复杂性,进化场景和系统需求之间的互连可能是复杂的。然后,定义需求的发展和实现之间的联系。为了对由于在生产设施中不恰当地执行进化步骤而导致的困难进行结构化的概述,本文从实际的角度对进化场景进行了分类。此外,还说明了物理过程测量与高级要求之间的相互关系。本文旨在从实际的角度描述在不断发展的生产系统中出现的困难,并为开发需求感知生产系统的过程度量建立第一步。
{"title":"Evolution of production facilities and its impact on non-functional requirements","authors":"J. Ladiges, I. Wior, Esteban Arroyo, A. Fay, C. Haubeck, W. Lamersdorf","doi":"10.1109/INDIN.2013.6622886","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622886","url":null,"abstract":"Due to high acquisition costs, production facilities are to operate for many years or even decades to be profitable. During operation, application and customer requirements change rather frequently. Therefore, a process operator must constantly evolve the control software and the underlying system. This task is restricted by specific constraints in the domain of production systems (e.g. short reaction times, high dependency on physics, etc.) hindering the proper use of formal engineering processes, which results in a lack of explicit documentation. Under such circumstances, it is evident that long-living automation software systems require special strategies to deal with incomplete information. Moreover, due to the complexity of production plants, the interconnection between evolution scenarios and system requirements might be complex. Then, a link between evolution and fulfillment of requirements is to be defined. In an effort to give a structured overview of the resulting difficulties due to improperly performed evolution steps in production facilities, this contribution presents a categorization of evolution scenarios from a practical point of view. In addition, interrelations between physical process measurements and high-level requirements are shown. This paper aims at describing the occurring difficulties within evolving production systems from a practical point of view and establishing a first step towards exploiting process measurements for requirement-aware production systems.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89877108","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}
引用次数: 18
Time and memory-aware runtime monitoring for executing model-based test cases in embedded systems 用于在嵌入式系统中执行基于模型的测试用例的时间和内存感知运行时监控
Pub Date : 2013-07-29 DOI: 10.1109/INDIN.2013.6622936
Padma Iyenghar, E. Pulvermüller, Michael Spieker, Juergen Wuebbelmann, C. Westerkamp
The existing model-based tools employ runtime monitoring methodologies for debugging and testing of embedded systems. In these tools, the additional instrumentation for incorporating and executing the test code varies based on the application. Such techniques could also introduce significant, non-deterministic overhead in the embedded system. This is a hurdle in applying Model-Based Testing (MBT) for resource constrained embedded systems and industrially relevant examples. To address this gap, this paper elaborates on the monitoring methodology used in a test framework for executing the model-based test cases in the embedded system. Two variants of the proposed monitoring methodology, (a) software and (b) on-chip monitoring are discussed. An empirical evaluation based on a prototype implementation of the proposed runtime monitoring mechanisms is discussed.
现有的基于模型的工具采用运行时监视方法对嵌入式系统进行调试和测试。在这些工具中,用于合并和执行测试代码的附加工具根据应用程序而变化。这种技术还可能在嵌入式系统中引入重大的、不确定的开销。这是在资源受限的嵌入式系统和工业相关示例中应用基于模型的测试(MBT)的一个障碍。为了解决这一差距,本文详细阐述了在嵌入式系统中执行基于模型的测试用例的测试框架中使用的监控方法。讨论了所提出的监测方法的两种变体,(a)软件和(b)片上监测。讨论了基于所提出的运行时监控机制的原型实现的经验评估。
{"title":"Time and memory-aware runtime monitoring for executing model-based test cases in embedded systems","authors":"Padma Iyenghar, E. Pulvermüller, Michael Spieker, Juergen Wuebbelmann, C. Westerkamp","doi":"10.1109/INDIN.2013.6622936","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622936","url":null,"abstract":"The existing model-based tools employ runtime monitoring methodologies for debugging and testing of embedded systems. In these tools, the additional instrumentation for incorporating and executing the test code varies based on the application. Such techniques could also introduce significant, non-deterministic overhead in the embedded system. This is a hurdle in applying Model-Based Testing (MBT) for resource constrained embedded systems and industrially relevant examples. To address this gap, this paper elaborates on the monitoring methodology used in a test framework for executing the model-based test cases in the embedded system. Two variants of the proposed monitoring methodology, (a) software and (b) on-chip monitoring are discussed. An empirical evaluation based on a prototype implementation of the proposed runtime monitoring mechanisms is discussed.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87729333","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
Using OPC-UA for the autoconfiguration of real-time Ethernet systems 利用OPC-UA实现实时以太网系统的自动配置
Pub Date : 2013-07-29 DOI: 10.1109/INDIN.2013.6622890
L. Duerkop, Jahanzaib Imtiaz, H. Trsek, Lukasz Wisniewski, J. Jasperneite
In the future, production systems will consist of modular and flexible production components, being able to adapt to completely new manufacturing processes. This requirement arises from market turbulences caused by customer demands, i. e. highly customized goods in smaller production batches, or phenomenon like commercial crisis. In order to achieve adaptable production systems, one of the major challenges is to develop suitable autoconfiguration mechanisms for industrial automation systems. This paper presents a two-step architecture for the autoconfiguration of real-time Ethernet (RTE) systems. As a first step, an RTE-independent device discovery mechanism is introduced. Afterwards, it is shown how the parameters of an RTE can be configured automatically using Profinet IO as an exemplary RTE system. In contrast to the existing approaches, the proposed discovery mechanism is based on the OPC Unified Architecture (OPC-UA). In addition, a procedure to autoconfigure modular IO-Devices is introduced.
在未来,生产系统将由模块化和灵活的生产组件组成,能够适应全新的制造工艺。这种需求来自于客户需求引起的市场动荡,如大批量生产的高度定制产品,或商业危机等现象。为了实现适应性生产系统,开发适合工业自动化系统的自动配置机制是一个主要的挑战。本文提出了实时以太网(RTE)系统自动配置的两步体系结构。作为第一步,引入了独立于rte的设备发现机制。随后,将展示如何使用Profinet IO作为示例RTE系统自动配置RTE的参数。与现有方法相比,本文提出的发现机制基于OPC统一架构(OPC- ua)。此外,还介绍了模块化io器件的自动配置过程。
{"title":"Using OPC-UA for the autoconfiguration of real-time Ethernet systems","authors":"L. Duerkop, Jahanzaib Imtiaz, H. Trsek, Lukasz Wisniewski, J. Jasperneite","doi":"10.1109/INDIN.2013.6622890","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622890","url":null,"abstract":"In the future, production systems will consist of modular and flexible production components, being able to adapt to completely new manufacturing processes. This requirement arises from market turbulences caused by customer demands, i. e. highly customized goods in smaller production batches, or phenomenon like commercial crisis. In order to achieve adaptable production systems, one of the major challenges is to develop suitable autoconfiguration mechanisms for industrial automation systems. This paper presents a two-step architecture for the autoconfiguration of real-time Ethernet (RTE) systems. As a first step, an RTE-independent device discovery mechanism is introduced. Afterwards, it is shown how the parameters of an RTE can be configured automatically using Profinet IO as an exemplary RTE system. In contrast to the existing approaches, the proposed discovery mechanism is based on the OPC Unified Architecture (OPC-UA). In addition, a procedure to autoconfigure modular IO-Devices is introduced.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77572963","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}
引用次数: 56
Evaluation of the scalability of an energy market for Smart Grid neighborhoods 智能电网社区能源市场可扩展性评估
Pub Date : 2013-07-29 DOI: 10.1109/INDIN.2013.6622914
P. Silva, S. Karnouskos, Dejan Ilić
The electric power grid is undergoing fundamental changes in light of the current focus on distributed generation, and in particular renewable generation (e.g., solar and wind). As a result, new methodologies and technologies are needed to effectively coordinate and make optimal use of the these resources. A distribution-system level energy market offers the potential to address this issue by providing an efficient mechanism for the pricing and allocation of resources. Market participants (e.g., households, ESCos, asset managers etc.) can apply economically driven strategies to trade energy while reacting to current and local levels of production and consumption. We evaluate here such a local neighborhood market and investigate its scalability under different numbers of participants and different penetrations photo-voltaic (PV) generation. The evaluation is carried out by simulating market operations under realistic production and consumption conditions. Results showed that the proposed market model scales well against both parameters.
鉴于目前的重点是分布式发电,特别是可再生能源发电(如太阳能和风能),电网正在发生根本性的变化。因此,需要新的方法和技术来有效地协调和最佳地利用这些资源。分配系统一级的能源市场提供了解决这一问题的潜力,它为资源的定价和分配提供了有效的机制。市场参与者(例如,家庭、esco、资产管理公司等)可以在对当前和当地的生产和消费水平作出反应的同时,应用经济驱动的战略进行能源交易。本文对这样一个局部社区市场进行了评估,并考察了其在不同参与者数量和不同光伏发电渗透率下的可扩展性。通过模拟现实生产和消费条件下的市场运作进行评估。结果表明,所提出的市场模型可以很好地适应这两个参数。
{"title":"Evaluation of the scalability of an energy market for Smart Grid neighborhoods","authors":"P. Silva, S. Karnouskos, Dejan Ilić","doi":"10.1109/INDIN.2013.6622914","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622914","url":null,"abstract":"The electric power grid is undergoing fundamental changes in light of the current focus on distributed generation, and in particular renewable generation (e.g., solar and wind). As a result, new methodologies and technologies are needed to effectively coordinate and make optimal use of the these resources. A distribution-system level energy market offers the potential to address this issue by providing an efficient mechanism for the pricing and allocation of resources. Market participants (e.g., households, ESCos, asset managers etc.) can apply economically driven strategies to trade energy while reacting to current and local levels of production and consumption. We evaluate here such a local neighborhood market and investigate its scalability under different numbers of participants and different penetrations photo-voltaic (PV) generation. The evaluation is carried out by simulating market operations under realistic production and consumption conditions. Results showed that the proposed market model scales well against both parameters.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80804858","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
期刊
2013 11th IEEE International Conference on Industrial Informatics (INDIN)
全部 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