Search Sciweavers | Sciweavers

9210 search results - page 53 / 1842

» Analyzing Real-Time Systems

click to vote

DFT
1998
IEEE

94views VLSI» more DFT 1998»

An Integrated HW and SW Fault Injection Environment for Real-Time Systems

13 years 12 months ago

Download www.cad.polito.it

This paper describes a system suited to support the Fault Injection process for microprocessor-based embedded systems. The system exploits a low-cost hardware board to monitor the...

Alfredo Benso, Maurizio Rebaudengo, Matteo Sonza R...

claim paper

Read More »

click to vote

RTSS
1994
IEEE

85views Control Systems» more RTSS 1994»

Computing Quantitative Characteristics of Finite-State Real-Time Systems

13 years 11 months ago

Download www.cs.cmu.edu

Sérgio Vale Aguiar Campos, Edmund M. Clarke...

claim paper

Read More »

click to vote

HYBRID
1995
Springer

150views Control Systems» more HYBRID 1995»

UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems

13 years 11 months ago

Download www.brics.dk

Johan Bengtsson, Kim Guldstrand Larsen, Fredrik La...

claim paper

Read More »

click to vote

LCTRTS
1995
Springer

83views System Software» more LCTRTS 1995»

Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems

13 years 11 months ago

Download www-2.cs.cmu.edu

Sérgio Vale Aguiar Campos, Edmund M. Clarke...

claim paper

Read More »

click to vote

RTSS
1995
IEEE

131views Control Systems» more RTSS 1995»

The Design of Large Real-Time Systems: The Time-Triggered Approach

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers