523 search results - page 4 / 105 » Online Testing of Real-time Systems Using Uppaal |
MAM
2008
13 years 7 months ago
2008
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...
RTSS
1999
IEEE
13 years 11 months ago
1999
IEEE
SEKE
2007
Springer
14 years 1 months ago
2007
Springer
Agent based online auctions have not yet become popular because they are not trustable. One of the major concerns in agent based online auctions is the shilling behavior problem, w...
WCET
2007
13 years 8 months ago
2007
Memory corruption is one of the most common software failures. For sequential software and multitasking software with synchronized data accesses, it has been shown that program fa...
FM
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...