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

Generation and manipulation of nonclassical light using photonic crystals

Photonic crystal cavities can localize light into nanoscale volumes with high quality factors. This permits a strong interaction between light and matter, which is important for the construction of classical light sources with improved properties (e.g., low threshold lasers) and of nonclassical light sources (such as single and entangled photon sources) that are crucial pieces of hardware of quantum information processing systems. This article will review some of our recent experimental and theoretical results on the interaction between single quantum dots and photonic crystal cavity fields, and on the integration of multiple photonic crystal devices into functional circuits for quantum information processing.Comment: 6 pages, 6 figures; replaced with revised versio

Time lagged ordinal partition networks for capturing dynamics of continuous dynamical systems

We investigate a generalised version of the recently proposed ordinal partition time series to network transformation algorithm. Firstly we introduce a fixed time lag for the elements of each partition that is selected using techniques from traditional time delay embedding. The resulting partitions define regions in the embedding phase space that are mapped to nodes in the network space. Edges are allocated between nodes based on temporal succession thus creating a Markov chain representation of the time series. We then apply this new transformation algorithm to time series generated by the R\"ossler system and find that periodic dynamics translate to ring structures whereas chaotic time series translate to band or tube-like structures -- thereby indicating that our algorithm generates networks whose structure is sensitive to system dynamics. Furthermore we demonstrate that simple network measures including the mean out degree and variance of out degrees can track changes in the dynamical behaviour in a manner comparable to the largest Lyapunov exponent. We also apply the same analysis to experimental time series generated by a diode resonator circuit and show that the network size, mean shortest path length and network diameter are highly sensitive to the interior crisis captured in this particular data set

Photonic Crystal Microcavities for Classical and Quantum Information Processing

Photonic crystal (PC) cavities enable localization of light into volumes (V) below a cubic optical wavelength (smaller than any other types of optical resonators) with high quality (Q) factors. This permits a strong interaction of light and matter, which is relevant for construction of classical light sources with improved properties (e.g., low threshold lasers) and of nonclassical light sources (such as single and entangled photon sources), which are crucial pieces of hardware of quantum information processing systems. This talk will cover some of our recent experimental results on quantum and classical devices enabled by such interaction, as well as our work on designing such devices and circuits efficiently. We have demonstrated a spontaneous emission rate enhancement by a factor of 8 and suppression by a factor of 5 for a single self-assembled InAs/GaAs quantum dot (QD) embedded in a GaAs photonic crystal cavity and on- and off-resonance with the cavity mode, respectively. A strong localization of optical field in such a nanocavity (experimental Q-factor of 5000 and mode volume below a cubic optical wavelength) with a quantum dot embedded inside is of importance for building single photon sources with improved efficiency, photon indistinguishability, and repetition rate. We have demonstrated a single photon source on demand based on the pulsed excitation of a single quantum dot in such a nanocavity, with pulse duration between 200 ps and 8 ns and with a small multi-photon probability (as small as 5% compared to an attenuated laser of the same intensity). In addition, we have shown that colloidal PbS quantum dots coupled to AlGaAs photonic crystal cavities can be used as an alternative to self-assembled InAs/GaAs quantum dots for construction of cheap and reusable quantum and classical light emitters. We have also demonstrated an improved classical light source-laser, based on coupling of a large number (81) of photonic crystal nanocavities inside a two dimension- - al array. Such a laser exhibits a low lasing threshold (~2.5 mW), operates in a single mode, produces large output powers (greater than 12 muW, which two orders of magnitude larger than a single nanocavity laser), and can be directly modulated as speeds greater than 100 GHz. An inverse problem approach to designing photonic crystal cavities that we have developed enables their rapid optimization in a single step, thereby reducing the cavity optimization time from weeks to hours. We are also pursuing theoretical and experimental work on integration of a number of photonic crystal components (cavities and waveguides) into functional circuits for classical and quantum information processing, including nontrivial two-qubit quantum gates

Computational universes

Suspicions that the world might be some sort of a machine or algorithm existing ``in the mind'' of some symbolic number cruncher have lingered from antiquity. Although popular at times, the most radical forms of this idea never reached mainstream. Modern developments in physics and computer science have lent support to the thesis, but empirical evidence is needed before it can begin to replace our contemporary world view.Comment: Several corrections of typos and smaller revisions, final versio

Detection of a diffusive cloak via second-order statistics

We propose a scheme to detect the diffusive cloak proposed by Schittny et al [Science 345, 427 (2014)]. We exploit the fact that diffusion of light is an approximation that disregards wave interference. The long-range contribution to intensity correlation is sensitive to locations of paths crossings and the interference inside the medium, allowing one to detect the size and position, including the depth, of the diffusive cloak. Our results also suggest that it is possible to separately manipulate the first- and the second-order statistics of wave propagation in turbid media.Comment: 4 pages, 2 figure