Combining Time-Triggered Plans with Priority Scheduled Task Sets

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-39083-3_13Time-triggered and concurrent priority-based scheduling are the two major approaches in use for real-time and embedded systems. Both approaches have their own advantages and drawbacks. On the one hand, priority-based systems facilitate separation of concerns between functional and timing requirements by relying on an underlying real- time operating system that takes all scheduling decisions at run time. But this is at the cost of indeterminism in the exact timing pattern of execution of activities, namely variable release jitter. On the other hand, time-triggered schedules are more intricate to design since all schedul- ing decisions must be taken beforehand in the design phase, but their advantage is determinism and more chances for minimisation of release jitter. In this paper we propose a software architecture that enables the combined and controlled execution of time-triggered plans and priority- scheduled tasks. We also describe the implementation of an Ada library supporting it. Our aim is to take advantage of the best of both ap- proaches by providing jitter-controlled execution of time-triggered tasks (e.g., control tasks), coexisting with a set of priority-scheduled tasks, with less demanding jitter requirements.This work has been partly supported by the Spanish Government’s project M2C2 (TIN2014-56158-C4-1-P-AR) and the European Commission’s project EMC2 (ARTEMIS-JU Call 2013 AIPP-5, Contract 621429).Real Sáez, JV.; Sáez Barona, S.; Crespo, A. (2016). Combining Time-Triggered Plans with Priority Scheduled Task Sets. En Reliable Software Technologies – Ada-Europe 2016. Springer. 195-212. https://doi.org/10.1007/978-3-319-39083-3_13S195212Liu, C., Layland, J.: Scheduling algorithms for multiprogramming in a hard real-time environment. J. ACM 20(1), 46–61 (1973)Martí, P., Fuertes, J., Fohler, G.: Jitter compensation for real-time control systems. In: Real-Time Systems Symposium (2001)Dobrin, R.: Combining off-line schedule construction and fixed priority scheduling in real-time computer systems. Ph.D. thesis. Mälardalen University (2005)Cervin, A.: Integrated control and real-time scheduling. Ph.D. thesis. Lund Institute of Technology, April 2003Balbastre, P., Ripoll, I., Vidal, J., Crespo, A.: A task model to reduce control delays. Real-Time Syst. 27(3), 215–236 (2004)Hong, S., Hu, X., Lemmon, M.: Reducing delay jitter of real-time control tasks through adaptive deadline adjustments. In: 22nd Euromicro Conference on Real-Time Systems - ECRTS, pp. 229–238. IEEE Computer Society (2010)ISO/IEC-JTC1-SC22-WG9: Ada Reference Manual ISO/IEC 8652:2012(E) (2012). http://www.ada-europe.org/manuals/LRM-2012.pdfBaker, T.P., Shaw, A.: The cyclic executive model and Ada. In: Proceedings IEEE Real Time Systems Symposium 1988, Huntsville, Alabama, pp. 120–129 (1988)Liu, J.W.S.: Real-Time Systems. Prentice-Hall Inc., Upper Saddle River (2000)Pont, M.J.: The Engineering of Reliable Embedded Systems: LPC1769. SafeTTy Systems Limited, Skelmersdale (2014). ISBN: 978-0-9930355-0-0Aldea Rivas, M., González Harbour, M.: MaRTE OS: an Ada kernel for real-time embedded applications. In: Strohmeier, A., Craeynest, D. (eds.) Ada-Europe 2001. LNCS, vol. 2043, pp. 305–316. Springer, Heidelberg (2001)Palencia, J., González-Harbour, M.: Schedulability analysis for tasks with static and dynamic offsets. In: 9th IEEE Real-Time Systems Symposium (1998)Wellings, A.J., Burns, A.: A framework for real-time utilities for Ada 2005. Ada Lett. XXVI XXVII(2), 41–47 (2007)Real, J., Crespo, A.: Incorporating operating modes to an Ada real-time framework. Ada Lett. 30(1), 73–85 (2010)Sáez, S., Terrasa, S., Crespo, A.: A real-time framework for multiprocessor platforms using Ada 2012. In: Romanovsky, A., Vardanega, T. (eds.) Ada-Europe 2011. LNCS, vol. 6652, pp. 46–60. Springer, Heidelberg (2011

Search for new phenomena in final states with an energetic jet and large missing transverse momentum in pp collisions at √ s = 8 TeV with the ATLAS detector

Results of a search for new phenomena in final states with an energetic jet and large missing transverse momentum are reported. The search uses 20.3 fb−1 of √ s = 8 TeV data collected in 2012 with the ATLAS detector at the LHC. Events are required to have at least one jet with pT > 120 GeV and no leptons. Nine signal regions are considered with increasing missing transverse momentum requirements between Emiss T > 150 GeV and Emiss T > 700 GeV. Good agreement is observed between the number of events in data and Standard Model expectations. The results are translated into exclusion limits on models with either large extra spatial dimensions, pair production of weakly interacting dark matter candidates, or production of very light gravitinos in a gauge-mediated supersymmetric model. In addition, limits on the production of an invisibly decaying Higgs-like boson leading to similar topologies in the final state are presente

Human Nail Plate Modifications Induced by Onychomycosis : Implications for Topical Therapy

