A Software Architecture For Simplifying Verification of System Timing Properties

When real-time embedded systems are constructed using conventional software architectures, it is often practically impossible to verify their timing properties. This paper describes a software architecture based on pre-run-time scheduling that greatly simplifies the task of verifying a real-time embedded system´s timing properties.