onr:"swepub:oai:DiVA.org:uu-49013"
Search: onr:"swepub:oai:DiVA.org:uu-49013" > A Tool Architecture...
- 1 of 1
- Previous record
- Next record
- To hitlist
A Tool Architecture for the Next Generation of UPPAAL
-
- David, Alexandre (author)
- Uppsala universitet,Datorteknik,COMPUTER SYSTEMS
- Behrmann, Gerd (author)
- Larsen, Kim G. (author)
- show more...
- Yi, Wang (author)
- show less...
- (creator_code:org_t)
- Uppsala: Department of Information Technology, Uppsala University, 2003
- English.
- Series: Technical report / Department of Information Technology, Uppsala University, 1404-3203 ; 2003-011
- Reports (other academic/artistic)
Abstract
Subject headings
Close
- 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.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Publication and Content Type
- vet (subject category)
- rap (subject category)
To the university's database
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- David, Alexandre
- Behrmann, Gerd
- Larsen, Kim G.
- Yi, Wang
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- Parts in the series
- Technical report ...
- By the university
- Uppsala University
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
