Conference Paper

Towards hierarchical scheduling in AUTOSAR

MRTC/Malardalen Univ., Vasters, Sweden
DOI: 10.1109/ETFA.2009.5347133 Conference: Emerging Technologies & Factory Automation, 2009. ETFA 2009. IEEE Conference on
Source: IEEE Xplore

ABSTRACT AUTOSAR is a partnership between automotive manufactures and suppliers. It aims at standardizing the automotive software architecture and separating software and hardware. This approach makes software more independent, maintainable, reuseable, etc. Still there is much work to do in order for this standard to be usable. This paper focus on automotive software integration in AUTOSAR, with the use of hierarchical scheduling as an enabling technology. At this point, AUTOSAR components do not have any timing relation with its tasks. This causes an unpredictive runtime behavior which can only be analyzed and verified after integration phase. We discuss how integration can be done in AUTOSAR, with runtime temporal isolation of components. This enable schedulability analysis at the level of components rather than at the level of tasks.

1 Bookmark
 · 
91 Views
  • [Show abstract] [Hide abstract]
    ABSTRACT: The resource partitioning has been suggested to provide efficient composition of multi-threaded real-time applications. Partitioning can provide reliable and flexible software upgrade as partitions are strongly isolated in terms of resources. However, there are always possibility of experiencing software faults while operating on a real plant. To avoid entering a hazardous state due to a partition that is yet to be fully verified, we can deploy a backup partition that may implement inefficient algorithms or limited features but is verified with respect to reliability. The backup partition performs failover to carry out missions of the corresponding primary partition when a software fault is detected. There have been significant researches for fault-tolerant real-time scheduling but considerations for partitioned systems have not been studied. In this paper, we extend the resource model for hierarchical real-time scheduling to support primary and backup partitions. Our model can support context-dependent and context-independent tasks in the backup partition efficiently. In addition, we provide the schedulability analysis for suggested model.
    ACM SIGBED Review 12/2013; 10(4):25-28.
  • [Show abstract] [Hide abstract]
    ABSTRACT: Server-based resource reservation protocols (e.g., periodic and bandwidth-sharing servers) have the advantage of providing temporal isolation between subsystems co-executing upon a shared processing platform. For many of these protocols, temporal isolation is often obtained at the price of over-provisioned reservations. Other more fine-grained approaches such as real-time calculus permit a precise characterization of the resources required by a subsystem via demand-curve interfaces. However, an important, unsolved challenge for subsystems specified by such interfaces is the development of efficient enforcement techniques to guarantee temporal isolation between the subsystems. Admission control algorithms can be used in this regard to ensure that the cumulative subsystem demand never violates the demand-curve specified by the interface. In this paper, we address the challenge by designing admission controllers for complex, arbitrary demand-curve interfaces and proposing enforcement techniques. First, we propose an exact algorithm and show that its complexity is infeasible for long-running systems. To address this drawback, we then design an approximation algorithm and associated enforcement techniques to handle unpredictable execution times. We validate, via simulations, that our approximate approach is significantly more efficient than the exact approach with only minor decrease in the accuracy of the admission controller.
    Proc. of Real-time Systems Symposium; 01/2012
  • [Show abstract] [Hide abstract]
    ABSTRACT: The Integrated Modular Avionics (IMA) architecture has been suggested for the next-generation avionics systems. ARINC 653 is the standard for application programming interfaces (APIs) of avionics software for IMA architecture. There are several researches on design and implementation of ARINC 653 but legacy operating systems have not been considered much for a base operating system of ARINC 653. Though the legacy operating systems may not be initially developed for avionics systems, some of them including Linux recently show high potential of providing software platform for avionics systems. In this paper, we suggest a kernel-level design to support partitioning and hierarchical real-time scheduling of ARINC 653 for Linux. We believe that our suggestion can provide a very valuable reference for extending an existing operating system for ARINC 653 especially due to the complexity of the Linux kernel. We show that the overhead and jitter of the proposed design is significantly low compared with a user-level design.
    01/2012;