Sökning: "Formal modeling and Analysis"

Visar resultat 31 - 35 av 51 avhandlingar innehållade orden Formal modeling and Analysis.

  1. 31. Enabling Tool Support for Formal Analysis of ECA Rules

    Författare :AnnMarie Ericsson; Sten F. Andler; José Júlio Alferes; Linköpings universitet; []
    Nyckelord :ECA rules; Timed automata; Formal veri¯cation; TECHNOLOGY; TEKNIKVETENSKAP; Teknik;

    Sammanfattning : Rule-based systems implemented as event-condition-action (ECA) rules utilize a powerful and flexible paradigm when it comes to specifying systems that need to react to complex situation in their environment. Rules can be specified to react to combinations of events occurring at any time in any order. LÄS MER

  3. 32. Symbolic Supervisory Control of Resource Allocation Systems

    Författare :Zhennan Fei; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Resource Allocation System; Binary Decision Diagram.; Discrete Event System; Supervisory Control Theory;

    Sammanfattning : Supervisory control theory (SCT) is a formal model-based methodology for verification and synthesis of supervisors for discrete event systems (DES). The main goal is to guarantee that the closed-loop system fulfills given specifications. SCT has great promise to assist engineers with the generation of reliable control functions. LÄS MER

  4. 33. Solute Transport Across Scales : Time Series Analyses of Water Quality Responses to Quantify Retention and Attenuation Mechanisms in Watersheds

    Författare :Joakim Riml; Anders Wörman; Aaron I. Packman; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Solute transport modeling; Transient storage; Tracer test; Central temporal moments; Spectral analysis; Parameterization;

    Sammanfattning : The intra-continental movement of waterborne contaminants is governed by the distribution of solute load in the landscape along with the characteristics and distribution of the hydrological pathways that transport the solutes. An understanding of the processes affecting the transport and fate of the contaminants is crucial for assessments of solute concentrations and their environmental effect on downstream recipients. LÄS MER

  5. 34. Systematic Design and Analysis of Customized Data Management for Real-Time Database Systems

    Författare :Simin Cai; Cristina Seceleanu; Barbara Gallina; Dag Nyström; Marieke Huisman; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

    Sammanfattning : Modern real-time data-intensive systems generate large amounts of data that are processed using complex data-related computations such as data aggregation. In order to maintain logical data consistency and temporal correctness of the computations, one solution is to model the latter as transactions and manage them using a Real-Time Database Management System (RTDBMS). LÄS MER

  7. 35. Model-checking and Model-based Testing of Automotive Embedded Systems : Starting from the System Architecture

    Författare :Raluca Marinescu; Cristina Seceleanu; Bernhard Aichernig; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Sammanfattning : Nowadays, modern vehicles are equipped with electrical and electronic systems that implement highly complex functions such as anti-lock braking or cruise control. The use of such embedded systems in the automotive domain requires a revised development process that addresses their particular features. LÄS MER