Sciweavers

7429 search results - page 1117 / 1486
» Embedded System Update
Sort
View
CORR
2011
Springer
149views Education» more  CORR 2011»
15 years 1 months ago
Solving k-Set Agreement with Stable Skeleton Graphs
In this paper we consider the k-set agreement problem in distributed round-based systems where processes communicate by message passing. We capture the synchrony and reliability o...
Martin Biely, Peter Robinson, Ulrich Schmid
TII
2011
206views Education» more  TII 2011»
15 years 1 months ago
Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...
Simona Bernardi, Javier Campos, José Merseg...
IFIP
2010
Springer
15 years 1 months ago
A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement
Abstract. In this article, we present a flexible simulation environment for embedded real-time software refinement by a mixed level cosimulation. For this, ne the native speed of a...
Markus Becker, Henning Zabel, Wolfgang Müller...
IMCSIT
2010
15 years 1 months ago
Integration of Scheduling Analysis into UML Based Development Processes Through Model Transformation
The complexity of embedded systems and their safety requirements have risen significantly in recent years. Models and the model based development approach help to keep overview and...
Matthias Hagner, Ursula Goltz
OSDI
2002
ACM
16 years 7 months ago
CMC: A Pragmatic Approach to Model Checking Real Code
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of ex...
Madanlal Musuvathi, David Y. W. Park, Andy Chou, D...
« Prev « First page 1117 / 1486 Last » Next »