ANSOFT 1999 | Sciweavers

11

ANSOFT
1999

74views more ANSOFT 1999»

On Coping with Real-Time Software Dynamic Inconsistency by Built-in Tests

13 years 4 months ago

In real-time systems, dynamic inconsistencies of software are hardly detected, diagnosed and handled. A built-in test (BIT) method is developed to cope with software dynamic incon...

Yingxu Wang, Graham King, Dilip Patel, Shushma Pat...

claim paper

Read More »

9

click to vote

ANSOFT
1999

39views more ANSOFT 1999»

A time/structure based software reliability model

13 years 4 months ago

Download srel.ee.duke.edu

Swapna S. Gokhale, Kishor S. Trivedi

claim paper

Read More »

8

click to vote

ANSOFT
1999

47views more ANSOFT 1999»

Towards Reusable Real-Time Objects

13 years 4 months ago

Download www-osl.cs.uiuc.edu

Brian Nielsen, Gul Agha

claim paper

Read More »

8

click to vote

ANSOFT
1999

85views more ANSOFT 1999»

Modeling Concurrent Real-Time Processes Using Discrete Events

13 years 4 months ago

Download ptolemy.eecs.berkeley.edu

We give a formal framework for studying real-time discrete-event systems. It describes concurrent processes as sets of possible behaviors. Compositions of processes are processes ...

Edward A. Lee

claim paper

Read More »

12

click to vote

ANSOFT
1999

43views more ANSOFT 1999»

A Practical Approach to Implementing Real-Time Semantics

13 years 4 months ago

Download www.cs.odu.edu

Girish Bhat, Rance Cleaveland, Gerald Lüttgen

claim paper