136 search results - page 14 / 28 » Model-Based Systems in the Automotive Industry |
120
click to vote
UML
2004
Springer
15 years 5 months ago
2004
Springer
We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven ...
133
click to vote
ENTCS
2007
15 years 15 days ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
80
Voted
HASE
2007
IEEE
15 years 6 months ago
2007
IEEE
In order to facilitate incremental modeling and analysis of fault-tolerant embedded systems, we introduce an object analysis pattern, called the detector pattern, that provides a ...
88
Voted
DSN
2006
IEEE
15 years 6 months ago
2006
IEEE
Fault-tolerant time-triggered communication relies on the synchronization of local clocks. The startup problem is the problem of reaching a sufficient degree of synchronization a...
97
Voted
WSCG
2001
15 years 1 months ago
2001
We present a visualization system allowing non-programmers to visualize, explore, and analyze unknown multivariate data by designing an appropriate glyph representation with minim...