Search for dissertations about: "miremadi"

Found 3 swedish dissertations containing the word miremadi.

  2. 1. Hardware and Software Mechanisms for Control Flow Checking

    Author : Ghassem Miremadi; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; fault tolerance; error detection latency; signature monitoring; watchdog processor; dependability evaluation; transient faults; physical fault injection; concurrent error detection; control flow checking; error detection coverage;

    Abstract : The improvement of dependability in computing systems requires the evaluation of fault tolerance mechanisms such as error detection, error recovery and reconfiguration. Central to this thesis is an experimental evaluation of several hardware and/or software implemented mechanisms for the concurrent detection of control flow errors. READ MORE

  4. 2. A Seamless Framework for Control Function Generation

    Author : Sajed Miremadi; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Discrete Event Systems; Supervisory Control Theory; Deterministic Finite Automata; Binary Decision Diagrams; Extended Finite Automata;

    Abstract : As we progress in time, the dependence and inseparability of our daily lives to computer and software systems grow rapidly; some transparent to many of us. It is therefore crucial to have efficient design of correct and well-functioning computer and software systems. READ MORE

  5. 3. Symbolic Supervisory Control of Timed Discrete Event Systems

    Author : Sajed Miremadi; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Supervisory Control Theory; Timed Discrete Event Systems; Extended Finite Automata; Binary Decision Diagrams.;

    Abstract : With the increasing complexity of computer systems, it is crucial to have efficient design of correct and well-functioning hardware and software systems. To this end, it is often desired to control the behavior of systems to possess some desired properties. A specific class of systems is called discrete event systems (DES). READ MORE