Students

A very short description of students' work is given. Direct access to their dissertation/thesis, when available, is provided. 

Current Ph.D. students

    Flávia Maristela Santos Nascimento, 2010--. Flávia is searching for flexible scheduling solutions to provide fault-tolerance in multiprocessor real-time systems.
 
    José Augusto Matos Santos Jr., 2012--. José's thesis is on least upper bounds on multiprocessor scheduling.

Former Ph.D. students

   Fernando Garcia Nicodemos, 2011-- (co-supervisor, in cooperation with Dr. Osamu Saotome, ITA). His thesis is on efficient FPGA-based scheduler implementation for Sattelite systems.

    Ernesto Massa, 2009--. Ernesto has been working on the use of  reservation processing bandwidth for providing better schedulability on multiprocessor real-time systems. He is also addressing the problem of achieving optimality for the multiprocessor real-time scheduling problem.
 
   Ríad Mattos Nassiffe, 2011--. (co-supervisor, in cooperation with Dr. Eduardo Camponogara, UFSC). Following his results obtained in his MSc dissertation, Ríad is addressing optimization heuristics for optimizing QoS taking into consideration both schedulability and energy constraints. 

   Paul Denis Etienne Regnier, 2009-2012
Paul's work is focused on new optimal solutions for the scheduling problem in multiprocessor real-time systems. Optimality is achieved via reducing the scheduling problem in multiprocessors to a series of problems in uniprocessor systems, a piece of work described in his Ph.D. thesis.

Current MSc students

    None at the moment...

Former MSc students

    José Augusto Matos Santos Jr., 2010-2012. José's dissertation was on deriving low-overhead scheduling policies for solving the real-time multiprocessor scheduling problem. The main results of this work are described in his dissertation [in Portuguese].

    Antônio Marcos Lopez Fernandez Carianha, 2009-2011. In his dissertation, Antônio Marcos described a new approach to improve privacy-location in Mix-zones for VANETs. 

    Ríad Mattos Nassiffe, 2009-2010. [in cooperation with Dr.Eduardo Camponogara, UFSC]. The problem of dynamic reconfiguration in adaptive energy-aware real-time systems was addressed by Ríad and is described in his dissertation

    Ricardo Perrone da Silva, 2007-2009. [in cooperation with Dr.Raimundo Macêdo, UFBA]. In his dissertationRicardo addressed the problem of applying measurements for deriving the execution time probability distribution of real-time tasks in component-based real-time middleware. [in Portuguese] 

    Augusto Born de Oliveira, 2008-2009. [in cooperation with Dr.Eduardo Camponogara, UFSC]. A framework for dynamic reconfiguration in adaptive real-time systems was proposed. Optimization algorithms and heuristics were developted for optimizing system QoS assuming that the system has multiple operation modes. His dissertation is available [in Portuguese]. 

    Flávia Maristela Santos Nascimento, 2007-2009Flávia used statistical analysis for determining the fault-resilience of real-time systems. A simulation-based strategy was used to generate fault-scenarios for a given system, as described in her dissertation

    André Muniz, 2008-2009. [in cooperation with Dr. Aline Maria Santos Andrade]. André developted TANGRAM, a tool for helping designers in formally verifying real-time component-based systems. Making use of TANGRAM, designers are able to translate UML specification to UPPAAL timed automata. You can check TANGRAM description here [In Portuguese]

    Paul Denis Etienne Regnier, 2007-2008Paul developed a Ethernet-based protocol with real-time guarantees, called DoRiS. The protocol specification was formally described and verified with TLA, Temporal Logic of Actions. DoRiS was implemented for Xenomai operating systems.

    Ana Carolina Sokolonski Ferreira, 2007-2008Assuming that real-time are comprised of a multi-version tasks, Ana addressed the problem of selecting at run-time tasks' versions so that QoS is maximized subject to schedulability constraints. Her dissertation is available [in Portuguese]

    Frederico J. R. Barboza, 2003-2006. [in cooperation with Dr. Aline Maria Santos Andrade]. Frederico specified the IEEE 802.11 protocol in UPPAAL. His purpose was to check to what extent this protocol is able to provide real-time guarantees.

Current Undergrad students

    None at the moment...

Former Undergrad students


    Felipe Oliveira dos Santos, and Heitor Farias Melo, 2012--. Felipe's and Heitors' work was on evaluating and comparing real-time scheduling algorithms. 

    Felipe Augusto Queiroz de Cerqueira, 2010-2012. Felipe has studied two new real-time scheduling algorithms for multiprocessors architectures, both developed at UFBA. In this first year of studies, Felipe simulated the behavour of the RUN algorithm when soft real-time tasks were considered. Then, he implemented and evaluated Hime using LITMUS kernel, results described in his undergrad dissertation [in Portuguese].  

    Nailton Gonzaga dos Santos, 2009. Nailton carried out experimental comparisons between capacity sharing mechanisms for some processing bandwidth reservation schemes. His findings can be seen accessed here [in Portuguese]

    José Augusto Matos Santos Jr, 2008-2009. First, José studied the Xenomai Kernel and then implemented in its kernel the EDF scheduling policy.Evaluation experiments were also conducted. This work is summarized in his undergrad dissertation [in Portuguese]. 

    Antônio Marcos Lopez Fernandez Carianha, 2007-2008. Antônio worked on the implementation of a new Ethernet-based real-time protocol on the Xenomai kernel using the RTnet architecture, which can be seen in his undergrad dissertation [in Portuguese].

    Edson Félix Barbosa, 2006. Edson studied the use of Ethernet for real-time purposes and presented a descriptive essay about about this issue.

    Liliane Santos, 2006. The study carried out by Liliane was on scheduling analysis. In her essay, she presented 
TESTeR, a simple and didactic tool for analyzing the schedulability of task sets.  

    Carlos Eduardo Benevides Bezerra, 2006. The main interest of Carlos was on verifying to what extent IEEE 802.11 protocol could be used as a communication infra-structure for multiplayer games. Aspects related to QoS and real-time capabilities were considered in his essay.

    Ana Carolina Sokolonski, 2005. The focus of Ana's study was on checking to what extent aperiodic servers could be used to carry out error-recovery actions in real-time systems. The experiments and results were described here [in Portuguese] 

    Gisélia Magalhães Cruz, 2005. Gisélia studied some scheduling policies and schedulability analysis techiniues. Then she carried out simulation experiments to compare them. 

    Helton Emanuel Reis Santana, 2005. His study was on flexible scheduling policies for real-time systems.