首页 > 最新文献

2009 XXII International Symposium on Information, Communication and Automation Technologies最新文献

英文 中文
Real-time media processing in embedded consumer electronic devices 嵌入式消费电子设备中的实时媒体处理
D. Isovic
In this paper we propose real-time methods for flexible processing of multimedia streaming in resource constrained systems. Video streams are dynamically adapted to match available system resources in small, embedded devices, such as as mobile phones and PDAs. Real-time admission control and resource reservation mechanisms ensure that media processing fully utilize the available system resources, while keeping the best possible video quality. First, we apply our methods on a single device, and then we extend it to handle distributed, heterogeneous systems where several devices share same resources. Results of simulation study show the effectiveness of our methods.
本文提出了在资源受限系统中灵活处理多媒体流的实时方法。视频流是动态调整的,以匹配小型嵌入式设备(如移动电话和pda)中的可用系统资源。实时准入控制和资源预留机制确保媒体处理充分利用可用的系统资源,同时保持最佳的视频质量。首先,我们在单个设备上应用我们的方法,然后将其扩展到处理分布式异构系统,其中多个设备共享相同的资源。仿真研究结果表明了方法的有效性。
{"title":"Real-time media processing in embedded consumer electronic devices","authors":"D. Isovic","doi":"10.1109/ICAT.2009.5348440","DOIUrl":"https://doi.org/10.1109/ICAT.2009.5348440","url":null,"abstract":"In this paper we propose real-time methods for flexible processing of multimedia streaming in resource constrained systems. Video streams are dynamically adapted to match available system resources in small, embedded devices, such as as mobile phones and PDAs. Real-time admission control and resource reservation mechanisms ensure that media processing fully utilize the available system resources, while keeping the best possible video quality. First, we apply our methods on a single device, and then we extend it to handle distributed, heterogeneous systems where several devices share same resources. Results of simulation study show the effectiveness of our methods.","PeriodicalId":211842,"journal":{"name":"2009 XXII International Symposium on Information, Communication and Automation Technologies","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2009-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115579914","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
Active networking support for group communication 主动网络支持群体通信
Z. Begic, M. Bolic, E. Secerbegovic
Open, decentralized networks such as Internet are increasingly heterogeneous and dynamic. Applications running over such networks must be able to cope with resource restrictions and operate under the most diverse conditions. Providing multiple services over the same network has enormous effect on scalability, performances and cost of this network. Selecting a proper concept of network for mass market has a capitol importance for telecom operators. This is even more important for group communication applications, since the differences among group participants must also be taken into consideration. This paper analyses the support mechanisms for group communication applications which adapt to available network resources. Models used in this paper are simplified models of real discreet stochastic systems which represent one of the most popular research areas. Subscriber's behavior and dynamic network evolution are taken into account as key variables before implementing new ideas and innovations. Innovative elements refer to an active node involvement in forming distributional platform based on IP (Internet Protocol) with elements of multiple services offerings in new generation networks. Storing trends of end user behaviors and shaping traffic based on it, data aggregation and making heterogeneity environment according to subscriber's requirements are only some topics discussed in this paper.
开放的、去中心化的网络,如互联网,正日益异构化和动态化。在这种网络上运行的应用程序必须能够应对资源限制,并在最多样化的条件下运行。在同一网络上提供多种服务对该网络的可伸缩性、性能和成本有巨大的影响。为大众市场选择合适的网络概念对电信运营商来说至关重要。这对于群组通信应用程序来说更为重要,因为还必须考虑群组参与者之间的差异。本文分析了适应现有网络资源的群通信应用的支持机制。本文所使用的模型是实际离散随机系统的简化模型,是目前研究的热点之一。在实施新理念和创新之前,用户行为和动态网络演变被视为关键变量。创新要素是指在新一代网络中,一个活跃的节点参与形成基于IP (Internet Protocol)的分布式平台,其中包含多种服务提供的要素。存储终端用户行为趋势并以此为基础塑造流量、数据聚合和根据用户需求构建异构环境只是本文讨论的部分内容。
{"title":"Active networking support for group communication","authors":"Z. Begic, M. Bolic, E. Secerbegovic","doi":"10.1109/ICAT.2009.5348435","DOIUrl":"https://doi.org/10.1109/ICAT.2009.5348435","url":null,"abstract":"Open, decentralized networks such as Internet are increasingly heterogeneous and dynamic. Applications running over such networks must be able to cope with resource restrictions and operate under the most diverse conditions. Providing multiple services over the same network has enormous effect on scalability, performances and cost of this network. Selecting a proper concept of network for mass market has a capitol importance for telecom operators. This is even more important for group communication applications, since the differences among group participants must also be taken into consideration. This paper analyses the support mechanisms for group communication applications which adapt to available network resources. Models used in this paper are simplified models of real discreet stochastic systems which represent one of the most popular research areas. Subscriber's behavior and dynamic network evolution are taken into account as key variables before implementing new ideas and innovations. Innovative elements refer to an active node involvement in forming distributional platform based on IP (Internet Protocol) with elements of multiple services offerings in new generation networks. Storing trends of end user behaviors and shaping traffic based on it, data aggregation and making heterogeneity environment according to subscriber's requirements are only some topics discussed in this paper.","PeriodicalId":211842,"journal":{"name":"2009 XXII International Symposium on Information, Communication and Automation Technologies","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2009-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122960314","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
A hierarchical elastic image registration approach based on approximating thin-plate splines 一种基于薄板样条近似的分层弹性图像配准方法
Amira Serifovic-Trbalic, Damir Demirovic, N. Prljaca, N. Sarajlic
We present a hierarchical approach to elastic registration of medical images which use thin-plate splines approximation method. The thin-plate splines approximation method takes into account the landmark localization errors as anisotropic landmark errors. This inclusion is very important in clinical applications, because the landmark localization is always prone to error. Experimental results show that application of this TPS method can improve the registration result of the hierarchical elastic registration approach.
提出了一种基于薄板样条近似的医学图像弹性配准分层方法。薄板样条逼近法将地标定位误差作为各向异性地标误差考虑在内。这种包含在临床应用中非常重要,因为地标定位总是容易出错。实验结果表明,该方法可以改善分层弹性配准方法的配准效果。
{"title":"A hierarchical elastic image registration approach based on approximating thin-plate splines","authors":"Amira Serifovic-Trbalic, Damir Demirovic, N. Prljaca, N. Sarajlic","doi":"10.1109/ICAT.2009.5348432","DOIUrl":"https://doi.org/10.1109/ICAT.2009.5348432","url":null,"abstract":"We present a hierarchical approach to elastic registration of medical images which use thin-plate splines approximation method. The thin-plate splines approximation method takes into account the landmark localization errors as anisotropic landmark errors. This inclusion is very important in clinical applications, because the landmark localization is always prone to error. Experimental results show that application of this TPS method can improve the registration result of the hierarchical elastic registration approach.","PeriodicalId":211842,"journal":{"name":"2009 XXII International Symposium on Information, Communication and Automation Technologies","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2009-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123009533","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
A reliability analysis for wireless sensor networks in a wind farm 风电场无线传感器网络可靠性分析
C. Vașar, O. Proștean, I. Filip, R. Robu, D. Popescu
The paper proposes Markov models for the reliability analysis of the wireless sensor networks with standby backup elements. There are presented the theoretical aspects and some of the variables that are used in the domain of fault tolerant systems. There has been conducted a study regarding the reliability of system versus cost price, considering different number of hot redundant spare parts. Reliability evaluation techniques are important in the context of design and analysis of sensitive information gathering sensor networks
本文提出了具有备用元件的无线传感器网络可靠性分析的马尔可夫模型。介绍了容错系统的理论方面和一些常用的变量。考虑不同数量的热冗余备件,对系统可靠性与成本价格的关系进行了研究。可靠性评估技术在敏感信息采集传感器网络的设计和分析中具有重要意义
{"title":"A reliability analysis for wireless sensor networks in a wind farm","authors":"C. Vașar, O. Proștean, I. Filip, R. Robu, D. Popescu","doi":"10.1109/ICAT.2009.5348408","DOIUrl":"https://doi.org/10.1109/ICAT.2009.5348408","url":null,"abstract":"The paper proposes Markov models for the reliability analysis of the wireless sensor networks with standby backup elements. There are presented the theoretical aspects and some of the variables that are used in the domain of fault tolerant systems. There has been conducted a study regarding the reliability of system versus cost price, considering different number of hot redundant spare parts. Reliability evaluation techniques are important in the context of design and analysis of sensitive information gathering sensor networks","PeriodicalId":211842,"journal":{"name":"2009 XXII International Symposium on Information, Communication and Automation Technologies","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2009-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114513615","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
Max-consensus in a max-plus algebraic setting: The case of fixed communication topologies 最大+代数设置中的最大共识:固定通信拓扑的情况
B. M. Nejad, S. Attia, J. Raisch
Consensus algorithms have been studied in the field of distributed computing for decades. Recently consensus algorithms have attracted renewed attention because they can be exploited for distributed cooperative control. The purpose of this paper is the analysis of a specific class of consensus algorithms called max-consensus. This class of algorithms is needed for applications such as minimum time rendezvous and leader election. A new approach using max-plus algebra is proposed to analyze convergence of max-consensus algorithm. In this paper we focus on the problem of achieving max-consensus in time-invariant communication topologies. Conditions to achieve max-consensus are discussed and the convergence rate of the algorithm for different communication topologies is studied.
共识算法在分布式计算领域已经研究了几十年。近年来,共识算法因其可用于分布式协同控制而重新引起人们的关注。本文的目的是分析一类特定的共识算法,称为最大共识。这类算法在最小时间集合和领导者选举等应用中是必需的。提出了一种利用max-plus代数分析最大一致性算法收敛性的新方法。本文主要研究时不变通信拓扑中最大共识的实现问题。讨论了实现最大共识的条件,并研究了算法在不同通信拓扑下的收敛速度。
{"title":"Max-consensus in a max-plus algebraic setting: The case of fixed communication topologies","authors":"B. M. Nejad, S. Attia, J. Raisch","doi":"10.1109/ICAT.2009.5348437","DOIUrl":"https://doi.org/10.1109/ICAT.2009.5348437","url":null,"abstract":"Consensus algorithms have been studied in the field of distributed computing for decades. Recently consensus algorithms have attracted renewed attention because they can be exploited for distributed cooperative control. The purpose of this paper is the analysis of a specific class of consensus algorithms called max-consensus. This class of algorithms is needed for applications such as minimum time rendezvous and leader election. A new approach using max-plus algebra is proposed to analyze convergence of max-consensus algorithm. In this paper we focus on the problem of achieving max-consensus in time-invariant communication topologies. Conditions to achieve max-consensus are discussed and the convergence rate of the algorithm for different communication topologies is studied.","PeriodicalId":211842,"journal":{"name":"2009 XXII International Symposium on Information, Communication and Automation Technologies","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2009-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126427304","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}
引用次数: 87
Lowering SCADA development and implementation costs using PtP concept 使用PtP概念降低SCADA开发和实施成本
Elmir Babovic, J. Velagić
In this paper we proposed the new concept which significantly decreases the development and implementation costs of standard SCADA systems. This system, as any other SCADA system, consists of MTU and RTU. This new concept is designated as PtP SCADA or PC-to-PC SCADA. The main approach to achieve several benefits is based on the idea to place standard PC configuration on both MTU and RTU sides of communication link in SCADA system. Unlike standard SCADA systems which, in majority of cases, have PLC as RTU, PtP SCADA systems have PC based RTU with custom software. PC based RTU is in charge of communication with MTU, direct control of the object, optional indirect control of the object over simple PLC's, storing data, and eventually independent decision making in mission critical situations. The main advantages of using PtP SCADA are lower development and maintenance costs, significant decrease of design and implementation complexity, market competitiveness with highly sophisticated SCADA systems. Main contribution of this concept to global SCADA concept is allowing the introduction of artificial intelligence on RTU side which is given as a guideline for further development. Although in this work we introduced the modified spiral model as new concept of design and development of PtP SCADA systems, the main focus of this work is not on modification of spiral modeling, but rather on new architectural and conceptual organization of SCADA systems.
在本文中,我们提出了新的概念,大大降低了标准SCADA系统的开发和实施成本。与其他SCADA系统一样,该系统由MTU和RTU组成。这个新概念被称为PtP SCADA或pc对pc SCADA。实现这些好处的主要方法是基于在SCADA系统的通信链路MTU和RTU两端都放置标准PC配置的思想。不像标准的SCADA系统,在大多数情况下,有PLC作为RTU, PtP SCADA系统有基于PC的RTU与定制软件。基于PC的RTU负责与MTU通信,直接控制对象,通过简单的PLC对对象进行可选的间接控制,存储数据,并最终在任务关键情况下独立决策。使用PtP SCADA的主要优点是较低的开发和维护成本,显著降低了设计和实现的复杂性,与高度复杂的SCADA系统相比具有市场竞争力。该概念对全球SCADA概念的主要贡献是允许在RTU端引入人工智能,这是进一步发展的指导方针。虽然在这项工作中,我们引入了改进的螺旋模型作为PtP SCADA系统设计和开发的新概念,但这项工作的主要重点不是对螺旋模型的修改,而是对SCADA系统的新架构和概念组织。
{"title":"Lowering SCADA development and implementation costs using PtP concept","authors":"Elmir Babovic, J. Velagić","doi":"10.1109/ICAT.2009.5348454","DOIUrl":"https://doi.org/10.1109/ICAT.2009.5348454","url":null,"abstract":"In this paper we proposed the new concept which significantly decreases the development and implementation costs of standard SCADA systems. This system, as any other SCADA system, consists of MTU and RTU. This new concept is designated as PtP SCADA or PC-to-PC SCADA. The main approach to achieve several benefits is based on the idea to place standard PC configuration on both MTU and RTU sides of communication link in SCADA system. Unlike standard SCADA systems which, in majority of cases, have PLC as RTU, PtP SCADA systems have PC based RTU with custom software. PC based RTU is in charge of communication with MTU, direct control of the object, optional indirect control of the object over simple PLC's, storing data, and eventually independent decision making in mission critical situations. The main advantages of using PtP SCADA are lower development and maintenance costs, significant decrease of design and implementation complexity, market competitiveness with highly sophisticated SCADA systems. Main contribution of this concept to global SCADA concept is allowing the introduction of artificial intelligence on RTU side which is given as a guideline for further development. Although in this work we introduced the modified spiral model as new concept of design and development of PtP SCADA systems, the main focus of this work is not on modification of spiral modeling, but rather on new architectural and conceptual organization of SCADA systems.","PeriodicalId":211842,"journal":{"name":"2009 XXII International Symposium on Information, Communication and Automation Technologies","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2009-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125599522","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
The application of a Parallel Genetic Algorithm to timetabling of elementary school classes: A coarse grained approach 并行遗传算法在小学班级排课中的应用:粗粒度方法
Nedim Srndic, Emir Pandzo, Mirza Dervisevic, S. Konjicija
This paper describes the application of a parallel genetic algorithm that solves the weekly timetable construction problem for elementary schools. Timetable construction is NP-complete and highly constrained problem, and therefore represents a computationally intensive task. A Parallel Genetic Algorithm (PGA) is proposed with specific methods for chromosome representation and fitness evaluation, and specific recombination and mutation operators. The proposed solution uses a coarse grained PGA, which is suitable for execution on a Beowulf cluster. Experimental results are provided, with a comparison of serial and parallel execution times for the same algorithm.
本文介绍了一种并行遗传算法在解决小学周课程表构建问题中的应用。时间表的构建是np完全和高度约束的问题,因此是一项计算密集型的任务。提出了一种并行遗传算法(PGA),该算法具有特定的染色体表示和适应度评估方法,以及特定的重组和突变算子。建议的解决方案使用粗粒度PGA,它适合在Beowulf集群上执行。给出了实验结果,比较了同一算法的串行和并行执行时间。
{"title":"The application of a Parallel Genetic Algorithm to timetabling of elementary school classes: A coarse grained approach","authors":"Nedim Srndic, Emir Pandzo, Mirza Dervisevic, S. Konjicija","doi":"10.1109/ICAT.2009.5348396","DOIUrl":"https://doi.org/10.1109/ICAT.2009.5348396","url":null,"abstract":"This paper describes the application of a parallel genetic algorithm that solves the weekly timetable construction problem for elementary schools. Timetable construction is NP-complete and highly constrained problem, and therefore represents a computationally intensive task. A Parallel Genetic Algorithm (PGA) is proposed with specific methods for chromosome representation and fitness evaluation, and specific recombination and mutation operators. The proposed solution uses a coarse grained PGA, which is suitable for execution on a Beowulf cluster. Experimental results are provided, with a comparison of serial and parallel execution times for the same algorithm.","PeriodicalId":211842,"journal":{"name":"2009 XXII International Symposium on Information, Communication and Automation Technologies","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2009-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121966060","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
Perception-based image editing 基于感知的图像编辑
D. Gutierrez
Image editing and post-processing techniques have matured over the years, making it difficult (verging on impossi­ble) to assess whether an image has been digitally enhanced or doctored somehow. However, complex manipulations still rely on skilled user input, painstakingly painting over pixels. We present our recent and on-going work on advanced image editing techniques, extending current tools by leveraging the limitations of the human visual system and the wealth of information available in a high dynamic range image. Working in perceptual space, psychophysics plays an important role in assessing the validity of the results.
多年来,图像编辑和后期处理技术已经成熟,这使得很难(几乎不可能)评估图像是否被数字增强或以某种方式篡改。然而,复杂的操作仍然依赖于熟练的用户输入,煞费苦心地绘制像素。我们介绍了我们最近和正在进行的高级图像编辑技术的工作,通过利用人类视觉系统的局限性和高动态范围图像中可用的丰富信息来扩展当前的工具。心理物理学在感知空间中工作,在评估结果的有效性方面起着重要作用。
{"title":"Perception-based image editing","authors":"D. Gutierrez","doi":"10.1109/ICAT.2009.5348457","DOIUrl":"https://doi.org/10.1109/ICAT.2009.5348457","url":null,"abstract":"Image editing and post-processing techniques have matured over the years, making it difficult (verging on impossi­ble) to assess whether an image has been digitally enhanced or doctored somehow. However, complex manipulations still rely on skilled user input, painstakingly painting over pixels. We present our recent and on-going work on advanced image editing techniques, extending current tools by leveraging the limitations of the human visual system and the wealth of information available in a high dynamic range image. Working in perceptual space, psychophysics plays an important role in assessing the validity of the results.","PeriodicalId":211842,"journal":{"name":"2009 XXII International Symposium on Information, Communication and Automation Technologies","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2009-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132360724","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
Applying REMES behavioral modeling to PLC systems REMES行为建模在PLC系统中的应用
Aneta Vulgarakis, Aida Čaušević
Programmable logic controllers (PLCs), as a specialized type of embedded systems, have been introduced to increase system flexibility and reliability, but at the same time to give faster response time and lower cost of implementation. In the beginning, their use brought a revolutionary change, but with the constant growth of system complexity, it became harder to guarantee both functional and extra functional properties, as early as possible in the development process. In this paper, we show how formal methods can be applied to describe PLC-based systems and illustrate it on an example of a car wash system. First, we show how the existing behavioral modeling language REMES (resource model for embedded systems) can be extended to model the behavior of such systems. Second, we show how Remes can be translated into networks of timed automata and priced timed automata in order to support safety and resource-wise reasoning about PLC systems. The formal verification of PLC systems is carried out in the Uppaal and Uppaal Cora tools.
可编程逻辑控制器(plc)作为嵌入式系统的一种特殊类型,已被引入以增加系统的灵活性和可靠性,但同时提供更快的响应时间和更低的实施成本。一开始,它们的使用带来了革命性的变化,但随着系统复杂性的不断增长,在开发过程中尽早保证功能和额外功能属性变得越来越困难。在本文中,我们展示了如何应用形式化方法来描述基于plc的系统,并以洗车系统为例进行了说明。首先,我们展示了如何扩展现有的行为建模语言REMES(嵌入式系统的资源模型)来对此类系统的行为进行建模。其次,我们展示了如何将Remes转换为时间自动机和定价时间自动机网络,以支持PLC系统的安全和资源明智推理。PLC系统的形式化验证在Uppaal和Uppaal Cora工具中进行。
{"title":"Applying REMES behavioral modeling to PLC systems","authors":"Aneta Vulgarakis, Aida Čaušević","doi":"10.1109/ICAT.2009.5348453","DOIUrl":"https://doi.org/10.1109/ICAT.2009.5348453","url":null,"abstract":"Programmable logic controllers (PLCs), as a specialized type of embedded systems, have been introduced to increase system flexibility and reliability, but at the same time to give faster response time and lower cost of implementation. In the beginning, their use brought a revolutionary change, but with the constant growth of system complexity, it became harder to guarantee both functional and extra functional properties, as early as possible in the development process. In this paper, we show how formal methods can be applied to describe PLC-based systems and illustrate it on an example of a car wash system. First, we show how the existing behavioral modeling language REMES (resource model for embedded systems) can be extended to model the behavior of such systems. Second, we show how Remes can be translated into networks of timed automata and priced timed automata in order to support safety and resource-wise reasoning about PLC systems. The formal verification of PLC systems is carried out in the Uppaal and Uppaal Cora tools.","PeriodicalId":211842,"journal":{"name":"2009 XXII International Symposium on Information, Communication and Automation Technologies","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2009-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133729446","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
Design and implementation of the CAN based elevator control system 基于CAN的电梯控制系统的设计与实现
S. Huseinbegović, S. Kreso, O. Tanovic
In this paper we present a design and implementation of a modern elevator control system. The conventional elevator control system has several disadvantages (complicated circuits, a large number of wires, sensitivity to noise, low level security, etc). An alternative to conventional elevator control systems is a distributed elevator control system. This paper describes a network-based elevator control system via Controller Area Network (CAN). We will show the design of a CAN network with message scheduling. This paper presents the results obtained from the experiment on a real model, i.e. the CAN based elevator control system.
本文介绍了一种现代电梯控制系统的设计与实现。传统的电梯控制系统存在电路复杂、线路多、噪声敏感、安全性低等缺点。分布式电梯控制系统是传统电梯控制系统的一种替代方案。本文介绍了一种基于控制器局域网(CAN)的网络电梯控制系统。我们将展示具有消息调度的CAN网络的设计。本文给出了在基于CAN的电梯控制系统的实际模型上的实验结果。
{"title":"Design and implementation of the CAN based elevator control system","authors":"S. Huseinbegović, S. Kreso, O. Tanovic","doi":"10.1109/ICAT.2009.5348404","DOIUrl":"https://doi.org/10.1109/ICAT.2009.5348404","url":null,"abstract":"In this paper we present a design and implementation of a modern elevator control system. The conventional elevator control system has several disadvantages (complicated circuits, a large number of wires, sensitivity to noise, low level security, etc). An alternative to conventional elevator control systems is a distributed elevator control system. This paper describes a network-based elevator control system via Controller Area Network (CAN). We will show the design of a CAN network with message scheduling. This paper presents the results obtained from the experiment on a real model, i.e. the CAN based elevator control system.","PeriodicalId":211842,"journal":{"name":"2009 XXII International Symposium on Information, Communication and Automation Technologies","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2009-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114552627","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
期刊
2009 XXII International Symposium on Information, Communication and Automation Technologies
全部 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