Combined Scheduling of Time-Triggered Plans and Priority Scheduled Task Sets

© Owner/Author (2016). This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in ACM SIGAda Ada Letters, 36(1), 68-76, http://dx.doi.org/10.1145/10.1145/2971571.2971580.[EN] Preemptive, priority-based scheduling on the one hand, and time-triggered scheduling on the other, are the two major techniques in use for development of real-time and embedded software. Both have their advantages and drawbacks with respect to the other, and are commonly adopted in mutual exclusion. In a previous paper, we proposed a software architecture that enables the combined and controlled execution of time-triggered plans and priority-scheduled tasks. The goal was to take advantage of the best of both approaches by providing deterministic, jitter-controlled execution of time-triggered tasks (e.g., control tasks), coexisting with a set of priority-scheduled tasks, with less demanding jitter requirements. In this paper, we briefly describe the approach, in which the time-triggered plan is executed at the highest priority level, controlled by scheduling decisions taken only at particular points in time, signalled by recurrent timing events. The rest of priority levels are used by a set of concurrent tasks scheduled by static or dynamic priorities. We also discuss several open issues such as schedulability analysis, use of the approach in multiprocessor architectures, usability in mixed-criticality systems and needed changes to make this approach Ravenscar compliant.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 Lorente, A. (2016). Combined Scheduling of Time-Triggered Plans and Priority Scheduled Task Sets. Ada Letters. 36(1):68-76. https://doi.org/10.1145/2971571.2971580S6876361T. P. Baker and A. Shaw. The cyclic executive model and Ada. In Proceedings IEEE Real Time Systems Symposium 1988, Huntsville, Alabama, pages 120--129, 1988.P. Balbastre, I. Ripoll, J. Vidal, and A. Crespo. A Task Model to Reduce Control Delays. Real-Time Systems, 27(3):215--236, September 2004.A. Burns and R. Davis. Mixed Criticality Systems - A Review. Technical report, Depatment of Computer Science, University of York, 2013.A. Cervin. Integrated Control and Real-Time Scheduling. PhD thesis, Lund Institute of Technology, April 2003.R. Dobrin. Combining Offline Schedule Construction and Fixed Priority Scheduling in Real-Time Computer Systems. PhD thesis, Mälardalen University, 2005.S. Hong, X. Hu, and M. Lemmon. Reducing Delay Jitter of Real-Time Control Tasks through Adaptive Deadline Adjustments. In IEEE Computer Society, editor, 22nd Euromicro Conference on Real-Time Systems -- ECRTS, pages 229--238, 2010.J. W. S. Liu. Real-Time Systems. Prentice-Hall Inc., 2000.J. Palencia and M. González-Harbour. Schedulability Analysis for Tasks with Static and Dynamic Offsets. In 9th IEEE Real-Time Systems Symposium, 1998.M. J. Pont. The Engineering of Reliable Embedded Systems: LPC1769 edition. Number ISBN: 978-0-9930355-0-0. SafeTTy Systems Limited, 2014.J. Real and A. Crespo. Incorporating Operating Modes to an Ada Real-Time Framework. Ada Letters, 30(1):73--85, April 2010.J. Real, S. Sáez, and A. Crespo. Combining time-triggered plans with priority scheduled task sets. In M. Bertogna and L. M. Pinho, editors, Reliable Software Technologies -- Ada-Europe 2016, volume 9695 of Lecture Notes in Computer Science. Springer, June 2016.S. Sáez, J. Real, and A. Crespo. An integrated framework for multiprocessor, multimoded real-time applications. In M. Brorsson and L. Pinho, editors, Reliable Software Technologies -- Ada-Europe 2012, volume 7308, pages 18--34. Springer-Verlag, June 2012.S. Sáez, J. Real, and A. Crespo. Implementation of Timing-Event Anities in Ada/Linux. Ada Letters, 35(1), April 2015.A. J. Wellings and A. Burns. A Framework for Real-Time Utilities for Ada 2005. Ada Letters, XXVII(2), August 2007

