Ayav, Tolga
Loading...
Name Variants
Ayav T.
Ayav,Tolga
Ayav, Tolga
Ayav, T.
Tolga Ayav
Ayav,Tolga
Ayav, Tolga
Ayav, T.
Tolga Ayav
Job Title
Prof. Dr.
Email Address
tolgaayav@iyte.edu.tr
Main Affiliation
Bilgisayar Mühendisliği Bölümü
Status
Website
ORCID ID
Scopus Author ID
Turkish CoHE Profile ID
Google Scholar ID
WoS Researcher ID
Sustainable Development Goals
SDG data could not be loaded because of an error. Please refresh the page or try again later.
68 results
Scholarly Output Search Results
Now showing 1 - 10 of 68
Article Otomotiv Endüstrisinde Zamanlama Mimarilerinin Değerlendirilmesi(2021) Saydam, Berkay; Ayav, Tolga; Ayav, Tolga; Bilgisayar Mühendisliği BölümüTeknolojik gelişmeler araçlara da yansırken güvenlikten ödün vermeden araçlara yeni işlevler ekleme zorluğunu da beraberinde getirmektedir. Araçlarda kullanılan çeşitli işlevleri yerine getiren görevler farklı karakteristiklere sahiptir. Güvenlik ve performans, bu görevlerin karakteristiğini belirlemek için kullanılan iki temel kriterdir. Görevlerin karakteristikleri, Otomotiv Güvenlik Bütünlük Seviyeleri olarak bilinen güvenlik seviyelerine göre sınıflandırılabilir. Donanım ve yazılım tasarımı ile ayrıca bunların doğrulanması ve testi otomotiv endüstrisinde uzun soluklu bir ilerlemedir. Bir Elektronik Kontrol Birimi sahada kullanılmaya başlandığında, donanım tasarımındaki herhangi bir değişiklik oldukça maliyetlidir. Makalede savunulan hipoteze göre, Merkezi İşlem Birimi tarafından görev yürütme sıralarını belirlemek için kullanılan zamanlama algoritmaları özenle seçilmelidir. Ayrıca donanım ve yazılım tasarımında bu karakteristik ve algoritmalar dikkate alınmalıdır. Aksi takdirde görevler, kritik bileşen için zaman kısıtının kaçırılması gibi güvenlik açısından ciddi sorunlara neden olabilmektedir. Bu makalede, zamanlama mimarileri değerlendirilerek hangi zamanlama mimarilerinin hangi amaçla kullanılması gerektiği belirtilmektedir. Algoritmaların avantaj ve dezavantajları sunulmaktadır.Master Thesis Block-chain based remote update for embedded devices(Izmir Institute of Technology, 2019-12) Kaptan, Melike; Ayav, Tolga; Ayav, Tolga; Erten, Yusuf MuratThis research work is an attempt to devise a platform to send automatic remote updates for embedded devices. In this scenario there are Original Equipment Manufacturers (OEMs), Software suppliers, Block-Chain nodes, Gateways and embedded devices. OEMs and software suppliers are there to keep their software on IPFS (Inter Planetary File System) and send the meta-data and hashes of their software to the Block-Chain nodes in order to keep this information distributed and ready to be requested and used. There are also gateways which are also the members of the Block-Chain and IPFS network. Gateways are responsible for asking for a specific update for specific devices from IPFS database using the meta-data standing on the Block-Chain. And they will send those hashed secure updates to the devices. In order to provide a traceable data keeping platform gateway update operations are handled as a transactions in the second block-chain network which is the clock-chain of the gateways. In this study implementation of the two block chain shows us that, even though the calculation overhead of the member devices, with regulations specific to the applications block-chains provide applicable platforms.Master Thesis A blockchain application for payment and traffic management in smart vehicles(Izmir Institute of Technology, 2022-07) Yiğitbaşı, Boğaçhan; Ayav, Tolga; Ayav, TolgaThe proposed solution offers an alternative way to our current retail shopping of fuel fees. It can be applied to any retail shopping process but this phase of the project is considered an initiation of upcoming. The next phases of the project, include full integration with smart cars in order to handle all procedures automatically. In the traditional way, when you buy some gas from a station with your credit card, the station owner pays some fee to his bank and it has to wait for some time to be able to get that money. You as an individual have to expose your identity so they can track your shopping habits and follow your expenses. Sometimes they may offer some loyalty discounts or gifts but with really ridiculous rates. Our system offers a digital payment system based on the Ethereum blockchain. It has its own token called TRANT (Transport Token) and by this token, any client with a digital wallet (Metamask) is able to pay their gas fees without exposing their real identity -only their wallet address-, and get some rewards in terms of TRANT for their loyalties and using our DEX (Decentralized Exchange) exchange them into the ether which can be converted into real fiat money easily. On the other hand, the proposed solution also has some advantages for the other party in this equation such as gas station owners, they immediately get their money at that very first moment without any remittance.Conference Object Fourier Analysis-based Automatic Test Pattern Generation for Combinational Circuits(Ieee, 2015) Ayav, Tolga; Ayav, Tolga; Bilgisayar Mühendisliği BölümüFourier analysis of boolean functions has attracted great attention from computer scientists in the last decade but it still has few application areas. This work presents a Fourier analysis-based automatic test pattern generation method for combinational circuits.Conference Object Towards test case generation for synthesizable VHDL programs using model checker(2010) Ayav, T.; Tuglular, T.; Belli, F.; Tuğlular, Tuğkan; Ayav, Tolga; Bilgisayar Mühendisliği BölümüVHDL programs are often tested by means of simulations, relying on test benches written intuitively. In this paper, we propose a formal approach to construct test benches from system specification. To consider the real-time properties of VHDL programs, we first transform them to timed automata and then perform model checking against the properties designated from the specification. Counterexamples returned from the model checker serve as a basis of test cases, i.e., they are used to form a test bench. The approach is demonstrated and complemented by a simple case study. © 2010 IEEE.Conference Object Neden-Sonuç Çizgelerinden Test Girilerinin Oluturulmas(CEUR-WS, 2016) Kavzak, D.; Ayav, T.; Belli, F.; Ayav, Tolga; Bilgisayar Mühendisliği BölümüCause-effect graphing is a well-known requirement based testing technique. However, since it was introduced by Myers in 1979, there seems not to have been any suffciently comprehensive studies to generate test cases from these graphs. This paper proposes to convert cause-effect graphs into Boolean expressions and find out the test cases using test input generation techniques for Boolean expressions, such as MI, MAX-A and CUTPNFP. Mutation analysis is used to compare the fault detection capabilities of these techniques and the results are also compared to the Myers' original test generation technique.Patent MC/DC testlerinin önceliklendirilmesine ilişkin bir yöntem(Türk Patent Enstitüsü, 2021-05-21) Ayav, Tolga; Ayav, Tolga; Bilgisayar Mühendisliği BölümüBuluş, MC/DC (Modified Condition/Decision Coverage) testi, DO-178 standardınca önerilen ve A seviyesinde kritik yazılımların geliştirme sürecinde kullanılan bir test yöntemi ile ilgilidir.Master Thesis A learning-based demand classification service with using XGBoost in institutional area(Izmir Institute of Technology, 2019-07) Gürakın, Çağrı; Ayav, Tolga; Ayav, TolgaThis study, purposes to explain the development stages and methodology of data classification service that has a text-based adaptable programming interface. One of the successful classification algorithms, XGBoost, was preferred in the study. The dataset that is used in the study obtained by 'Digital Business Tracking Application' of a name anonymized company. The dataset is tested by using different classification algorithms and detailed performance evaluation was conducted. As a result, highest accuracy rate is obtained with 'Data Classification Service' which was developed by using XGBoost algorithm.Article Dynamic replication strategies in data grid systems: a survey(Springer, 2015) Tos, Uras; Mokadem, Riad; Hameurlain, Abdelkader; Ayav, Tolga; Bora, Sebnem; Ayav, Tolga; Bilgisayar Mühendisliği BölümüIn data grid systems, data replication aims to increase availability, fault tolerance, load balancing and scalability while reducing bandwidth consumption, and job execution time. Several classification schemes for data replication were proposed in the literature, (i) static vs. dynamic, (ii) centralized vs. decentralized, (iii) push vs. pull, and (iv) objective function based. Dynamic data replication is a form of data replication that is performed with respect to the changing conditions of the grid environment. In this paper, we present a survey of recent dynamic data replication strategies. We study and classify these strategies by taking the target data grid architecture as the sole classifier. We discuss the key points of the studied strategies and provide feature comparison of them according to important metrics. Furthermore, the impact of data grid architecture on dynamic replication performance is investigated in a simulation study. Finally, some important issues and open research problems in the area are pointed out.Master Thesis Assessment and certification of safety critical software(Izmir Institute of Technology, 2018-07) Uzun Yenigün, Bengisu; Ayav, Tolga; Ayav, TolgaBiomedical engineering which consists of combination of various dicipline such as chemical, biology etc. produces remedies to the challenges facing the globalizing world. Therefore, it covers a wide range of area from biosensor to surgical robots. Rapid development of biomedical engineering technology is aimed to research, diagnose and treatment to modern society for providing improved living conditions. Safety critical systems are interested with systems whose failure or malfunction could cause death, serious injury, damage to equipment and environmental harm. NeuRoboScope project is a safety-critical system which navigates the optical-camera system used in the endoscopic pituitary surgery by tracking the surgery tool that the surgeon uses. This thesis gives the information of how we scrutinize NeuRoboScope project depending on standards of medical device which are ISO 14971, IEC 62304, IEC 60601 and DO-178C.
