Yazar "Incki, Koray" seçeneğine göre listele

Listeleniyor 1 - 3 / 3
  • [ X ]
    Öğe
    Improving Awareness in Ambient-Assisted Living Systems: Consolidated Data Stream Processing
    (Springer International Publishing Ag, 2016) Incki, Koray; Aktas, Mehmet S.
    Ambient Assisted Living (AAL) aims providing a quality of life to elderly for sustaining their lives without constant supervision. The technology developments enabled devices with more processing power, longer battery life and more advanced sensor capabilities. Internet of Things (IoT) is a phenomenon that allows seamless interconnection of very small devices over Internet; bringing new opportunities for AAL solutions. AAL systems equipped with IoT devices will generate vast amount of data in short time, thus a big data problem to mangle. This study proposes a simulation infrastructure that allows researchers to create their own AAL scenarios without real devices, and a system architecture to tackle the big data problem that is inferred by utilization of IoT in AAL systems. In order to understand feasibility of the architecture we conduct a performance experiment, in which we increase the number of messages that the system can handle per second. The resulst of the experiment are promising.
  • [ X ]
    Öğe
    Mobile Application Verification: A Systematic Mapping Study
    (Springer-Verlag Berlin, 2015) Sahinoglu, Mehmet; Incki, Koray; Aktas, Mehmet S.
    The proliferation of mobile devices and applications has seen an unprecedented rise in recent years. Application domains of mobile systems range from personal assistants to point-of-care health informatics systems. Software development for such diverse application domains requires stringent and well-defined development process. Software testing is a type of verification that is required to achieve more reliable system. Even though, Software Engineering literature contains many research studies that address challenging issues in mobile application development, we could not have identified a comprehensive literature review study on this subject. In this paper, we present a systematic mapping of the Software Verification in the field of mobile applications. We provide definitive metrics and publications about mobile application testing, which we believe will allow fellow researchers to identify gaps and research opportunities in this field.
  • [ X ]
    Öğe
    Runtime verification of IoT systems using Complex Event Processing
    (Institute of Electrical and Electronics Engineers Inc., 2017) Incki, Koray; Ari, Ismail; Sozer, Hasan
    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. Even though there is a considerable effort in the literature for verification of such complex and distributed systems, a practical solution for IoT systems that supports runtime system verification is still missing. In this paper, we present a runtime monitoring approach for IoT systems that exploits event relations expressed in terms of sequential interaction messaging model of Constrained Application Protocol (CoAP). We propose the use of Complex-Event Processing (CEP) to detect failures at runtime by exploiting complex event patterns defined via predetermined event algebra. We further present a simple case scenario to demonstrate the applicability of the approach on Wireless Token Ring Protocol execution. © 2017 IEEE.