Operating System Contribution to Composable Timing Behaviour in High-Integrity Real-Time Systems

The development of High-Integrity Real-Time Systems has a high footprint in terms of human, material and schedule costs. Factoring functional, reusable logic in the application favors incremental development and contains costs. Yet, achieving incrementality in the timing behavior is a much harder problem. Complex features at all levels of the execution stack, aimed to boost average-case performance, exhibit timing behavior highly dependent on execution history, which wrecks time composability and incrementaility with it. Our goal here is to restitute time composability to the execution stack, working bottom up across it. We first characterize time composability without making assumptions on the system architecture or the software deployment to it. Later, we focus on the role played by the real-time operating system in our pursuit. Initially we consider single-core processors and, becoming less permissive on the admissible hardware features, we devise solutions that restore a convincing degree of time composability. To show what can be done for real, we developed TiCOS, an ARINC-compliant kernel, and re-designed ORK+, a kernel for Ada Ravenscar runtimes. In that work, we added support for limited-preemption to ORK+, an absolute premiere in the landscape of real-word kernels. Our implementation allows resource sharing to co-exist with limited-preemptive scheduling, which extends state of the art. We then turn our attention to multicore architectures, first considering partitioned systems, for which we achieve results close to those obtained for single-core processors. Subsequently, we shy away from the over-provision of those systems and consider less restrictive uses of homogeneous multiprocessors, where the scheduling algorithm is key to high schedulable utilization. To that end we single out RUN, a promising baseline, and extend it to SPRINT, which supports sporadic task sets, hence matches real-world industrial needs better. To corroborate our results we present findings from real-world case studies from avionic industry.

Physical land degradation and loss of soil fertility: soil structural stability and bio-physical indicators

This study investigates the changes in soil fertility due to the different aggregate breakdown mechanisms and it analyses their relationships in different soil-plant systems, using physical aggregates behavior and organic matter (OM) changes as indicators. Three case studies were investigated: i) an organic agricultural soil, where a combined method, aimed to couple aggregate stability to nutrients loss, were tested; ii) a soil biosequence, where OM chemical characterisation and fractionation of aggregates on the basis of their physical behaviour were coupled and iii) a soils sequence in different phytoclimatic conditions, where isotopic C signature of separated aggregates was analysed. In agricultural soils the proposed combined method allows to identify that the severity of aggregate breakdown affected the quantity of nutrients lost more than nutrients availability, and that P, K and Mg were the most susceptible elements to water abrasion, while C and N were mainly susceptible to wetting. In the studied Chestnut-Douglas fir biosequence, OM chemical properties affected the relative importance of OM direct and indirect mechanisms (i.e., organic and organic-metallic cements, respectively) involved in aggregate stability and nutrient losses: under Douglas fir, high presence of carboxylate groups enhanced OM-metal interactions and stabilised aggregates; whereas under Chestnut, OM directly acted and fresh, more C-rich OM was preserved. OM direct mechanism seemed to be more efficient in C preservation in aggregates. The 13C natural abundance approach showed that, according to phytoclimatic conditions, stable macroaggregates can form both around partially decomposed OM and by organic-mineral interactions. In topsoils, aggregate resistance enhanced 13C-rich OM preservation, but in subsoils C preservation was due to other mechanisms, likely OM-mineral interactions. The proposed combined approach seems to be useful in the understanding of C and nutrients fate relates to water stresses, and in future research it could provide new insights into the complexity of soil biophysical processes.

Producers' Perceptions and Consumers' Behaviour Toward Certified Beans from Integrated Production (IP) in the Brazilian Central Region

Integrated production (IP) is part of the Brazilian government program to promote sustainable agricultural production. IP ensure minimum food quality standards for domestic market, and export. Furthermore, IP is considered a good option to reduce negative environmental impacts of intensive crops in tropical Savannas, including common beans, as a Brazilian staple food. Although its advantages, and the government’s effort to promote IP, few growers are adopting IP. Maybe, the perception about IP usefulness and/or its ease of use is not too clear. Moreover, the production sector is driven by market signs, and there is few information on the consumer's preferences toward IP certified products in Brazil. In this study, we sought to identify some critical factors that can influence the IP adoption in beans' production. Moreover, we sought to verify the consumers’ perceptions and intention of purchasing IP certified beans (hypothetical product). This report comprises four chapters: (1) an introduction illustrating the context in which the research was based; (2) the results on the study of IP adoption based on the Technology Acceptance Model (TAM); (3) the choice experiment results applied to identify consumers preferences and willingness-to-pay (WTP) for IP label; (4) the results on the Theory of Planned Behaviour (TPB) applied to identify consumers’ perception toward IP certified beans. This research contributes with rich information for the beans’ supply chain, providing several insights to growers, retail and other agents, including policy makers. Beans’ production sector seems to be positively intentioned to adopt IP, but further studies should be conducted to test other adoption indicators using TAM model. Surveyed consumers are willing to pay a premium price for IP labelled beans. They showed a positive attitude toward purchasing IP labelled beans. It is an important information to motivate production sector to offer certified beans to the market.