April 23, 2012 -- Symtavision GmbH has announced that its SymTA/S supports the design of ISO 26262-compliant mixed-criticality automotive electronics systems. The SymTA/S methodology overcomes the inherent safety versus efficiency conflicts, especially when freedom from interference must be realized between software partitions with different criticality levels.

The meets the primary ISO 26262 requirement to provide reliable coverage for failure and error-free scenarios by undertaking timing analyses to optimize and verify the ECU software schedule. Crucial to this is the ability to use SymTA/S timing analyses to select configurations for OS services such as watchdog time-outs and timing-protection budgets rather than simply react to timing failures while the target system is running.

To build ISO 26262-compliant ECU schedules that are both safe and efficient, the SymTA/S methodology draws on a combination of the established RMS (Rate Monotonic Scheduling) and the recently proposed CAPA (Criticality As Priority Assignment) timing schedule strategies coupled with procedural guidelines, based on extensive SymTA/S timing analysis, on how safety can be verified and efficiency determined. RMS, which is currently used extensively in the industry, yields compact, resource-efficient pre-emptive timing schedules for AUTOSAR and OSEK, but it cannot cope with mixed-criticality requirements as priority is given to tasks with the shortest cycle time without reference to safety requirements and criticality levels. On the other hand, a CAPA strategy can ensure the necessary "freedom from interference" between tasks that ISO 26262 demands but this comes at the cost of a significant reduction in resource efficiency.

Using timing-analysis data from SymTA/S, the ISO 26262-compliant design methodology enriches key aspects of both the RMS and CAPA schedule design patterns with guidelines on how to select priorities, when and how to use Watchdogs or Timing Protection, and when the software architecture needs to be adapted in terms of cycle times and runnables-to-task mapping. Furthermore, SymTA/S reliably covers error-free and failure scenarios of various kinds, and hence provides evidence that the software and safety architectures are suitable.