Özetçe. Bir sistemi oluşturan dağıtık elektronik kontrol birimleri arasındaki iletişim gerekleri, birimler arası veriyolunun seçimini ve tasarımını belirlemektedir. Controller Area Network (CAN) veriyolu, sağladığı bant genişliği, hata toleransı ve düşük maliyeti nedeniyle araç içi haberleşmede, akıllı evlerde ve endüstriyel kontrol sistemlerinde sıklıkla kullanılan bir protokoldür. Ancak olay ...

Šiame straipsnyje yra aprašomas tyrimas, kurio metu buvo formaliai verifikuojama adaptyvi kompiuterinė robotų sistema. Sistemos modelis sukurtas ir verifikuojamas taikant statistinį modelių patikrinimo metodą naudojant UPPAAL SMC įrankį. Darbe siūloma apjungti du populiarius sistemos organizavimo modelius – hierarchinį bei saviorganizuojantį. Tyrime analizuojamas laiko aspektas tyrinėjamas reak...

The main topic of this dissertation is the development and use of methods for formal reasoning about the correctness of real-time systems, in particular methods and tools to handle new classes of problems. In real-time systems the correctness of the system does not only depend on the order in which actions take place, but also the timing of the actions. The formal reasoning presented here is ba...

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 development process that takes into account their complex features. In this context, architectural models have been introduced in system development as convenient ab...

The goal of the project is to provide a test toolbox T-UPPAAL together with a sample random-ized test algorithm for real time systems. A real time system model checker UPPAAL is an efficient symbolic state estimator and is chosen to be the base platform for the testing extensions. The test setup idea is inspired by the un-timed system testing tool TORX. T-UPPAAL allows different environments to...