Ethernet-based AFDX simulation and time delay analysis

Nowadays, new civilian aircraft have applied new technology and the amount of embedded systems and functions raised. Traditional avionics data buses design can‘t meet the new transmission requirements regarding weight and complexity due to the number of needed buses. On the other hand, Avionics Full Duplex Switched Ethernet (AFDX) with sufficient bandwidth and guaranteed services is considered as the next generation of avionics data bus. One of the important issues in Avionics Full Duplex Switched Ethernet is to ensure the data total time delay to meet the requirements of the safety-critical systems on aircraft such as flight control system. This research aims at developing an AFDX time delay model which can be used to analyse the total time delay of the AFDX network. By applying network calculus approach, both (σ,ρ) model and Generic Cell Rate Algorithm (GCRA) model are introduced. For tighter time-delay result, GCRA model is applied. Meanwhile, the current AFDX network simulation platform, FACADE, will be enhanced by adding new functions. Moreover, avionics application simulation modules are developed to exchange data with FACADE. The total time delay analysis will be performed on the improved FACADE to validate this AFDX network simulation platform in several scenarios. Moreover, each scenario is appropriated to study the association between total time delay performance and individual variable. The results from updated FACADE reflect the correlation between total time delay and certain variables. Larger BAG and more switches between source and destination end systems introduce larger total time delay while Lmax could also affect the total time delay. However, the results illustrate that the total time delays from updated FACADE are much larger than GCRA time delay model which could up to 10 times which indicates that this updated FACADE needs further improvement

Conceptual Models for Assessment & Assurance of Dependability, Security and Privacy in the Eternal CONNECTed World

This is the first deliverable of WP5, which covers Conceptual Models for Assessment & Assurance of Dependability, Security and Privacy in the Eternal CONNECTed World. As described in the project DOW, in this document we cover the following topics: • Metrics definition • Identification of limitations of current V&V approaches and exploration of extensions/refinements/ new developments • Identification of security, privacy and trust models WP5 focus is on dependability concerning the peculiar aspects of the project, i.e., the threats deriving from on-the-fly synthesis of CONNECTors. We explore appropriate means for assessing/guaranteeing that the CONNECTed System yields acceptable levels for non-functional properties, such as reliability (e.g., the CONNECTor will ensure continued communication without interruption), security and privacy (e.g., the transactions do not disclose confidential data), trust (e.g., Networked Systems are put in communication only with parties they trust). After defining a conceptual framework for metrics definition, we present the approaches to dependability in CONNECT, which cover: i) Model-based V&V, ii) Security enforcement and iii) Trust management. The approaches are centered around monitoring, to allow for on-line analysis. Monitoring is performed alongside the functionalities of the CONNECTed System and is used to detect conditions that are deemed relevant by its clients (i.e., the other CONNECT Enablers). A unified lifecycle encompassing dependability analysis, security enforcement and trust management is outlined, spanning over discovery time, synthesis time and execution time

WiMAX (IEEE 802.16)-profıbus arabağlaşım elemanının petri ağlarla modellenmesi ve performans analizi