Using real options for an eco-friendly design of water distribution systems

Copyright © 2015 IWA Publishing. The definitive peer-reviewed and edited version of this article is published in Journal of Hydroinformatics volume 17 (1), pp. 20-35 (2015), DOI 10.2166/hydro.2014.122 and is available at www.iwapublishing.com.This paper presents a real options approach to handling uncertainties associated with the long-term planning of water distribution system development. Furthermore, carbon emissions associated with the installation and operation of water distribution networks are considered. These emissions are computed by taking an embodied energy approach to the different materials used in water networks. A simulated annealing heuristic is used to optimise a flexible eco-friendly design of water distribution systems for an extended life horizon. This time horizon is subdivided into different time intervals in which different possible decision paths can be followed. The proposed approach is applied to a case study and the results are presented according to a decision tree. Lastly, some comparisons and results are used to demonstrate the quality of the results of this approach.Programa Operacional Factores de Competitividade – COMPETEFCT – Fundação para a Ciência e Tecnologi

Assessment of a continuous blood gas monitoring system in animals during circulatory stress

<p>Abstract</p> <p>Background</p> <p>The study was aimed to determine the measurement accuracy of The CDI™ blood parameter monitoring system 500 (Terumo Cardiovascular Systems Corporation, Ann Arbor MI) in the real-time continuous measurement of arterial blood gases under different cardiocirculatory stress conditions</p> <p>Methods</p> <p>Inotropic stimulation (Dobutamine 2.5 and 5 μg/kg/min), vasoconstriction (Arginine-vasopressin 4, 8 and 16 IU/h), hemorrhage (-10%, -20%, -35%, and -50% of the theoretical volemia), and volume resuscitation were induced in ten swine (57.4 ± 10.7 Kg).Intermittent blood gas assessments were carried out using a routine gas analyzer at any experimental phase and compared with values obtained at the same time settings during continuous monitoring with CDI™ 500 system. The Bland-Altman analysis was employed.</p> <p>Results</p> <p>Bias and precision for pO₂were - 0.06 kPa and 0.22 kPa, respectively (r²= 0.96); pCO₂- 0.02 kPa and 0.15 kPa, respectively; pH -0.001 and 0.01 units, respectively ( r²= 0.96). The analysis showed very good agreement for SO₂(bias 0.04,precision 0.33, r²= 0.95), Base excess (bias 0.04,precision 0.28, r²= 0.98), HCO₃(bias 0.05,precision 0.62, r²= 0.92),hemoglobin (bias 0.02,precision 0.23, r²= 0.96) and K⁺(bias 0.02, precision 0.27, r²= 0.93). The sensor was reliable throughout the experiment during hemodynamic variations.</p> <p>Conclusions</p> <p>Continuous blood gas analysis with the CDI™ 500 system was reliable and it might represent a new useful tool to accurately and timely monitor gas exchange in critically ill patients. Nonetheless, our findings need to be confirmed by larger studies to prove its reliability in the clinical setting.</p

Robust moving horizon H∞ control of discrete time-delayed systems with interval time-varying delays

In this study, design of a delay-dependent type moving horizon state-feedback control (MHHC) is considered for a class of linear discrete-time system subject to time-varying state delays, norm-bounded uncertainties, and disturbances with bounded energies. The closed-loop robust stability and robust performance problems are considered to overcome the instability and poor disturbance rejection performance due to the existence of parametric uncertainties and time-delay appeared in the system dynamics. Utilizing a discrete-time Lyapunov-Krasovskii functional, some delay-dependent linear matrix inequality (LMI) based conditions are provided. It is shown that if one can find a feasible solution set for these LMI conditions iteratively at each step of run-time, then we can construct a control law which guarantees the closed-loop asymptotic stability, maximum disturbance rejection performance, and closed-loop dissipativity in view of the actuator limitations. Two numerical examples with simulations on a nominal and uncertain discrete-time, time-delayed systems, are presented at the end, in order to demonstrate the efficiency of the proposed method

