Sökning: "Model Abstraction"

Visar resultat 1 - 5 av 159 avhandlingar innehållade orden Model Abstraction.

1. 1. Few is Just Enough! : Small Model Theorem for Parameterized Verification and Shape Analysis

   Författare :Frédéric Haziza; Parosh Aziz Abdulla; Tomáš Vojnar; Uppsala universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; program verification; model checking; parameterized systems; infinite-state systems; reachability; approximation; safety; tree systems; shape analysis; small model properties; view abstraction; monotonic abstraction; Computer Science; Datavetenskap;

   Sammanfattning : This doctoral thesis considers the automatic verification of parameterized systems, i.e. systems with an arbitrary number of communicating components, such as mutual exclusion protocols, cache coherence protocols or heap manipulating programs. The components may be organized in various topologies such as words, multisets, rings, or trees. LÄS MER

3. 2. Semantics, Decision Procedures, and Abstraction Refinement for Symbolic Trajectory Evaluation

   Författare :Jan-Willem Roorda; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Semantics; Abstraction; Satisfiability Solver; Symbolic Trajectory Evaluation; Formal Verification.; Model Checking;

   Sammanfattning : The rapid growth in hardware complexity has led to a need for formal verification of hardware designs to prevent bugs from entering the final silicon. Model-checking is a verification method in which a model of a system is checked against a property, describing the desired behaviour of the system over time. LÄS MER

4. 3. Validation of a Standard- and Metric-Based Software Quality Model : Creating the Prerequisites for Experimentation

   Författare :Rüdiger Lincke; Växjö universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Software Quality; Metrics; Quality Model; Meta-model; ISO 9126; Computer science; Datalogi; Computer and Information Sciences Computer Science; Data- och informationsvetenskap;

   Sammanfattning : Our long term research goal is to validate a standard- and metric-based software quality model. Today, ambiguous metric definitions lead to incomparable implementation variants in tools. LÄS MER

5. 4. Dynamic Abstraction for Interleaved Task Planning and Execution

   Författare :Per Nyblom; Patrick Doherty; Lars Karlsson; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Artificial Intelligence; Dynamic Abstraction; Task Planning; Automatic Model Construction; Meta-modelling; Computer science; Datavetenskap;

   Sammanfattning : It is often beneficial for an autonomous agent that operates in a complex environment to make use of different types of mathematical models to keep track of unobservable parts of the world or to perform prediction, planning and other types of reasoning. Since a model is always a simplification of something else, there always exists a tradeoff between the model’s accuracy and feasibility when it is used within a certain application due to the limited available computational resources. LÄS MER

7. 5. An Approach to Diagnosability Analysis for Interacting Finite State Systems

   Författare :Dan Lawesson; Ulf Nilsson; Inger Klein; Albert Benveniste; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Model-based diagnosis; abstraction; finite state systems; discrete event systems; Computer science; Datalogi;

   Sammanfattning : Fault isolation is the process of reasoning required to find the cause of a system failure. In a model-based approach, the available information is a model of the system and some observations. LÄS MER