3801 search results - page 114 / 761 » An Approach to Modeling Software Safety |
145
click to vote
IFM
2009
Springer
15 years 10 months ago
2009
Springer
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...
147
click to vote
CBSE
2005
Springer
15 years 9 months ago
2005
Springer
We previously developed a component-oriented model that combines ideas from self-organizing architectures and from design by contract to address the complexity of design in multi-t...
140
click to vote
IFM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
189
click to vote
IMCSIT
2010
2010
Integration of Scheduling Analysis into UML Based Development Processes Through Model Transformation
14 years 11 months ago
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...
127
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
We present in this paper a library to compute with Taylor models, a technique extending interval arithmetic to reduce decorrelation and to solve differential equations. Numerical s...