Consider a RT system that is to be developed to control safety-critical machinery in an electric power generating station. Write down a set of verifiable requirements for such a system. Modify Fig....

Consider a RT system that is to be developed to control safety-critical machinery in an electric power generating station. Write down a set of verifiable requirements for such a system. Modify Fig. 5.28 by annotating it with appropriate content from the MARTE Profile. List some factors that are important in selecting a Scheduling Policy to be implemented by a Scheduler?