Variance-constrained multiobjective control and filtering for nonlinear stochastic systems: A survey

The multiobjective control and filtering problems for nonlinear stochastic systems with variance constraints are surveyed. First, the concepts of nonlinear stochastic systems are recalled along with the introduction of some recent advances. Then, the covariance control theory, which serves as a practical method for multi-objective control design as well as a foundation for linear system theory, is reviewed comprehensively. The multiple design requirements frequently applied in engineering practice for the use of evaluating system performances are introduced, including robustness, reliability, and dissipativity. Several design techniques suitable for the multi-objective variance-constrained control and filtering problems for nonlinear stochastic systems are discussed. In particular, as a special case for the multi-objective design problems, the mixed H 2 / H ∞ control and filtering problems are reviewed in great detail. Subsequently, some latest results on the variance-constrained multi-objective control and filtering problems for the nonlinear stochastic systems are summarized. Finally, conclusions are drawn, and several possible future research directions are pointed out

Initial conditions, Discreteness and non-linear structure formation in cosmology

In this lecture we address three different but related aspects of the initial continuous fluctuation field in standard cosmological models. Firstly we discuss the properties of the so-called Harrison-Zeldovich like spectra. This power spectrum is a fundamental feature of all current standard cosmological models. In a simple classification of all stationary stochastic processes into three categories, we highlight with the name ``super-homogeneous'' the properties of the class to which models like this, with $P(0)=0$, belong. In statistical physics language they are well described as glass-like. Secondly, the initial continuous density field with such small amplitude correlated Gaussian fluctuations must be discretised in order to set up the initial particle distribution used in gravitational N-body simulations. We discuss the main issues related to the effects of discretisation, particularly concerning the effect of particle induced fluctuations on the statistical properties of the initial conditions and on the dynamical evolution of gravitational clustering.Comment: 28 pages, 1 figure, to appear in Proceedings of 9th Course on Astrofundamental Physics, International School D. Chalonge, Kluwer, eds N.G. Sanchez and Y.M. Pariiski, uses crckapb.st pages, 3 figure, ro appear in Proceedings of 9th Course on Astrofundamental Physics, International School D. Chalonge, Kluwer, Eds. N.G. Sanchez and Y.M. Pariiski, uses crckapb.st

Characterization and treatment of titanium dioxide, TiO2 via ultrasonic process with melastoma malabathricum as sustainable sensitizer for photovoltaic slar cell

Dye-sensitized solar cells (DSSCs) have been fabricated with doped Titanium Dioxide, TiO2 which are based on natural dyes from Malaysia tropical fruits, wherein contain interlocking groups; the carbonyl and hydroxyl groups of the anthocyanin molecule which enhance the photosensitization effect due to the high interaction on the surface of the film. Such a natural dye extracted from Melastoma Malabathricum can be subjected to molecular tailoring to give a superior dye preparation, offering a wide range of spectral absorption; covering the entire visible region (400 – 700 nm). This study is based on a series of TiO2 preparations designated U1 and U2 (without and with additive respectively), and those treated with ultrasonic energy, namely U3 and U4 (without and with additive respectively). 10 minutes of sonication of the metal oxide led to its breakdown from agglomeration at the micro to the nano scale. Furthermore the additive (4-tert-butylpyridine) in potassium iodide, KI3 electrolyte, effects the rate of electron injection into the oxidized dye sensitizer. Sonication of TiO2 reduced the particle size agglomerates from 0.37 µm down to 0.15 µm; this treatment led to a more consistency with high porosity, enabling enhance absorption and anchorage of the dye sensitizer. Sonicated sample U4, with addition of electrolyte additive gives, open circuit voltage, Voc= 0.742 V, short circuit current, Isc= 0.36 mA, fill factor, FF= 57.012 and 0.039 % of cell’s efficiency. Evidently, sonication and addition of additive for KI3 electrolyte offer enhanced capability for further application