06.03.2018 tarihli ve 30352 sayılı Resmi Gazetede yayımlanan “Yükseköğretim Kanunu İle Bazı Kanun Ve Kanun Hükmünde Kararnamelerde Değişiklik Yapılması Hakkında Kanun” ile 18.06.2018 tarihli “Lisansüstü Tezlerin Elektronik Ortamda Toplanması, Düzenlenmesi ve Erişime Açılmasına İlişkin Yönerge” gereğince tam metin erişime açılmıştır.Endüstriyel kontrol uygulamalarında saha seviyesindeki dağıtık kontrolör cihazların haberleşmesinde sahayolu ağları kullanılmaktadır. PROFIBUS (PROcess FIeld BUS) uluslararası standartlarla (IEC61158, EN50170) tanımlanmış en popüler sahayoludur. Üretim (fabrika), süreç ve bina otomasyon uygulamalarında yaygın olarak kullanılan PROFIBUS, 100 m ile 1200 m mesafede 9.6 kbps ile 12 Mbps arasındaki iletişim hızlarını desteklemektedir. Bu durum, PROFIBUS'ın daha geniş kapsama alanları ve yüksek hızlarda kullanılabilmesi için omurga teknolojisine sahip arabağlaşım elemanlarının kullanımını gerektirir.Arabağlaşım için kullanılan omurga protokolü gereksinimleri gelişen teknolojilerle birlikte değişmektedir. Günümüzde, kurulum kolaylığı ve hareketlilik avantajlarından dolayı kablolu omurga çözümlerine karşılık, kablosuz omurga çözümleri de kullanılmaya başlanmış ve hızla yaygınlaşmaktadır. Kablosuz genişbant omurga teknolojisi olan IEEE 802.16-WiMAX, görüş hattında 50 km'lik bir kapsama alanı, 120 Mbps veri transfer hızı ve farklı servis sınıflarında (UGS, rtPS, nrtPS, BE, ErtPS) hizmet kalitesi sunan bir protokoldür.Bu çalışmada, farklı lokasyonlardaki PROFIBUS segmentlerini IEEE 802.16-WiMAX kablosuz omurga teknolojisi üzerinden UGS servis sınıfı kullanarak birbirine bağlayan bir arabağlaşım birimi önerilmektedir. Bu birimin, senkronizasyon, koşutzamanlılık, kilitlenmeyi önleyebilme, üstel dağılım ve sabit zaman gecikme özellikleri olan Genelleştirilmiş Stokastik Petri Ağlar modeli sunulmaktadır. Ayrıca, model içerisinde PROFIBUS paketlerinin IEEE 802.16 paketleri içerisine kapsüllendiği önerilmektedir.Tasarlanan PROFIBUS/IEEE 802.16-WiMAX arabağlaşım birimi, geçit çıkış tampon boyutu, geçit giriş tampon boyutu, master istasyon jeton tutma süresi ve geçit PROFIBUS ayağı jeton tutma süresi parametrelerine bakılarak değerlendirilmiştir. Benzetimlerden alınan sonuçlar, arabağlaşım biriminin, farklı yükler altında yeterli bir hizmet sağladığını ve fiziksel gerçeklemesini yapacak olan kişiler için de başarımı ölçülebilir bir tasarım modeli sunduğunu göstermektedir.In the application of industrial controlling, fieldbuses are used in the communication of distributed controller devices at field layer. PROFIBUS (PROcess FIeld BUS) which is defined with the international standards (IEC61158, EN50170) is the most popular fieldbus. PROFIBUS which is used frequently in manufacturing (factory), process and building automations, provides datarates from 9.6 kbps to 12 Mbps at distance from 100 to 1200 meters. This situation requires using of internetworking units which has backbone technology, for using PROFIBUS at more coverage area and high datarates.The requirements of a backbone protocol used for internetworking, are changed by the development in technology. Nowadays, because of advantages of easiness in installation and mobility, in addition to the wired backbone solutions, wireless backbone solutions began to be used and rapidly became common. As a wireless broadband backbone technology, IEEE 802.16-WiMAX is a protocol that can serve a 50 km coverage area, a 120 Mbps datarate and a QoS at different service classes (UGS, rtPS, nrtPS, BE, ErtPS) in line-of-sight.In this study, an internetworking unit is proposed that interconnects PROFIBUS segments placed at different locations through a wireless backbone technology of IEEE 802.16-WiMAX by using UGS service class. By the features of synchronization, concurrent, deadlock avoidance, exponential distribution and constant time delay, Generalized Stochastic Petri Nets model of the unit is done. Also in the model, it is proposed that PROFIBUS packets are encapsulated into IEEE 802.16 packets.The designed PROFIBUS/IEEE 802.16-WiMAX internetworking unit is analyzed according to gateway output buffer size, gateway input buffer size, master station token holding time and gateway PROFIBUS side token holding time parameters. The outputs of simulations show that internetworking unit can support a sufficient service under different loads and present a designed model with a measurable performance for the people who want to implement it physically

Recent advances in petri nets and concurrency

CEUR Workshop Proceeding

Pathological neural circuit states of the dorsal striatum in Parkinson's disease

Parkinson's disease (PD) affects millions of people around the world, and its prevalence keeps rising. To develop more effective treatments for these patients, a better understanding of the network dynamics in the basal ganglia circuitry is needed. In the basal ganglia, the dorsal striatum guides voluntary movement by integrating cortical and sub-cortical inputs. It is known that dopamine degeneration in PD increases striatal cholinergic tone and dysregulates the striatal neural network, which are related to motor deficits. However, it is unclear how altered striatal circuits relate to the dopamine-acetylcholine chemical imbalance and abnormal local field potential (LFP) oscillations that are increasingly used as neurophysiological biomarkers of PD. In this dissertation we performed a multimodal analysis of the dorsal striatum using cell type specific calcium imaging and LFP recording in behaving mice. We reveal that dopamine depletion selectively enhances LFP beta oscillations (~10-30Hz) during impaired locomotion, supporting beta oscillations as a biomarker for PD. We further demonstrate that dysfunctional striatal output arises from elevated coordination within medium spiny projection neurons (SPN), which is accompanied by reduced locomotor encoding of parvalbumin interneurons (PV), and transient pathological LFP high-gamma oscillations. We also show that dynamic cholinergic interneuron (CHI) activity during locomotion remains unaltered, even though increased cholinergic tone is implicated in PD. However, we detected a transient increase in SPN-CHI coordination under acute dopamine depletion. Next, we implemented convolutional neural network (CNN) classifiers in order to automatically distinguish between healthy and pathological neural states. We demonstrate that the changes in calcium activity following dopamine depletion are well conserved across animals, and that a few seconds of population calcium activity calculated as the mean of tens of neurons is sufficient to identify dopamine depletion state with high accuracy. Finally, we show that classifiers based on striatal LFPs did not generalize well to new animals, though LFP signals and locomotor speed together were sufficient to accurately identify dopamine depletion state on new data from previously seen animals. Overall this dissertation identified key features of the pathological striatal circuit states following dopamine depletion where distinct striatal neuron subtypes are selectively coordinated with LFP oscillations during locomotion. This furthered our understanding of the neural network basis of PD and contribute to the development of future adaptive deep brain stimulation therapies and PD early detection tools