WCET analysis considering contention on memory bus in COTS-based multicores

The usage of COTS-based multicores is becoming widespread in the field of embedded systems. Providing realtime guarantees at design-time is a pre-requisite to deploy real-time systems on these multicores. This necessitates the consideration of the impact of the contention due to shared low-level hardware resources on the Worst-Case Execution Time (WCET) of the tasks. As a step towards this aim, this paper first identifies the different factors that make the WCET analysis a challenging problem in a typical COTS-based multicore system. Then, we propose and prove, a mathematically correct method to determine tight upper bounds on the WCET of the tasks, when they are co-scheduled on different cores.

Response time analysis of COTS-Based multicores considering the contention on the shared memory bus

The current industry trend is towards using Commercially available Off-The-Shelf (COTS) based multicores for developing real time embedded systems, as opposed to the usage of custom-made hardware. In typical implementation of such COTS-based multicores, multiple cores access the main memory via a shared bus. This often leads to contention on this shared channel, which results in an increase of the response time of the tasks. Analyzing this increased response time, considering the contention on the shared bus, is challenging on COTS-based systems mainly because bus arbitration protocols are often undocumented and the exact instants at which the shared bus is accessed by tasks are not explicitly controlled by the operating system scheduler; they are instead a result of cache misses. This paper makes three contributions towards analyzing tasks scheduled on COTS-based multicores. Firstly, we describe a method to model the memory access patterns of a task. Secondly, we apply this model to analyze the worst case response time for a set of tasks. Although the required parameters to obtain the request profile can be obtained by static analysis, we provide an alternative method to experimentally obtain them by using performance monitoring counters (PMCs). We also compare our work against an existing approach and show that our approach outperforms it by providing tighter upper-bound on the number of bus requests generated by a task.

Finding an upper bound on the increase in execution time due to contention on the memory bus in COTS-based multicore systems

Contention on the memory bus in COTS based multicore systems is becoming a major determining factor of the execution time of a task. Analyzing this extra execution time is non-trivial because (i) bus arbitration protocols in such systems are often undocumented and (ii) the times when the memory bus is requested to be used are not explicitly controlled by the operating system scheduler; they are instead a result of cache misses. We present a method for finding an upper bound on the extra execution time of a task due to contention on the memory bus in COTS based multicore systems. This method makes no assumptions on the bus arbitration protocol (other than assuming that it is work-conserving).

Violence against metropolitan bus drivers and fare collectors in Brazil

OBJECTIVE To analyze the correlation between sociodemographic factors and working conditions of bus workers in a metropolitan area and violence against them.METHODS This cross-sectional study used a nonprobabilistic sample estimated according to the number of workers employed in bus companies located in three cities in the Belo Horizonte metropolitan region in 2012 (N = 17,470). Face-to-face interviews were conducted using a digital questionnaire. The factors associated with violence were analyzed in two stages using Poisson regression, according to each level. The magnitude of the association was evaluated using prevalence ratios with robust variance and a statistical significance of 5%, and 95% confidence intervals were obtained.RESULTS The study sample comprised 782 drivers and 691 fare collectors; 45.0% participants reported at least one act of violence in the workplace in the last 12 months, with passengers being predominantly responsible. The age of the bus workers was inversely associated with violence. Chronic diseases, sickness absenteeism, and working conditions were also associated with violence.CONCLUSIONS The findings on the correlation between violence and working conditions are essential for implementing prevention strategies by transportation service managers.

Inverse dynamics based predictive control for unified power flow controllers without DC bus

This paper presents a new predictive digital control method applied to Matrix Converters (MC) operating as Unified Power Flow Controllers (UPFC). This control method, based on the inverse dynamics model equations of the MC operating as UPFC, just needs to compute the optimal control vector once in each control cycle, in contrast to direct dynamics predictive methods that needs 27 vector calculations. The theoretical principles of the inverse dynamics power flow predictive control of the MC based UPFC with input filter are established. The proposed inverse dynamics predictive power control method is tested using Matlab/Simulink Power Systems toolbox and the obtained results show that the designed power controllers guarantees decoupled active and reactive power control, zero error tracking, fast response times and an overall good dynamic and steady-state response.

A public transport bus assignment problem: parallel metaheuristics assessment

