82 search results - page 5 / 17 » Automatically transforming and relating Uppaal models of emb... |
104
Voted
ASWSD
2004
Springer
15 years 2 months ago
2004
Springer
Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development proces...
ICST
2008
IEEE
15 years 3 months ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
LCTRTS
2010
Springer
14 years 7 months ago
2010
Springer
The automotive industry has a growing demand for the seamless integration of safety analysis tools into the model-based development toolchain for embedded systems. This requires t...
SAS
2001
Springer
15 years 1 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
WOSP
2005
ACM
15 years 3 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...