A static scheduler for the computer aided prototyping system

Abstract

Computer-aided prototyping assists the software designer during the design and specification stages for hard real-time or embedded systems. Automated prototyping of these systems benefits from an execution support system (ESS) which validates software design before development of production software. Pioneering efforts to implement the static schedule are described, using worst-case timing information, i.e. guaranteeing that all critical timing constraints are met at run time. The tools and algorithms required, at a minimum, to implement the static scheduler and to integrate it within the ESS, are outlined.<>