Pub Date : 2009-12-04DOI: 10.1109/ICAT.2009.5348440
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.
{"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}
Pub Date : 2009-12-04DOI: 10.1109/ICAT.2009.5348435
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.
{"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}
Pub Date : 2009-12-04DOI: 10.1109/ICAT.2009.5348432
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}
Pub Date : 2009-12-04DOI: 10.1109/ICAT.2009.5348408
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}
Pub Date : 2009-12-04DOI: 10.1109/ICAT.2009.5348437
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.
{"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}
Pub Date : 2009-12-04DOI: 10.1109/ICAT.2009.5348454
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.
{"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}
Pub Date : 2009-12-04DOI: 10.1109/ICAT.2009.5348396
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.
{"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}
Pub Date : 2009-12-04DOI: 10.1109/ICAT.2009.5348457
D. Gutierrez
Image editing and post-processing techniques have matured over the years, making it difficult (verging on impossible) 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 impossible) 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}
Pub Date : 2009-12-04DOI: 10.1109/ICAT.2009.5348453
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.
{"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}
Pub Date : 2009-12-04DOI: 10.1109/ICAT.2009.5348404
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.
{"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}