An Execution Model for Fine-Grained Parallelism in Ada

20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015), 25 to 29, Jun, 2015. Madrid, Spain. Best Paper Award.

Real-Time Fine-Grained Parallelism in Ada

International Real-Time Ada Workshop (IRTAW 2015). 20 to 22, Apr, 2015. Pownal, U.S.A..

Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada

Presented at Work in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 3, Dec, 2015. San Antonio, U.S.A..

Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada

Presented at Work in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 3, Dec, 2015. San Antonio, U.S.A..

Inventário hidrogeológico e dos potenciais focos de contaminação nas bacias hidrográficas da Asprela e Massarelos: implicações no ciclo hidrológico urbano

O desenvolvimento incessante em áreas urbanas ameaça a qualidade e quantidade das águas subterrâneas. O Porto é uma cidade densamente urbanizada, dominada por granitos, os quais constituem um meio fraturado anisotrópico e heterogéneo. O principal objetivo desta dissertação foi realçar a importância da cartografia hidrogeológica, bem como a relevância de realizar inventários hidrogeológicos e de potenciais focos de contaminação para compreender a vulnerabilidade dos sistemas aquíferos na cidade do Porto. Para tal, foram selecionadas as bacias hidrográficas da Asprela e de Massarelos. Assim, foram levados a cabo dois inventários, um hidrogeológico e outro das potenciais atividades de contaminação. O estudo foi apoiado pelos Sistemas de Informação Geográfica (SIG), os quais foram fundamentais para um melhor conhecimento e integração nas áreas de estudo. Previamente à implementação dos inventários foi feita uma caracterização das duas bacias, em termos geográficos, hidroclimatológicos, de ocupação do solo, geomorfológicos e hidrogeológicos. As duas bacias desenvolvem‐se, principalmente, na unidade hidrogeológica do granito de grão médio a fino, por vezes com saprólito. O inventário hidrogeológico contemplou principalmente fontanários e nascentes, tendo incluído, respetivamente, 8 e 21 pontos de água nas bacias da Asprela e de Massarelos. As águas subterrâneas são límpidas, sem turvação ou cheiro, ácidas, com mineralizações baixas a médias, temperaturas baixas e caudais muito pequenos. Quanto aos potenciais focos de contaminação, na bacia da Asprela foram reconhecidos 61, enquanto que na bacia de Massarelos foram identificados 78. A maioria destas atividades é pontual correspondendo, nomeadamente, a estabelecimentos de ensino e estações de serviço/oficinas de automóveis. Contudo, os focos lineares apresentam uma difusão significativa nas duas bacias hidrográficas. Apesar de a vulnerabilidade intrínseca à contaminação das águas subterrâneas nestas áreas ser baixa a moderada, a localização dos potenciais focos de contaminação poderá ser responsável pelo aumento da vulnerabilidade nas duas bacias estudadas. Esta metodologia demonstrou ser extremamente importante para um melhor conhecimento dos sistemas de água subterrânea do Porto e, ainda, da hidrogeologia de áreas urbanas.

Static-priority scheduling over wireless networks with multiple broadcast domains

We propose a wireless medium access control (MAC) protocol that provides static-priority scheduling of messages in a guaranteed collision-free manner. Our protocol supports multiple broadcast domains, resolves the wireless hidden terminal problem and allows for parallel transmissions across a mesh network. Arbitration of messages is achieved without the notion of a master coordinating node, global clock synchronization or out-of-band signaling. The protocol relies on bit-dominance similar to what is used in the CAN bus except that in order to operate on a wireless physical layer, nodes are not required to receive incoming bits while transmitting. The use of bit-dominance efficiently allows for a much larger number of priorities than would be possible using existing wireless solutions. A MAC protocol with these properties enables schedulability analysis of sporadic message streams in wireless multihop networks.

Children’s Indoor Exposures to (Ultra)Fine Particles in an Urban Area: Comparison Between School and Home Environments

Due to their detrimental effects on human health, scientific interest in ultrafine particles (UFP), has been increasing but available information is far from comprehensive. Children, who represent one of the most susceptible subpopulation, spend the majority of time in schools and homes. Thus, the aim of this study is to (1) assess indoor levels of particle number concentrations (PNC) in ultrafine and fine (20–1000 nm) range at school and home environments and (2) compare indoor respective dose rates for 3- to 5-yr-old children. Indoor particle number concentrations in range of 20–1000 nm were consecutively measured during 56 d at two preschools (S1 and S2) and three homes (H1–H3) situated in Porto, Portugal. At both preschools different indoor microenvironments, such as classrooms and canteens, were evaluated. The results showed that total mean indoor PNC as determined for all indoor microenvironments were significantly higher at S1 than S2. At homes, indoor levels of PNC with means ranging between 1.09 × 104 and 1.24 × 104 particles/cm3 were 10–70% lower than total indoor means of preschools (1.32 × 104 to 1.84 × 104 particles/cm3). Nevertheless, estimated dose rates of particles were 1.3- to 2.1-fold higher at homes than preschools, mainly due to longer period of time spent at home. Daily activity patterns of 3- to 5-yr-old children significantly influenced overall dose rates of particles. Therefore, future studies focusing on health effects of airborne pollutants always need to account for children’s exposures in different microenvironments such as homes, schools, and transportation modes in order to obtain an accurate representation of children overall exposure.

Feature Extraction in Densely Sensed Environments: Extensions to Multiple Broadcast Domains

The vision of the Internet of Things (IoT) includes large and dense deployment of interconnected smart sensing and monitoring devices. This vast deployment necessitates collection and processing of large volume of measurement data. However, collecting all the measured data from individual devices on such a scale may be impractical and time consuming. Moreover, processing these measurements requires complex algorithms to extract useful information. Thus, it becomes imperative to devise distributed information processing mechanisms that identify application-specific features in a timely manner and with a low overhead. In this article, we present a feature extraction mechanism for dense networks that takes advantage of dominance-based medium access control (MAC) protocols to (i) efficiently obtain global extrema of the sensed quantities, (ii) extract local extrema, and (iii) detect the boundaries of events, by using simple transforms that nodes employ on their local data. We extend our results for a large dense network with multiple broadcast domains (MBD). We discuss and compare two approaches for addressing the challenges with MBD and we show through extensive evaluations that our proposed distributed MBD approach is fast and efficient at retrieving the most valuable measurements, independent of the number sensor nodes in the network.