Search
Now showing items 1-7 of 7
Multivariate sensor data analysis for oil refineries and multi-mode identification of system behavior in real-time
(IEEE, 2018)
Large-scale oil refineries are equipped with mission-critical heavy machinery (boilers, engines, turbines, and so on) and are continuously monitored by thousands of sensors for process efficiency, environmental safety, and ...
A novel runtime verification solution for LoT systems
(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 ...
Democratization of HPC cloud services with automated parallel solvers and application containers
(Wiley, 2018-11-10)
In this paper, we investigate several design choices for HPC services at different layers of the cloud computing architecture to simplify and broaden its use cases. We start with the platform-as-a-service (PaaS) layer and ...
Democratization of runtime verification for internet of things
(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 ...
Stream analytics and adaptive windows for operational mode identification of time-varying industrial systems
(IEEE, 2018-09-07)
It is necessary to develop accurate, yet simple and efficient models that can be used with high-speed industrial data streams. In this paper, we develop a mode identification technique using stream analytics and show that ...
Observing interoperability of IoT systems through model-based testing
(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 ...
Model-based runtime monitoring of smart city systems
(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 ...
Share this page