Sciweavers

13 search results - page 1 / 3
» safecomp 2007
Sort
View
SAFECOMP
2007
Springer
13 years 11 months ago
Establishing Evidence for Safety Cases in Automotive Systems - A Case Study
Willem Ridderhof, Hans-Gerhard Groß, Heiko D...
SAFECOMP
2007
Springer
13 years 11 months ago
Improving Test Coverage for UML State Machines Using Transition Instrumentation
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...
Mario Friske, Bernd-Holger Schlingloff
SAFECOMP
2007
Springer
13 years 11 months ago
Software Encoded Processing: Building Dependable Systems with Commodity Hardware
In future, the decreasing feature size and the reduced power supply will make it much more difficult to built reliable microprocessors. Economic pressure will most likely result in...
Ute Wappler, Christof Fetzer
SAFECOMP
2007
Springer
13 years 11 months ago
Survival by Deception
Abstract. A system with a high degree of availability and survivability can be created via service duplication on disparate server platforms, where a compromise via a previously un...
Martin Gilje Jaatun, Åsmund Ahlmann Nyre, Ja...