| 1. |
- Behrmann, Gerd, et al.
(författare)
-
Developing UPPAAL over 15 years
- 2011
-
Ingår i: Software, practice & experience. - : Wiley. - 0038-0644 .- 1097-024X. ; 41:2, s. 133-142
-
Tidskriftsartikel (refereegranskat)
|
|
| 2. |
- Behrmann, Gerd, et al.
(författare)
-
New UPPAAL Architecture
- 2002
-
Ingår i: Workshop on Real-Time Tools.
-
Konferensbidrag (refereegranskat)
|
|
| 3. |
- Behrmann, Gerd, et al.
(författare)
-
UPPAAL - Present and Future
- 2001
-
Ingår i: Proceedings of the 40th IEEE Conference on Decision and Control.
-
Konferensbidrag (refereegranskat)
|
|
| 4. |
- Behrmann Gerd,, et al.
(författare)
-
UPPAAL Implementation Secrets
- 2002
-
Ingår i: International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems. ; , s. 3-
-
Konferensbidrag (refereegranskat)
|
|
| 5. |
- David, Alexandre, et al.
(författare)
-
A Tool Architecture for the Next Generation of UPPAAL
- 2003
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- We present the design of the model-checking engine and internal data structures for the next generation of UPPAAL. The design is based on a pipeline architecture where each stage represents one independent operation in the verification algorithms. The architecture is based on essentially one shared data structure to reduce redundant computations in state exploration, which unifies the so-called passed and waiting lists of the traditional reachability algorithm. In the implementation, instead of using standard memory management functions from general-purpose operating systems, we have developed a special-purpose storage manager to best utilize sharing in physical storage. We present experimental results supporting these design decisions. It is demonstrated that the new design and implementation improves the efficiency of the current distributed version of UPPAAL by about 60% in time and 80% in space.
|
|
| 6. |
|
|
| 7. |
|
|
