Domain and type enforcement for real-time operating systems

This paper presents a security concept for real-time operating systems based on strong access control mechanism. For that purpose, the system is divided into a minor real-time and a major non-real-time part. The general and formal domain and type enforcement model is applied to both divisions. This paper offers an outlook on emerging applications scenarios and an examination of the effect of the proposed concept under expected attacks. In addition, requirements and practical aspects of an implementation are discussed.