Combinatorial Optimization Problems occur in a wide variety of contexts and generally are NP-hard problems. At a corporate level solving this problems is of great importance since they contribute to the optimization of operational costs. In this thesis we propose to solve the Public Transport Bus Assignment problem considering an heterogeneous fleet and line exchanges, a variant of the Multi-Depot Vehicle Scheduling Problem in which additional constraints are enforced to model a real life scenario. The number of constraints involved and the large number of variables makes impracticable solving to optimality using complete search techniques. Therefore, we explore metaheuristics, that sacrifice optimality to produce solutions in feasible time. More concretely, we focus on the development of algorithms based on a sophisticated metaheuristic, Ant-Colony Optimization (ACO), which is based on a stochastic learning mechanism. For complex problems with a considerable number of constraints, sophisticated metaheuristics may fail to produce quality solutions in a reasonable amount of time. Thus, we developed parallel shared-memory (SM) synchronous ACO algorithms, however, synchronism originates the straggler problem. Therefore, we proposed three SM asynchronous algorithms that break the original algorithm semantics and differ on the degree of concurrency allowed while manipulating the learned information. Our results show that our sequential ACO algorithms produced better solutions than a Restarts metaheuristic, the ACO algorithms were able to learn and better solutions were achieved by increasing the amount of cooperation (number of search agents). Regarding parallel algorithms, our asynchronous ACO algorithms outperformed synchronous ones in terms of speedup and solution quality, achieving speedups of 17.6x. The cooperation scheme imposed by asynchronism also achieved a better learning rate than the original one.

Control de instrumentos mediante el bus GPIB programado con MATLAB

El proyecto que se expone a continuación está dedicado al control de instrumentos mediante el bus de instrumentación GPIB programado con el software Matlab. Está dividido en dos partes. La primera, será llevada a cabo en el laboratorio de docencia y el objetivo será controlar el osciloscopio y el generador de funciones. Como ejemplo del control realizado se desarrollará una aplicación que permitirá obtener el diagrama de Bode de módulo de cualquier sistema electrónico. La segunda parte será llevada a cabo en el laboratorio de investigación y el objetivo será controlar el analizador de semiconductores. En este caso, la aplicación desarrollada permitirá la realización de medidas para la caracterización de transistores. Las aplicaciones de ambas partes estarán realizadas mediante una interfaz gráfica de usuario diseñada con la herramienta GUIDE de Matlab.

La força de prensió manual com a factor pronòstic de mortalitat en pacients oncològics terminals a una unitat de cures pal•liatives.

L’objectiu de l’estudi va ser determinar si la força de prensió manual (FPM) era factor pronòstic de mortalitat en malalts amb càncer avançant ingressats a una Unitat de cures pal•liatives (UCP). Es va determinar la força de prensió a l’ingrés i l’evolució de la FPM els primers 12 dies mitjançant un dinamòmetre. Ni la FPM inicial ni a l’evolució va demostrar diferències significatives entre els malalts donats d’alta vius i els que van morir a la UCP. Conclusions: la determinació de FPM no va ser factor pronòstic de supervivència en malalts ingressats per càncer en una UCP.

Eina que permet, en temps real, poder saber l'estock de terminals de telèfons mòbils existents en un determinat magatzem.

El projecte es desenvoluparà en format web i seguint l'estàndar J2EE, dins del què podríem anomenar MVC1, de manera que la seva consulta es pugui fer en línia aprofitant les noves tecnologies i l'accés a internet.

SNARE protein expression in synaptic terminals and astrocytes in the adult hippocampus: a comparative analysis.

Several evidences suggest that astrocytes release small transmitter molecules, peptides, and protein factors via regulated exocytosis, implying that they function as specialized neurosecretory cells. However, very little is known about the molecular and functional properties of regulated secretion in astrocytes in the adult brain. Establishing these properties is central to the understanding of the communication mode(s) of these cells and their role(s) in the control of synaptic functions and of cerebral blood flow. In this study, we have set-up a high-resolution confocal microscopy approach to distinguish protein expression in astrocytic structures and neighboring synaptic terminals in adult brain tissue. This approach was applied to investigate the expression pattern of core SNARE proteins for vesicle fusion in the dentate gyrus and CA1 regions of the mouse hippocampus. Our comparative analysis shows that astrocytes abundantly express, in their cell body and main processes, all three protein partners necessary to form an operational SNARE complex but not in the same isoforms expressed in neighbouring synaptic terminals. Thus, SNAP25 and VAMP2 are absent from astrocytic processes and typically concentrated in terminals, while SNAP23 and VAMP3 have the opposite expression pattern. Syntaxin 1 is present in both synaptic terminals and astrocytes. These data support the view that astrocytes in the adult hippocampus can communicate via regulated exocytosis and also indicates that astrocytic exocytosis may differ in its properties from action potential-dependent exocytosis at neuronal synapses, as it relies on a distinctive set of SNARE proteins.

Nouveaux autobus, 12 places sur la plate-forme [place St Michel, départ du bus allant à Montmartre] : [photographie de presse] / [Agence Rol]

Référence bibliographique : Rol, 57110

Residus reciclables o deixalles terminals?

