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

Entropic Tension in Crowded Membranes

Unlike their model membrane counterparts, biological membranes are richly decorated with a heterogeneous assembly of membrane proteins. These proteins are so tightly packed that their excluded area interactions can alter the free energy landscape controlling the conformational transitions suffered by such proteins. For membrane channels, this effect can alter the critical membrane tension at which they undergo a transition from a closed to an open state, and therefore influence protein function \emph{in vivo}. Despite their obvious importance, crowding phenomena in membranes are much less well studied than in the cytoplasm. Using statistical mechanics results for hard disk liquids, we show that crowding induces an entropic tension in the membrane, which influences transitions that alter the projected area and circumference of a membrane protein. As a specific case study in this effect, we consider the impact of crowding on the gating properties of bacterial mechanosensitive membrane channels, which are thought to confer osmoprotection when these cells are subjected to osmotic shock. We find that crowding can alter the gating energies by more than $2\;k_BT$ in physiological conditions, a substantial fraction of the total gating energies in some cases. Given the ubiquity of membrane crowding, the nonspecific nature of excluded volume interactions, and the fact that the function of many membrane proteins involve significant conformational changes, this specific case study highlights a general aspect in the function of membrane proteins.Comment: 20 pages (inclduing supporting information), 4 figures, to appear in PLoS Comp. Bio

Description of a new case of Bohring-Opitz (or Oberklaid-Danks) syndrome

Dismorfología y Genética ClínicaIn 1999, Bohring et al. reported a new syndrome clinically distinguishable from cases with C syndrome or Opitz trigonocephaly. All the patients showed failure to thrive, microcephaly with metopic suture ridging, nevus flammeus over the forehead, thick hair and forehead hirsutism, shallow orbits with prominent eyes, depressed nasal root, anomalous ears, retrognathia, cleft lip and palate, flexion deformities of the upper limbs with radial head dislocation and ulnar deviation of fingers. Patients have severe developmental delay, sucking and swallowing difficulties starting in the prenatal period, as suggested by the usual polyhydramnios. The brain anomalies include hydrocephaly/large ventricles, agenesis/hypoplasia of corpus callosum, Dandy- Walker malformation, myelin abnormalities, and cortical atrophy. Occasional symptoms are a small or closed fontanel at birth, inguinal hernias and cryptorchidism in males, and intestinal malrotation. Most patients die early in childhood because of bradycardia and apnea. Although there is an overlap between C-like syndrome and C syndrome, different manifestations in these patients suggest a different entity. This new syndrome has been called (apart from C-like syndrome) Bohring-Optiz or Oberklaid-Danks syndrome. Recently, it has been associated in some patients to heterozygous de novo nonsense mutations in ASXL1 gene, which is required for maintenance of both activation and silencing of Hox genes, suggesting that the syndrome is genetically heterogeneous. Here we describe the first case of this syndrome identified in the Spanish Collaborative Study of Congenital Malformations (ECEMC) Registry, and possibly in Spain. Therefore, its minimal frequency has been estimated in 1:2,648,286 newborn infants.N

A Novel Criticality Analysis Method for Assessing Obesity Treatment Efficacy

This is the final version. Available on open access from MDPI via the DOI in this recordData Availability Statement: In accordance with the General Data Protection Regulation (GDPR) guidelines, the database utilised in this study is maintained in a confidential and secure manner within the purview of the Faculty of Health and Life Sciences at Oxford Brookes University. Owing to privacy considerations, access to the dataset is restricted to authorised personnel only.Human gait is a significant indicator of overall health and well-being due to its dependence on metabolic requirements. Abnormalities in gait can indicate the presence of metabolic dysfunction, such as diabetes or obesity. However, detecting these can be challenging using classical methods, which often involve subjective clinical assessments or invasive procedures. In this work, a novel methodology known as Criticality Analysis (CA) was applied to the monitoring of the gait of teenagers with varying amounts of metabolic stress who are taking part in an clinical intervention to increase their activity and reduce overall weight. The CA approach analysed gait using inertial measurement units (IMU) by mapping the dynamic gait pattern into a nonlinear representation space. The resulting dynamic paths were then classified using a Support Vector Machine (SVM) algorithm, which is well-suited for this task due to its ability to handle nonlinear and dynamic data. The combination of the CA approach and the SVM algorithm demonstrated high accuracy and non-invasive detection of metabolic stress. It resulted in an average accuracy within the range of 78.2% to 90%. Additionally, at the group level, it was observed to improve fitness and health during the period of the intervention. Therefore, this methodology showed a great potential to be a valuable tool for healthcare professionals in detecting and monitoring metabolic stress, as well as other associated disorders.Newton Fun

