Sciweavers

19 search results - page 1 / 4
» Verification of a Timed Multitask System With Uppaal
Sort
View
TASE
2010
IEEE
13 years 26 days ago
Verification of a Timed Multitask System With Uppaal
System and program verification has been a large
Houda Bel Mokadem, Béatrice Bérard, ...
DATESO
2010
150views Database» more  DATESO 2010»
13 years 4 months ago
Modeling and Verification of Priority Assignment in Real-Time Databases Using Uppaal
Abstract. Real-time database management systems (RTDBMS) are recently subject of an intensive research. Model checking algorithms and verification tools are of great concern as wel...
Martin Kot
RTCSA
2008
IEEE
14 years 15 days ago
Verification of COMDES-II Systems Using UPPAAL with Model Transformation
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Chri...
CODES
2008
IEEE
13 years 8 months ago
Model checking SystemC designs using timed automata
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
Paula Herber, Joachim Fellmuth, Sabine Glesner
ATVA
2008
Springer
159views Hardware» more  ATVA 2008»
13 years 8 months ago
Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
John Håkansson, Jan Carlson, Aurelien Monot,...