El nostre projecte consisteix en l’anàlisi econòmic de les polítiques públiques de gestió de residus exclusivament municipals. Pretenem, mitjançant l’anàlisi d’un municipi representatiu com és Sant Cugat, dissenyar un sistema de reciclatge -adaptat a aquesta localitat en concret- que sigui el més eficaç possible, incrementant les quantitats recollides i controlant els costos tot i tenint en compte les preferències dels propis usuaris.Amb això, pretenem cercar la fórmula més exacta possible, adaptable a cada tipus de municipi (edificació vertical o horitzontal, extensió, densitat de població, etc.), per tal que els nivells de reciclatge del nostre país arribin a ser equiparables als europeus, avui encara molt llunyans.Tot i que valorem molts sistemes de reciclatge ja existents, ens centrem prioritàriament en l’estudi del Porta A Porta (PAP), el qual creiem el més adequat per a Sant Cugat després d’haver analitzat estadísticament el que opinen els ciutadans mitjançant unes enquestes, així com dades oficials de poblacions on ja hi està implementat.No obstant això, després d’haver comprovat que la satisfacció real dels usuaris del PAP a Vilassar de Mar, on hi funciona des de 2003, no és la que seria d’esperar, hem reflexionat sobre les causes i les solucions possibles a aquests problemes, de manera que ho puguem evitar de cara a crear el sistema per a la població objecte del nostre treball.

Contrasting the functional properties of GABAergic axon terminals with single and multiple synapses in the thalamus

Diverse sources of GABAergic inhibition are a major feature of cortical networks, but distinct inhibitory input systems have not been systematically characterized in the thalamus. Here, we contrasted the properties of two independent GABAergic pathways in the posterior thalamic nucleus of rat, one input from the reticular thalamic nucleus (nRT), and one "extrareticular" input from the anterior pretectal nucleus (APT). The vast majority of nRT-thalamic terminals formed single synapses per postsynaptic target and innervated thin distal dendrites of relay cells. In contrast, single APT-thalamic terminals formed synaptic contacts exclusively via multiple, closely spaced synapses on thick relay cell dendrites. Quantal analysis demonstrated that the two inputs displayed comparable quantal amplitudes, release probabilities, and multiple release sites. The morphological and physiological data together indicated multiple, single-site contacts for nRT and multisite contacts for APT axons. The contrasting synaptic arrangements of the two pathways were paralleled by different short-term plasticities. The multisite APT-thalamic pathway showed larger charge transfer during 50-100 Hz stimulation compared with the nRT pathway and a greater persistent inhibition accruing during stimulation trains. Our results demonstrate that the two inhibitory systems are morpho-functionally distinct and suggest and that multisite GABAergic terminals are tailored for maintained synaptic inhibition even at high presynaptic firing rates. These data explain the efficacy of extrareticular inhibition in timing relay cell activity in sensory and motor thalamic nuclei. Finally, based on the classic nomenclature and the difference between reticular and extrareticular terminals, we define a novel, multisite GABAergic terminal type (F3) in the thalamus.

Metaheuristics for the bus-driver scheduling problem

We present new metaheuristics for solving real crew scheduling problemsin a public transportation bus company. Since the crews of thesecompanies are drivers, we will designate the problem by the bus-driverscheduling problem. Crew scheduling problems are well known and severalmathematical programming based techniques have been proposed to solvethem, in particular using the set-covering formulation. However, inpractice, there exists the need for improvement in terms of computationalefficiency and capacity of solving large-scale instances. Moreover, thereal bus-driver scheduling problems that we consider can present variantaspects of the set covering, as for example a different objectivefunction, implying that alternative solutions methods have to bedeveloped. We propose metaheuristics based on the following approaches:GRASP (greedy randomized adaptive search procedure), tabu search andgenetic algorithms. These metaheuristics also present some innovationfeatures based on and genetic algorithms. These metaheuristics alsopresent some innovation features based on the structure of the crewscheduling problem, that guide the search efficiently and able them tofind good solutions. Some of these new features can also be applied inthe development of heuristics to other combinatorial optimizationproblems. A summary of computational results with real-data problems ispresented.

School Bus Safety Study: Kadyn’s Law, December 2012

In 2012, the Iowa legislature passed a bill for an act relating to school bus safety, including providing penalties for failure to obey school bus warning lamps and stop signal arms, providing for a school bus safety study and administrative remedies, and making an appropriation. The bill, referred to as Iowa Senate File (SF) 2218 or “Kadyn’s Law,” became effective March 16, 2012. A multiagency committee addressed three specific safety study elements of Kadyn’s Law as follows: * Use of cameras mounted on school buses to enhance the safety of children riding the buses and aid in enforcement of motor vehicle laws pertaining to stop-arm violations * Feasibility of requiring school children to be picked up and dropped off on the side of the road on which their home is located * Inclusion of school bus safety as a priority in driver training curriculum This report summarizes the findings for each of these topics.