Welcome to the InfoSci Platform
Reference Hub20
The Formal Design Model of a Real-Time Operating System (RTOS+): Conceptual and Architectural Frameworks

The Formal Design Model of a Real-Time Operating System (RTOS+): Conceptual and Architectural Frameworks

Yingxu Wang, Cyprian F. Ngolah, Guangping Zeng, Philip C.Y. Sheu, C. Philip Choy, Yousheng Tian
Copyright: © 2010 |Volume: 2 |Issue: 2 |Pages: 18
ISSN: 1942-9045|EISSN: 1942-9037|EISBN13: 9781609604196|DOI: 10.4018/jssci.2010040106
Cite Article Cite Article

MLA

Wang, Yingxu, et al. "The Formal Design Model of a Real-Time Operating System (RTOS+): Conceptual and Architectural Frameworks." IJSSCI vol.2, no.2 2010: pp.105-122. http://doi.org/10.4018/jssci.2010040106

APA

Wang, Y., Ngolah, C. F., Zeng, G., Sheu, P. C., Choy, C. P., & Tian, Y. (2010). The Formal Design Model of a Real-Time Operating System (RTOS+): Conceptual and Architectural Frameworks. International Journal of Software Science and Computational Intelligence (IJSSCI), 2(2), 105-122. http://doi.org/10.4018/jssci.2010040106

Chicago

Wang, Yingxu, et al. "The Formal Design Model of a Real-Time Operating System (RTOS+): Conceptual and Architectural Frameworks," International Journal of Software Science and Computational Intelligence (IJSSCI) 2, no.2: 105-122. http://doi.org/10.4018/jssci.2010040106

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

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

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.