REAL-TIME OPERATING SYSTEMS AND STANDARDS - Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications - page 454

12.5.2 SCHEDULABILITY ANALYSIS

This type of tool allows designers to test software models against various design sce-
narios and evaluate how different implementations might optimize the performance
of the system, isolating and identifying potential scheduling bottlenecks.

Some of

commercial schedulability analysis tools are reported below.

RTDruid 19 is the development environment for ERIKA Enterprise, helping the
programmer to write, compile and analyze real-time applications in a comfortable
environment. RT-Druid is composed by a set of plug-ins for the Eclipse frame-
work, including the Code Generator (implementing the OIL language compiler)
and a schedulability analyzer for verifying the feasibility of real-time applica-
tions and estimating worst-case response times of real-time tasks under differ-
ent scheduling algorithms. RT-Druid also includes importers/exporters for AU-
TOSAR XML specifications produced by ARTOP 20 and dSpace SystemDesk. It
also includes integration with tools like Papyrus UML, Absint aiT, and Lauter-
bach Trace32.

TimeWiz 21 is an integrated design environment for building predictable embed-
ded, real-time systems. It allows representing, analyzing, and simulating real-
time systems. It works for the simplest micro-controller with a mini-executive up
to a large distributed system with tens or even hundreds of processors.

symTA/S 22 is a scheduling analysis tool suite used for budgeting, scheduling ver-
ification and optimization for processors, electronic control units (ECUs), com-
munication buses, networks and complete integrated systems. It enables end-
to-end timing analysis, visualization and optimization for distributed systems. In
automotive electronics, SymTA/S supports standards such as OSEK, AUTOSAR-
OS, CAN, and FlexRay.

chronVAL 23 is a real-time analysis tool to analyze, optimize and validate sin-
gle and distributed embedded systems with regard to worst-case scenarios. The
tool enables designers to analyze the dynamic behavior of embedded software
and bus communication, including multiprocessor configurations. Key features
include mathematical analysis of the real-time behavior, verification of applica-
tion deadlines, validation of maximum message latencies, evaluation of system
performance, and graphical visualization of results.

19 RTDruid: http://erika.tuxfamily.org/
20 ARTOP: http://www.artop.org
21 TimeWiz: http://www.embeddedtechnology.com/product.mvc/TimeWiz-0001
22 symTA/S: http://www.symtavision.com/symtas.html
23 chronVAL: http://www.inchron.com/