Search Sciweavers | Sciweavers

168 search results - page 1 / 34

» Towards validated real-time software

click to vote

MOBILERESPONSE
2007
Springer

146views Communications» more MOBILERESPONSE 2007»

Towards the Integration of Real-Time Real-World Data in Urban Search and Rescue Simulation

13 years 10 months ago

Download www.informatik.uni-freiburg.de

Abstract. The coordinated reaction to a large-scale disaster is a challenging research problem. The Robocup rescue simulation league addresses this research problem but is currentl...

Holger Kenn, Alexander Kleiner

claim paper

Read More »

click to vote

FDL
2004
IEEE

304views Natural Language Processing» more FDL 2004»

Real-Time Operating System Services for Realistic SystemC Simulation Models of Embedded Systems

13 years 8 months ago

Download www.vlsi.informatik.tu-darmstadt.de

gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...

P. Hastono, Stephan Klaus, Sorin A. Huss

claim paper

Read More »

click to vote

ISORC
1999
IEEE

198views Distributed And Parallel Com...» more ISORC 1999»

Applying Use Cases for the Requirements Validation of Component-Based Real-Time Software

13 years 9 months ago

Download elib.uni-stuttgart.de

Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...

Wolfgang Fleisch

claim paper

Read More »

click to vote

DSN
2003
IEEE

137views Computer Networks» more DSN 2003»

An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software

13 years 10 months ago