منابع مشابه
UPPAAL in 1995
UPPAAL is a tool suite for automatic verification of safety and bounded liveness properties of real-time systems modeled as networks of timed automata [12, 9, 4], developed during the past two years. In this paper, we summarize the main features of UPPAAL in particular its various extensions developed in 1995 as well as applications to various case-studies, review and provide pointers to the th...
متن کاملUPPAAL: Status & Developments
Uppaal is a tool box for validation (via graphical simulation) and veri cation (via automatic model-checking) of real-time systems, based on constraint solving and onthey techniques. It consists of three main parts: a description language, a simulator and a model-checker. It is appropriate for systems that can be modelled as networks of timed automata [3, 2], i.e. a collection of non-determinis...
متن کاملUPPAAL Implementation Secrets
In this paper we present the continuous and on-going development of datastructures and algorithms underlying the verification engine of the tool Uppaal. In particular, we review the datastructures of Difference Bounded Matrices, Minimal Constraint Representation and Clock Difference Diagrams used in symbolic state-space representation and -analysis for real-time systems. In addition we report o...
متن کاملNew Uppaal Architecture
We present the design of the new model-checking engine architecture and new internal data structures for the next generation of Uppaal. Experimental results demonstrate that the new implementation based on these structures improves the efficiency of Uppaal by about 80% in both time and space. In addition, the new version is built to handle hierarchical models. The challenge in handling hierarch...
متن کاملNew Generation of UPPAAL ?
Uppaal is a tool-set for the design and analysis of real-time systems. In 6] a relatively complete description of Uppaal before 1997 has been given. This paper is focused on the most recent developments and also to complement the paper of 6]. The rst prototype of Uppaal, named Tab at the time, was developed at Uppsala University in 1993 by Wang Yi et al. Its theoretical foundation was presented...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: BRICS Report Series
سال: 1996
ISSN: 1601-5355,0909-0878
DOI: 10.7146/brics.v3i60.18772