State of emergency medicine in Spain

Spain has universal public health care coverage. Emergency care provisions are offered to patients in different modalities and levels according to the characteristics of the medical complaint: at primary care centers (PCC), in an extrahospital setting by emergency medical services (EMS) and at hospital emergency departments (ED). We have more than 3,000 PCCs, which are run by family doctors (general practitioners) and pediatricians. On average, there is 1 PCC for every 15,000 to 20,000 inhabitants, and every family doctor is in charge of 1,500 to 2,000 citizens, although less populated zones tend to have lower ratios. Doctors spend part of their duty time in providing emergency care to their own patients. While not fully devoted to emergency medicine (EM) practice, they do manage minor emergencies. However, Spanish EMSs contribute hugely to guarantee population coverage in all situations. These EMS are run by EM technicians (EMT), nurses and doctors, who usually work exclusively in the emergency arena. EDs dealt with more than 25 million consultations in 2008, which implies, on average, that one out of two Spaniards visited an ED during this time. They are usually equipped with a wide range of diagnostic tools, most including ultrasonography and computerized tomography scans. The academic and training background of doctors working in the ED varies: nearly half lack any structured specialty residence training, but many have done specific master or postgraduate studies within the EM field. The demand for emergency care has grown at an annual rate of over 4% during the last decade. This percentage, which was greater than the 2% population increase during the same period, has outpaced the growth in ED capacity. Therefore, Spanish EDs become overcrowded when the system exerts minimal stress. Despite the high EM caseload and the potential severity of the conditions, training in EM is still unregulated in Spain. However, in April 2009 the Spanish Minister of Health announced the imminent approval of an EM specialty, allowing the first EM resident to officially start in 2011. Spanish emergency physicians look forward to the final approval, which will complete the modernization of emergency health care provision in Spain

Loss of cholinergic innervation differentially affects eNOS-mediated blood flow, drainage of Aβ and cerebral amyloid angiopathy in the cortex and hippocampus of adult mice

Vascular dysregulation and cholinergic basal forebrain degeneration are both early pathological events in the development of Alzheimer’s disease (AD). Acetylcholine contributes to localised arterial dilatation and increased cerebral blood flow (CBF) during neurovascular coupling via activation of endothelial nitric oxide synthase (eNOS). Decreased vascular reactivity is suggested to contribute to impaired clearance of β-amyloid (Aβ) along intramural periarterial drainage (IPAD) pathways of the brain, leading to the development of cerebral amyloid angiopathy (CAA). However, the possible relationship between loss of cholinergic innervation, impaired vasoreactivity and reduced clearance of Aβ from the brain has not been previously investigated. In the present study, intracerebroventricular administration of mu-saporin resulted in significant death of cholinergic neurons and fibres in the medial septum, cortex and hippocampus of C57BL/6 mice. Arterial spin labelling MRI revealed a loss of CBF response to stimulation of eNOS by the Rho-kinase inhibitor fasudil hydrochloride in the cortex of denervated mice. By contrast, the hippocampus remained responsive to drug treatment, in association with altered eNOS expression. Fasudil hydrochloride significantly increased IPAD in the hippocampus of both control and saporin-treated mice, while increased clearance from the cortex was only observed in control animals. Administration of mu-saporin in the TetOAPPSweInd mouse model of AD was associated with a significant and selective increase in Aβ40-positive CAA. These findings support the importance of the interrelationship between cholinergic innervation and vascular function in the aetiology and/or progression of CAA and suggest that combined eNOS/cholinergic therapies may improve the efficiency of Aβ removal from the brain and reduce its deposition as CAA