Search Results

Multi-core systems are promising a cost-effective solution for (1) advanced vehicle features requiring dramatically more software and hence an order of magnitude more processing power, (2) redundancy and mixed-IP, mixed-ASIL isolation required for ISO 26262 functional safety, and (3) integration of previously separate ECUs and evolving embedded software business models requiring separation of different software parts. In this context, designing, optimizing and verifying the mapping and scheduling of software functions onto multiple processing cores becomes key. This paper describes several multi-core task design and scheduling design options, including function-to-task mapping, task-to-core allocation (both static and dynamic), and associated scheduling policies such as rate-monotonic, criticality-aware priority assignment, period transformation, hierarchical partition scheduling, and dynamic global scheduling.

This paper describes a framework for modeling and validating distributed real-time embedded control systems. The modeling component of the framework combines executable architectural specifications with component models in notations such as Simulink and Stateflow to yield simulate-able models of distributed systems. The paper then discusses techniques for comparing the behavior of these system models with idealized control specifications given in Simulink / Stateflow. The framework is intended to support design processes in which a controls engineer develops a controller model that is then used as a specification by a system-engineering team responsible for a system model that may involve deployment-platform details.