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

2010 ◽  
Vol 2 (3) ◽  
pp. 79-105 ◽  
Author(s):  
Yingxu Wang ◽  
Guangping Zeng ◽  
Cyprian F. Ngolah ◽  
Philip C.Y. Sheu ◽  
C. Philip Choy ◽  
...  
Keyword(s):  
Operating System ◽  
Real Time ◽  
Process Models ◽  
Design Model ◽  
Time Process ◽  
Critical Systems ◽  
Dynamic Behaviors ◽  
Real Time Operating System ◽  
Wide Range ◽  
Formal Design

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 in serial due to its excessive length. The static and dynamic behavioral models of RTOS+ is described in this paper; while the conceptual and architectural models of RTOS+ has been published in IJSSCI 2(2).

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

2010 ◽  
Vol 2 (2) ◽  
pp. 105-122 ◽  
Author(s):  
Yingxu Wang ◽  
Cyprian F. Ngolah ◽  
Guangping Zeng ◽  
Philip C.Y. Sheu ◽  
C. Philip Choy ◽  
...  
Keyword(s):  
Operating System ◽  
Real Time ◽  
Process Models ◽  
Design Model ◽  
Time Process ◽  
Critical Systems ◽  
Dynamic Behaviors ◽  
Real Time Operating System ◽  
Wide Range ◽  
Formal Design

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.

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

2012 ◽  
pp. 219-235
Author(s):  
Yingxu Wang ◽  
Cyprian F. Ngolah ◽  
Guangping Zeng ◽  
Phillip C.-Y. Sheu ◽  
C. Philip Choy ◽  
...  
Keyword(s):  
Operating System ◽  
Real Time ◽  
Process Models ◽  
Design Model ◽  
Time Process ◽  
Critical Systems ◽  
Behavioral Models ◽  
Dynamic Behaviors ◽  
Real Time Operating System ◽  
Formal Design

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.

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

2012 ◽  
pp. 236-262
Author(s):  
Yingxu Wang ◽  
Guangping Zeng ◽  
Cyprian F. Ngolah ◽  
Phillip C.-Y. Sheu ◽  
C. Philip Choy ◽  
...  
Keyword(s):  
Operating System ◽  
Real Time ◽  
Process Models ◽  
Design Model ◽  
Time Process ◽  
Critical Systems ◽  
Behavioral Models ◽  
Dynamic Behaviors ◽  
Real Time Operating System ◽  
Formal Design

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 in serial due to its excessive length. The static and dynamic behavioral models of RTOS+ is described in this paper; while the conceptual and architectural models of RTOS+ has been published in IJSSCI 2(2).

Real-Time Operating System Standards

1991 ◽  
Vol 24 (2) ◽  
pp. 25-26
Author(s):  
C.D. Locke ◽  
R.P. Cook ◽  
K.D. Gordon ◽  
H. Tokuda
Keyword(s):  
Operating System ◽  
Real Time ◽  
Real Time Operating System

Silicon real time operating system for embedded DSPs

2006 ◽  
Author(s):  
Zeeshan Murtaza ◽  
Shoab Khan ◽  
Abid Rafique ◽  
Khalid Bajwa ◽  
Umer Zaman
Keyword(s):  
Operating System ◽  
Real Time ◽  
Real Time Operating System

EMERALDS-OSEK: A Small Real-Time Operating System for Automotive Control and Monitoring

1999 ◽  
Author(s):  
Khawar M. Zuberi ◽  
Padmanabhan Pillai ◽  
Kang G. Shin ◽  
Takaaki Imai ◽  
Wataru Nagaura ◽  
...  
Keyword(s):  
Operating System ◽  
Real Time ◽  
Automotive Control ◽  
Real Time Operating System
Sign in / Sign up

Export Citation Format

Share Document