The Formal Design Model of a Real-Time Operating System (RTOS+)

• DOI: 10.4018/jssci.2010070106
• Publication Date: 2011-02-15T20:13:00Z
• Authors: Yingxu Wang; Guangping Zeng; Cyprian F. Ngolah; Philip C.Y. Sheu; C. Philip Choy; Yousheng Tian
• Keywords: Real-time operating system

A real-time operating system (RTOS) provides a platform for the design and implementation of wide range applications in systems, embedded mission-critical systems. This paper presents formal model general RTOS known as RTOS+ that enables specific target to be rigorously efficiently derived real-world applications. The methodology denotational mathematics, Real-Time Process Algebra (RTPA), is described formally modeling refining architectures, static behaviors, dynamic behaviors RTOS+. conceptual introduced initial requirements system. architectural created using RTPA methodologies refined by set Unified Data Models (UDMs). are specified (UPMs). process scheduler dispatcher. work presented two papers serial due its excessive length. behavioral models this paper; while has been published IJSSCI 2(2).