scholarly journals An efficient multi-view design model for real-time interactive synthesis

1992 ◽  
Author(s):  
Wu ◽  
Hadley ◽  
Gajski
Keyword(s):  
Real Time ◽  
Design Model

A Design Model for a Real-Time Voice Storage System

1982 ◽  
Vol 30 (1) ◽  
pp. 53-57 ◽  
Author(s):  
S. Hattori ◽  
S. Morita ◽  
Y. Fujii ◽  
Moo Kim
Keyword(s):  
Real Time ◽  
Storage System ◽  
Design Model

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.

From real-time design model to RTOS-specific models: a model-driven methodology

2019 ◽  
Vol 11 (6) ◽  
pp. 738
Author(s):  
Mohamed Abid ◽  
Rania Mzid ◽  
Chokri Mraidha ◽  
Jean Philippe Babau
Keyword(s):  
Real Time ◽  
Design Model ◽  
Model Driven

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).

Mapping a Real-Time System Graphics Design Model to Windows CE

2013 ◽  
Vol 462-463 ◽  
pp. 920-923
Author(s):  
Xiao Yan Liu ◽  
Qin Tao Ma ◽  
Xiao Dong Fu
Keyword(s):  
Real Time ◽  
Windows Ce ◽  
Design Model ◽  
Application Framework ◽  
Time System ◽  
Real Time System ◽  
Mapping Rules ◽  
System Calls ◽  
Graphics Design

Presents mapping rules of a real-time system graphics design model to system calls and C++ application framework under Windows CE platform, based on research and analysis for an abstraction executive of real-time software and Windows CE, including the mapping rules of task, semaphore, interrupt and alarm object. The principles of communication between real-time objects and mapping methods are given.

From real-time design model to RTOS-specific models: a model-driven methodology

2019 ◽  
Vol 11 (6) ◽  
pp. 738
Author(s):  
Rania Mzid ◽  
Chokri Mraidha ◽  
Jean Philippe Babau ◽  
Mohamed Abid
Keyword(s):  
Real Time ◽  
Design Model ◽  
Model Driven

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).

Sign in / Sign up

Export Citation Format

Share Document