Federal University of Santa Catarina

Displaying 1-25 of 25 results

  • White Papers // Mar 2014

    MITRA: Byzantine Fault-Tolerant Middleware for Transaction Processing on Replicated Databases

    Replication is often considered a cost-effective solution for building dependable systems with off-the-shelf hardware. Replication software is usually designed to tolerate crash faults, but Byzantine (or arbitrary) faults such as software bugs are well-known to affect transactional DataBase Management Systems (DBMSs) as many other classes of software. Despite the maturity...

    Provided By Federal University of Santa Catarina

  • White Papers // Feb 2013

    Provisioning and Resource Allocation for Green Clouds

    The aim of Green Cloud Computing is to achieve a balance between the resource consumption and quality of service. In order to achieve this objective and to maintain the flexibility of the cloud, dynamic provisioning and allocation strategies are needed to regulate the internal settings of the cloud to address...

    Provided By Federal University of Santa Catarina

  • White Papers // Sep 2012

    System-Level Verification of Embedded Operating Systems Components

    The increasing complexity of embedded operating systems is pushing their design to System-Level, leading to the convergence between software and hardware. In such scenario, it is highly desirable to verify system properties formally, regardless of whether their components are going to be implemented in software or hardware. In this paper,...

    Provided By Federal University of Santa Catarina

  • White Papers // Aug 2012

    Environment, Services and Network Management for Green Clouds

    Green cloud computing aims at a processing infrastructure that combines flexibility, quality of services, and reduced energy utilisation. In order to achieve this objective, the management solution must regulate the internal settings to address the pressing issue of data centre over provisioning related to the need to match the peak...

    Provided By Federal University of Santa Catarina

  • White Papers // Dec 2011

    An Embedded Operating System API for Monitoring Hardware Events in Multicore Processors

    This paper presents an operating system API for monitoring hardware events specifically designed for embedded systems that use multicore processors. The proposed API uses the concepts from the Application-Driven Embedded System Design (ADESD) to construct a simple and lightweight interface for handling the complexity of today's Performance Monitoring Units (PMUs)....

    Provided By Federal University of Santa Catarina

  • White Papers // Nov 2011

    On the Monitoring of System-Level Energy Consumption of Battery-Powered Embedded Systems

    This paper addresses an approach for accurately measuring energy consumption on battery-powered embedded systems which can be adequately tuned in order to enhance a set of timing and energy consumption metrics for mission critical systems. The authors introduce a software-based accounting scheme which is calibrated by low-precision battery state-of-charge reads...

    Provided By Federal University of Santa Catarina

  • White Papers // Nov 2011

    Run-Time Scratch-Pad Memory Management for Embedded Systems

    Scratch-Pad Memories (SPM) is being increasingly used in embedded systems due to their higher energy and silicon area efficiency in comparison to ordinary caches. However, in order to exploit all of its advantages, efficient memory allocation mechanisms must be provided. In this paper, the authors propose a run-time memory management...

    Provided By Federal University of Santa Catarina

  • White Papers // Sep 2011

    Abstracting Hardware Devices to Embedded Java Applications

    In this paper, the authors introduce a method to interface hardware components with embedded Java applications. Access to hardware devices is an important requirement for embedded software since the embedded system must interact with the environment where it is inserted on. At the same time, the use of very high-level...

    Provided By Federal University of Santa Catarina

  • White Papers // Jul 2011

    Experimental Assessment of Routing for Grid and Cloud

    Grid and Cloud computing technologies are being applied as an affordable method to cluster computational power together. These structures aim to support service applications by grouping devices and shared resources in one large computational unit. However, the management complexity grows proportionally to the number of resources being integrated. The paper...

    Provided By Federal University of Santa Catarina

  • White Papers // Dec 2010

    Self-Configuration and Self-Optimization Process in Heterogeneous Wireless Networks

    Self-organization in Wireless Mesh Networks (WMN) is an emergent research area, which is becoming important due to the increasing number of nodes in a network. Consequently, the manual configuration of nodes is either impossible or highly costly. So it is desirable for the nodes to be able to configure themselves....

    Provided By Federal University of Santa Catarina

  • White Papers // Sep 2010

    A LUA Virtual Machine for Resource-Constrained Embedded Systems

    Embedded systems and high-level languages usually belong to different worlds. It is not easy to fit a language runtime environment to a strongly constrained embedded platform. This porting mostly causes a loss of functionalities. High-level languages need large support from lower-level hardware or software so they can work. This paper...

    Provided By Federal University of Santa Catarina

  • White Papers // Jun 2010

    Supporting Software Services' Trustworthiness in Collaborative Networks

    Collaborative networks realization fundamentally relies on the need of collaboration among involved partners. From the supporting ICT infrastructures point of view, an increasing movement has been observed in direction of the development of applications based on the service oriented architecture paradigm as a way to maximize reuse, to minimize integration...

    Provided By Federal University of Santa Catarina

  • White Papers // Apr 2010

    Multishot Codes for Network Coding Using Rank-Metric Codes

    The multiplicative-additive finite-field matrix channel arises as an adequate model for linear network coding systems when links are subject to errors and erasures, and both the network topology and the network code are unknown. In a previous work the authors proposed a general construction of multishot codes for this channel...

    Provided By Federal University of Santa Catarina

  • White Papers // Jan 2010

    A TestBed for the Evaluation of Link Quality Estimators in Wireless Sensor Networks

    Link quality estimation is a fundamental building block for the design of several different mechanisms and protocols in wireless sensor networks. The accuracy of link quality estimation greatly impacts the efficiency of these protocols. Therefore, a thorough experimental evaluation of Link Quality Estimators (LQEs) is mandatory. This motivated the authors...

    Provided By Federal University of Santa Catarina

  • White Papers // Jan 2010

    ELUS: A Dynamic Software Reconfiguration Infrastructure for Embedded Systems

    Dynamic software reconfiguration is the process of updating the system software during its execution. A dynamic software reconfiguration mechanism for an embedded system must be simple, transparent to applications, and use the minimum amount of resources (e.g. memory, processing) possible, since it shares resources with the target embedded system. The...

    Provided By Federal University of Santa Catarina

  • White Papers // Dec 2009

    A Cloud Computing Solution for Patient's Data Collection in Health Care Institutions

    Existing processes for patients' vital data collection require a great deal of labor work to collect, input and analyze the information. These processes are usually slow and error prone, introducing a latency that prevents real-time data accessibility. This scenario restrains the clinical diagnostics and monitoring capabilities. The authors propose a...

    Provided By Federal University of Santa Catarina

  • White Papers // Dec 2009

    F-LQE: A Fuzzy Link Quality Estimator for Wireless Sensor Networks

    Radio Link Quality Estimation (LQE) is a fundamental building block for Wireless Sensor Networks, namely for a reliable deployment, resource management and routing. Existing LQEs (e.g. PRR, ETX, Fourbit, and LQI) are based on a single link property, thus leading to inaccurate estimation. In this paper, the authors propose F-LQE...

    Provided By Federal University of Santa Catarina

  • White Papers // Nov 2009

    Implementation Techniques for Supporting Component Based Embedded Systems

    Analysis of commonality and variability and proper design and implementation processes in software (and hardware) development is essential for quality, reuse, maintainability and evolution of systems. The use of a careful domain engineering is essential to achieve the level of portability and efficiency demanded by embedded systems. The Application Driven...

    Provided By Federal University of Santa Catarina

  • White Papers // Nov 2009

    Interfacing Operating Systems Components With Embedded Java Applications

    In this paper, the authors show a way to interfacing operating systems components with embedded Java applications. This interfacing is achieved using the foreign function interface of a Java Virtual Machine that does the binding between the Java methods and C functions at compile time. The operating system used provides...

    Provided By Federal University of Santa Catarina

  • White Papers // Aug 2009

    Proactive Byzantine Quorum Systems

    Byzantine quorum systems is a replication technique used to ensure availability and consistency of replicates data even in presence of arbitrary faults. This paper presents a Byzantine quorum systems protocol that provides atomic semantics despite the existence of Byzantine clients and servers. Moreover, this protocol is integrated with a protocol...

    Provided By Federal University of Santa Catarina

  • White Papers // Apr 2009

    Operating System Support for Difference-Based Partial Hardware Reconfiguration

    Initially targeted at rapid prototyping, reconfigurable hardware technologies such as FPGAs have found a way into quickly changing markets during the last decade. For many electronic devices, in-the-field upgrading becomes a must in the face of evolving standards, particularly around multimedia and telecommunications. Meanwhile, the scientific community has taken advantage...

    Provided By Federal University of Santa Catarina

  • White Papers // Feb 2009

    Functional Estimation in Hilbert Space for Distributed Learning In wireless Sensor Networks

    In this paper, the authors propose a distributed learning strategy in wireless sensor networks. Taking advantage of recent developments on kernel-based machine learning, they consider a new sparsification criterion for online learning. As opposed to previously derived criteria, it is based on the estimated error and is therefore is well...

    Provided By Federal University of Santa Catarina

  • White Papers // Jan 2009

    Multishot Codes for Network Coding: Bounds and a Multilevel Construction

    The subspace channel was introduced by Koetter and Kschischang as an adequate model for the communication channel from the source node to a sink node of a multicast network that performs random linear network coding. So far, attention has been given to one-shot subspace codes, that is, codes that use...

    Provided By Federal University of Santa Catarina

  • White Papers // Oct 2008

    An Operating System Infrastructure for Remote Code Update in Deeply Embedded Systems

    Deeply Embedded Systems are designed to perform a determined set of specific tasks, usually on low-cost, high-reliability platforms. In order to support on-site firmware updates, such systems are subject to severe resource limitation, like processing power, memory and energy, since the update mechanism itself must share the sparse resources with...

    Provided By Federal University of Santa Catarina

  • White Papers // May 2008

    Advanced Collaborative Business ICT Infrastructures

    In this paper, the authors points out the need of advanced Collaborative Business ICT Infrastructures (CBI) for CNOs, the requirements for the development of CBIs, and the technologies and trends considering CNO issues. The CBI devised in the ECOLEAD Project is also presented, showing how most of these requirements and...

    Provided By Federal University of Santa Catarina

  • White Papers // Dec 2009

    A Cloud Computing Solution for Patient's Data Collection in Health Care Institutions

    Existing processes for patients' vital data collection require a great deal of labor work to collect, input and analyze the information. These processes are usually slow and error prone, introducing a latency that prevents real-time data accessibility. This scenario restrains the clinical diagnostics and monitoring capabilities. The authors propose a...

    Provided By Federal University of Santa Catarina

  • White Papers // Feb 2009

    Functional Estimation in Hilbert Space for Distributed Learning In wireless Sensor Networks

    In this paper, the authors propose a distributed learning strategy in wireless sensor networks. Taking advantage of recent developments on kernel-based machine learning, they consider a new sparsification criterion for online learning. As opposed to previously derived criteria, it is based on the estimated error and is therefore is well...

    Provided By Federal University of Santa Catarina

  • White Papers // Aug 2009

    Proactive Byzantine Quorum Systems

    Byzantine quorum systems is a replication technique used to ensure availability and consistency of replicates data even in presence of arbitrary faults. This paper presents a Byzantine quorum systems protocol that provides atomic semantics despite the existence of Byzantine clients and servers. Moreover, this protocol is integrated with a protocol...

    Provided By Federal University of Santa Catarina

  • White Papers // Feb 2013

    Provisioning and Resource Allocation for Green Clouds

    The aim of Green Cloud Computing is to achieve a balance between the resource consumption and quality of service. In order to achieve this objective and to maintain the flexibility of the cloud, dynamic provisioning and allocation strategies are needed to regulate the internal settings of the cloud to address...

    Provided By Federal University of Santa Catarina

  • White Papers // Jan 2009

    Multishot Codes for Network Coding: Bounds and a Multilevel Construction

    The subspace channel was introduced by Koetter and Kschischang as an adequate model for the communication channel from the source node to a sink node of a multicast network that performs random linear network coding. So far, attention has been given to one-shot subspace codes, that is, codes that use...

    Provided By Federal University of Santa Catarina

  • White Papers // Jan 2010

    A TestBed for the Evaluation of Link Quality Estimators in Wireless Sensor Networks

    Link quality estimation is a fundamental building block for the design of several different mechanisms and protocols in wireless sensor networks. The accuracy of link quality estimation greatly impacts the efficiency of these protocols. Therefore, a thorough experimental evaluation of Link Quality Estimators (LQEs) is mandatory. This motivated the authors...

    Provided By Federal University of Santa Catarina

  • White Papers // Apr 2010

    Multishot Codes for Network Coding Using Rank-Metric Codes

    The multiplicative-additive finite-field matrix channel arises as an adequate model for linear network coding systems when links are subject to errors and erasures, and both the network topology and the network code are unknown. In a previous work the authors proposed a general construction of multishot codes for this channel...

    Provided By Federal University of Santa Catarina

  • White Papers // Dec 2009

    F-LQE: A Fuzzy Link Quality Estimator for Wireless Sensor Networks

    Radio Link Quality Estimation (LQE) is a fundamental building block for Wireless Sensor Networks, namely for a reliable deployment, resource management and routing. Existing LQEs (e.g. PRR, ETX, Fourbit, and LQI) are based on a single link property, thus leading to inaccurate estimation. In this paper, the authors propose F-LQE...

    Provided By Federal University of Santa Catarina

  • White Papers // Jul 2011

    Experimental Assessment of Routing for Grid and Cloud

    Grid and Cloud computing technologies are being applied as an affordable method to cluster computational power together. These structures aim to support service applications by grouping devices and shared resources in one large computational unit. However, the management complexity grows proportionally to the number of resources being integrated. The paper...

    Provided By Federal University of Santa Catarina

  • White Papers // Dec 2010

    Self-Configuration and Self-Optimization Process in Heterogeneous Wireless Networks

    Self-organization in Wireless Mesh Networks (WMN) is an emergent research area, which is becoming important due to the increasing number of nodes in a network. Consequently, the manual configuration of nodes is either impossible or highly costly. So it is desirable for the nodes to be able to configure themselves....

    Provided By Federal University of Santa Catarina

  • White Papers // Aug 2012

    Environment, Services and Network Management for Green Clouds

    Green cloud computing aims at a processing infrastructure that combines flexibility, quality of services, and reduced energy utilisation. In order to achieve this objective, the management solution must regulate the internal settings to address the pressing issue of data centre over provisioning related to the need to match the peak...

    Provided By Federal University of Santa Catarina

  • White Papers // Jan 2010

    ELUS: A Dynamic Software Reconfiguration Infrastructure for Embedded Systems

    Dynamic software reconfiguration is the process of updating the system software during its execution. A dynamic software reconfiguration mechanism for an embedded system must be simple, transparent to applications, and use the minimum amount of resources (e.g. memory, processing) possible, since it shares resources with the target embedded system. The...

    Provided By Federal University of Santa Catarina

  • White Papers // Sep 2010

    A LUA Virtual Machine for Resource-Constrained Embedded Systems

    Embedded systems and high-level languages usually belong to different worlds. It is not easy to fit a language runtime environment to a strongly constrained embedded platform. This porting mostly causes a loss of functionalities. High-level languages need large support from lower-level hardware or software so they can work. This paper...

    Provided By Federal University of Santa Catarina

  • White Papers // Nov 2009

    Implementation Techniques for Supporting Component Based Embedded Systems

    Analysis of commonality and variability and proper design and implementation processes in software (and hardware) development is essential for quality, reuse, maintainability and evolution of systems. The use of a careful domain engineering is essential to achieve the level of portability and efficiency demanded by embedded systems. The Application Driven...

    Provided By Federal University of Santa Catarina

  • White Papers // Nov 2009

    Interfacing Operating Systems Components With Embedded Java Applications

    In this paper, the authors show a way to interfacing operating systems components with embedded Java applications. This interfacing is achieved using the foreign function interface of a Java Virtual Machine that does the binding between the Java methods and C functions at compile time. The operating system used provides...

    Provided By Federal University of Santa Catarina

  • White Papers // Oct 2008

    An Operating System Infrastructure for Remote Code Update in Deeply Embedded Systems

    Deeply Embedded Systems are designed to perform a determined set of specific tasks, usually on low-cost, high-reliability platforms. In order to support on-site firmware updates, such systems are subject to severe resource limitation, like processing power, memory and energy, since the update mechanism itself must share the sparse resources with...

    Provided By Federal University of Santa Catarina

  • White Papers // Apr 2009

    Operating System Support for Difference-Based Partial Hardware Reconfiguration

    Initially targeted at rapid prototyping, reconfigurable hardware technologies such as FPGAs have found a way into quickly changing markets during the last decade. For many electronic devices, in-the-field upgrading becomes a must in the face of evolving standards, particularly around multimedia and telecommunications. Meanwhile, the scientific community has taken advantage...

    Provided By Federal University of Santa Catarina

  • White Papers // Sep 2012

    System-Level Verification of Embedded Operating Systems Components

    The increasing complexity of embedded operating systems is pushing their design to System-Level, leading to the convergence between software and hardware. In such scenario, it is highly desirable to verify system properties formally, regardless of whether their components are going to be implemented in software or hardware. In this paper,...

    Provided By Federal University of Santa Catarina

  • White Papers // Nov 2011

    Run-Time Scratch-Pad Memory Management for Embedded Systems

    Scratch-Pad Memories (SPM) is being increasingly used in embedded systems due to their higher energy and silicon area efficiency in comparison to ordinary caches. However, in order to exploit all of its advantages, efficient memory allocation mechanisms must be provided. In this paper, the authors propose a run-time memory management...

    Provided By Federal University of Santa Catarina

  • White Papers // Nov 2011

    On the Monitoring of System-Level Energy Consumption of Battery-Powered Embedded Systems

    This paper addresses an approach for accurately measuring energy consumption on battery-powered embedded systems which can be adequately tuned in order to enhance a set of timing and energy consumption metrics for mission critical systems. The authors introduce a software-based accounting scheme which is calibrated by low-precision battery state-of-charge reads...

    Provided By Federal University of Santa Catarina

  • White Papers // Dec 2011

    An Embedded Operating System API for Monitoring Hardware Events in Multicore Processors

    This paper presents an operating system API for monitoring hardware events specifically designed for embedded systems that use multicore processors. The proposed API uses the concepts from the Application-Driven Embedded System Design (ADESD) to construct a simple and lightweight interface for handling the complexity of today's Performance Monitoring Units (PMUs)....

    Provided By Federal University of Santa Catarina

  • White Papers // Sep 2011

    Abstracting Hardware Devices to Embedded Java Applications

    In this paper, the authors introduce a method to interface hardware components with embedded Java applications. Access to hardware devices is an important requirement for embedded software since the embedded system must interact with the environment where it is inserted on. At the same time, the use of very high-level...

    Provided By Federal University of Santa Catarina

  • White Papers // Jun 2010

    Supporting Software Services' Trustworthiness in Collaborative Networks

    Collaborative networks realization fundamentally relies on the need of collaboration among involved partners. From the supporting ICT infrastructures point of view, an increasing movement has been observed in direction of the development of applications based on the service oriented architecture paradigm as a way to maximize reuse, to minimize integration...

    Provided By Federal University of Santa Catarina

  • White Papers // Mar 2014

    MITRA: Byzantine Fault-Tolerant Middleware for Transaction Processing on Replicated Databases

    Replication is often considered a cost-effective solution for building dependable systems with off-the-shelf hardware. Replication software is usually designed to tolerate crash faults, but Byzantine (or arbitrary) faults such as software bugs are well-known to affect transactional DataBase Management Systems (DBMSs) as many other classes of software. Despite the maturity...

    Provided By Federal University of Santa Catarina

  • White Papers // May 2008

    Advanced Collaborative Business ICT Infrastructures

    In this paper, the authors points out the need of advanced Collaborative Business ICT Infrastructures (CBI) for CNOs, the requirements for the development of CBIs, and the technologies and trends considering CNO issues. The CBI devised in the ECOLEAD Project is also presented, showing how most of these requirements and...

    Provided By Federal University of Santa Catarina