The aim of this work is to discuss some of the main topics in the design and development of systems characterized by real-time constraints, and to propose the architecture of a programming environment to smooth the transition from the specification to the implementation phase.
The work is organized in two sections. In the first one, some of the most widely used scheduling algorithms are discussed, highlighting their underlying hyphoteses. In the second section we exploit contextual logic programming mechanims to structure relevant knowledge (such as kernels, task and resource configuration, hardware architecture, etc.) in order to provide a flexible and dynamically configurable system allowing users to find out a feasible schedule satisfying both logical and architectural constraints.