Computer Engineering / Bilgisayar Mühendisliği

Permanent URI for this collectionhttps://hdl.handle.net/11147/10

Browse

Filters

2006 - 200912010 - 20172

Settings

COAR Resource Type: search.filters.itemCoarResourceType.text::report

Search Results

Now showing 1 - 3 of 3
  • Report
    Design Notes of Microprocessor U311.1
    (Izmir Institute of Technology, 2017) Ayav, Tolga
    This handbook includes a part of the lecture notes of CENG 311 Computer Architecture course given in the undergraduate program of the Department of Computer Engineering at Izmir Institute of Technology. One aim of this course is to introduce the preliminaries of a general purpose microprocessor design. To this end, I aim to teach a very simple microprocessor which we call μ311.1 , an 16-bit processor with only 25 instructions. This document is intended to help the students with their laboratory works. In the experimental part of the course, students are expected to implement this or another similar processor using VHDL in order to attain a sufficient knowledge and intuition about “What is really happening inside a computer system?”. In other words, starting from typing printf("value:%d",*p); they must understand compiling, assembling, linking, loading the machine code and how processors execute this code. This document aims to give a very short and abstract answer to the above question. Students may find many parts missing, too short or incomplete. Nonetheless, I hope that this will be a good starting point for their deeper research as well as their study of computer architecture.
  • Report
    Transforming Vhdl To Timed Automata
    (Izmir Institute of Technology, 2016) Ayav, Tolga; Tuğlular, Tuğkan; Belli, Fevzi
    This report presents the transformation of behavioral VHDL programs to Timed Automata.
  • Report
    Implementing Fault-Tolerance in Real-Time Systems by Automatic Program Transformations
    (Association for Computing Machinery (ACM), 2006) Ayav, Tolga; Fradet, Pascal; Girault, Alain
    We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The fault-intolerant initial system consists of a set of independent periodic tasks scheduled onto a set of fail-silent processors. We transform the tasks such that, assuming the availability of an additional spare processor, the system tolerates one failure at a time (transient or permanent). Failure detection is implemented using heartbeating, and failure masking using checkpointing and roll-back. These techniques are described and implemented by automatic program transformations on the tasks' programs. The proposed formal approach to fault-tolerance by program transformation highlights the benefits of separation of concerns and allows us to establish correctness properties.