 
Mentor Graphics
View Technical Publication Library
| |
-
paper
-
Model-checking Middleware-based Event-driven Real-time Embedded Software
Component frameworks such as the CORBA Component Model (CCM) and middleware services such as the CORBA Event Service are increasingly being used to build safety/mission-critical distributed real-time embedded (DRE) systems.
In this paper, we present a novel model-checking infrastructure for checking global temporal properties of DRE systems built on top of a Real-Time CORBA Event Service using CCM architectures.
preview:
http://projects.cis.ksu.edu
date: 1/1/2003
 |
-
paper
-
Trade-Offs Between Real-Time and Fault Tolerance for Middleware Applications
The OMG’s Real-Time CORBA (RT-CORBA) and Fault-Tolerant CORBA (FT-CORBA) specifications make it possible for today’s CORBA implementations to exhibit either real-time or fault tolerance in isolation.
While real-time requires a priori knowledge of the system’s temporal operation, fault tolerance necessarily deals with faults that occur unexpectedly, and with possibly unpredictable fault recovery times.
When both real-time and...
preview:
http://www.ece.cmu.edu
date: 1/1/2002
-
paper
-
Virtualization: Requirements
This document of the SCOPE Alliance Virtualization Working Group aims to provide a set of hardware and software virtualization requirements that describe functional and non-functional aspects of virtualization features required by the NEPs/TEMs in support of their carrier grade telecommunications solutions.
The initial focus of the Virtualization Working Group is on the core networking area, with emphasis on the control and data planes....
preview:
http://www.scope-alliance.org
date: 6/1/2008
-
paper
-
Virtualization: State of the Art
This purpose of this document is to describe the state-of-the-art of virtualization with a focus on system virtualization, rather than application virtualization.
This document aims to classify the various virtualization approaches, along with their goals, advantages and drawbacks.
Such a classification is expected to help identify virtualization technologies that might be applied within the network/telecommunications equipment space.
In...
preview:
http://www.scope-alliance.org
date: 4/1/2008
 more
1
2
 |
