Repository logo

Browsing by Author "Sokolsky, Oleg"

Now showing 1 - 2 of 2
  • A compositional scheduling framework for digital avionics systems
    Publication . Easwaran, Arvind; Lee, Insup; Sokolsky, Oleg; Vestal, Steve
    ARINC specification 653-2 describes the interface between application software and underlying middleware in a distributed real-time avionics system. The real-time workload in this system comprises of partitions, where each partition consists of one or more processes. Processes incur blocking and preemption overheads and can communicate with other processes in the system. In this work we develop compositional techniques for automated scheduling of such partitions and processes. At present, system designers manually schedule partitions based on interactions they have with the partition vendors. This approach is not only time consuming, but can also result in under utilization of resources. In contrast, the technique proposed in this paper is a principled approach for scheduling ARINC-653 partitions and therefore should facilitate system integration.
    2009Journal article Restricted access Show more
  • Simulation relations, interface complexity, and resource optimality for real-time hierachical systems
    Publication . Easwaran, Arvind; Anand, Madhukar; Lee, Insup; Phan, Linh T. X.; Sokolsky, Oleg
    Compositional schedulability analysis of hierarchical realtime systems is a well-studied problem. Various techniques have been developed to abstract resource requirements of components in such systems, and schedulability has been addressed using these abstract representations (also called component interfaces). These approaches for compositional analysis incur resource overheads when they abstract components into interfaces. In this talk, we define notions of resource schedulability and optimality for component interfaces, and compare various approaches.
    2010Report Open access Show more