Open Access - This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are creditedConclusions: Onchomycotic nails presented a thicker but more porous barrier, and its eroded intracellular matrix rendered the tissue more permeable to topically applied chemicals when an aqueous vehicle was used.Purpose: Through the characterisation of the human onchomycotic nail plate this study aimed to inform the design of new topical ungual formulations.Methods: The mechanical properties of the human nail were characterised using a Lloyd tensile strength tester. The nail’s density was determined via pycnometry and the nail’s ultrastructure by electron microscopy. Raman spectroscopy analysed the keratin disulphide bonds within the nail and its permeability properties were assessed by quantifying water and rhodamine uptake.Results: Chronic in vivo nail plate infection increased human nailplate thickness (healthy 0.49 ± 0.15 mm; diseased 1.20 ± 0.67 mm), but reduced its tensile strength (healthy 63.7 ± 13.4 MPa; diseased 41.7 ± 5.0 MPa) and density (healthy 1.34 ± 0.01 g/cm3; diseased 1.29 ± 0.00 g/cm3). Onchomycosis caused cell-cell separation, without disrupting the nail disulfide bonds or desmosomes. The diseased and healthy nails showed equivalent water uptake profiles, but the rhodamine penetration was 4-fold higher in the diseased nails using a PBS vehicle and 3 -fold higher in an ethanol/PBS vehicle.Peer reviewe

Oxytocin receptor gene polymorphisms are associated with human directed social behavior in dogs (Canis familiaris)

The oxytocin system has a crucial role in human sociality; several results prove that polymorphisms of the oxytocin receptor gene are related to complex social behaviors in humans. Dogs' parallel evolution with humans and their adaptation to the human environment has made them a useful species to model human social interactions. Previous research indicates that dogs are eligible models for behavioral genetic research, as well. Based on these previous findings, our research investigated associations between human directed social behaviors and two newly described (−212AG, 19131AG) and one known (rs8679684) single nucleotide polymorphisms (SNPs) in the regulatory regions (5′ and 3′ UTR) of the oxytocin receptor gene in German Shepherd (N = 104) and Border Collie (N = 103) dogs. Dogs' behavior traits have been estimated in a newly developed test series consisting of five episodes: Greeting by a stranger, Separation from the owner, Problem solving, Threatening approach, Hiding of the owner. Buccal samples were collected and DNA was isolated using standard protocols. SNPs in the 3′ and 5′ UTR regions were analyzed by polymerase chain reaction based techniques followed by subsequent electrophoresis analysis. The gene–behavior association analysis suggests that oxytocin receptor gene polymorphisms have an impact in both breeds on (i) proximity seeking towards an unfamiliar person, as well as their owner, and on (ii) how friendly dogs behave towards strangers, although the mediating molecular regulatory mechanisms are yet unknown. Based on these results, we conclude that similarly to humans, the social behavior of dogs towards humans is influenced by the oxytocin system

Sequencing of diverse mandarin, pummelo and orange genomes reveals complex history of admixture during citrus domestication

Cultivated citrus are selections from, or hybrids of, wild progenitor species whose identities and contributions to citrus domestication remain controversial. Here we sequence and compare citrus genomes-a high-quality reference haploid clementine genome and mandarin, pummelo, sweet-orange and sour-orange genomes-and show that cultivated types derive from two progenitor species. Although cultivated pummelos represent selections from one progenitor species, Citrus maxima, cultivated mandarins are introgressions of C. maxima into the ancestral mandarin species Citrus reticulata. The most widely cultivated citrus, sweet orange, is the offspring of previously admixed individuals, but sour orange is an F1 hybrid of pure C. maxima and C. reticulata parents, thus implying that wild mandarins were part of the early breeding germplasm. A Chinese wild 'mandarin' diverges substantially from C. reticulata, thus suggesting the possibility of other unrecognized wild citrus species. Understanding citrus phylogeny through genome analysis clarifies taxonomic relationships and facilitates sequence-directed genetic improvement. (Résumé d'auteur

Analysis of the melon (Cucumis melo) small RNAome by high-throughput pyrosequencing

Abstract Background Melon (Cucumis melo L.) is a commercially important fruit crop that is cultivated worldwide. The melon research community has recently benefited from the determination of a complete draft genome sequence and the development of associated genomic tools, which have allowed us to focus on small RNAs (sRNAs). These are short, non-coding RNAs 21-24 nucleotides in length with diverse physiological roles. In plants, they regulate gene expression and heterochromatin assembly, and control protection against virus infection. Much remains to be learned about the role of sRNAs in melon. Results We constructed 10 sRNA libraries from two stages of developing ovaries, fruits and photosynthetic cotyledons infected with viruses, and carried out high-throughput pyrosequencing. We catalogued and analysed the melon sRNAs, resulting in the identification of 26 known miRNA families (many conserved with other species), the prediction of 84 melon-specific miRNA candidates, the identification of trans-acting siRNAs, and the identification of chloroplast, mitochondrion and transposon-derived sRNAs. In silico analysis revealed more than 400 potential targets for the conserved and novel miRNAs. Conclusion We have discovered and analysed a large number of conserved and melon-specific sRNAs, including miRNAs and their potential target genes. This provides insight into the composition and function of the melon small RNAome, and paves the way towards an understanding of sRNA-mediated processes that regulate melon fruit development and melon-virus interactions.This work was supported by grants AGL2009-07552/AGR, BIO2006-13107 (Ministerio de Ciencia e Innovación, Spain) and MELONOMICS (Fundación Genoma España, Spain).Peer Reviewe

Measurement of VH, H → b b ¯ production as a function of the vector-boson transverse momentum in 13 TeV pp collisions with the ATLAS detector

Cross-sections of associated production of a Higgs boson decaying into bottom-quark pairs and an electroweak gauge boson, W or Z, decaying into leptons are measured as a function of the gauge boson transverse momentum. The measurements are performed in kinematic fiducial volumes defined in the `simplified template cross-section' framework. The results are obtained using 79.8 fb-1 of proton-proton collisions recorded by the ATLAS detector at the Large Hadron Collider at a centre-of-mass energy of 13 TeV. All measurements are found to be in agreement with the Standard Model predictions, and limits are set on the parameters of an effective Lagrangian sensitive to modifications of the Higgs boson couplings to the electroweak gauge bosons