Browsing Faculty of Engineering by Author "İnçki, Koray"
Now showing items 1-7 of 7
-
Democratization of runtime verification for internet of things
İnçki, Koray; Arı, İsmail (Elsevier, 2018-05)Internet of Things (IoT) devices have gained more prevalence in ambient assisted living (AAL) systems. Reliability of AAL systems is critical especially in assuring the safety and well-being of elderly people. Runtime ... -
Design for ARINC 653 conformance: architecting independent validation of a safety-critical RTOS
Alptekin, A.; Yilmazer, Y.; Usug, U.; Koca, F.; İnçki, Koray (IEEE, 2014)The ARINC 653 specification not only provides a standard application programming interface for an RTOS, but also specifies how to validate an ARINC 653 based RTOS. ARINC 653 Part 3 Conformity Test Specification specifies ... -
Model-based runtime monitoring of smart city systems
İnçki, Koray; Arı, İsmail (Elsevier, 2018)The pace of proliferation for smart systems in city wide applications is unmatched. The introduction of Internet of Things (IoT), an enabler of smart city phenomenon, has incubated a productive environment for such ... -
A novel runtime verification solution for LoT systems
İnçki, Koray; Arı, İsmail (IEEE, 2018)Internet of Things (IoT) systems promise a seamless connected world with machines integrating their services without human intervention. It's highly probable that the entities participating in such autonomous machine to ... -
Observing interoperability of IoT systems through model-based testing
İnçki, Koray; Arı, İsmail (Springer Nature, 2018)Internet of Things (IoT) has drastically modified the industrial services provided through autonomous machine-to-machine interactions. Such systems comprise of devices manufactured by various suppliers. Verification is a ... -
Runtime verification of Iot systems using complex event processing
İnçki, Koray; Arı, İsmail; Sözer, Hasan (IEEE, 2017)Internet of Things (IoT) is a new computing paradigm that is proliferated by wide adoption of application level protocols such as MQTT and CoAP, each of which defines different styles of sequential interaction of events. ... -
A survey of software testing in the cloud
İnçki, Koray; Arı, İsmail; Sözer, Hasan (IEEE, 2012)Cloud computing has emerged as a new computing paradigm that impacts several different research fields, including software testing. Testing cloud applications has its own peculiarities that demand for novel testing methods ...
Share this page