Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Insup Lee is active.

Publication


Featured researches published by Insup Lee.


Archive | 2014

RT-OpenStack: a Real-Time Cloud Management System

Sisu Xi; Chong Li; Chenyang Lu; Christopher D. Gill; Meng Xu; Linh Thi Xuan Phan; Insup Lee; Oleg Sokolsky

Clouds have become appealing platforms for running not only general-purpose applications but also real-time applications. However, current clouds cannot provide real-time performance for virtual machines (VM) for two reasons: (1) the lack of a real-time virtual machine monitor (VMM) scheduler on a single host, and (2) the lack of a real-time aware VM placement scheme by the cloud manager. While real-time VM schedulers do exist, prior solutions employ either heuristics-based approaches that cannot always achieve predictable latency or apply realtime scheduling theory that may result in low CPU utilization. We observe the demand and advantage for co-hosting real-time (RT) VMs with non-real-time (regular) VMs in the same cloud. On the one hand, RT VMs can benefit from the easily deployed, elastic resource provisioning provided by a cloud; on the other hand, regular VMs can fully utilize the cloud without affecting the performance of RT VMs through proper resource management at both the cloud and hypervisor levels. This paper presents RT-OpenStack, a cloud management system for co-hosting both real-time and regular VMs. RT-OpenStack entails three main contributions: (1) integration of a real-time hypervisor (RT-Xen) and a cloud management system (OpenStack) through a realtime resource interface; (2) an extension of the RT-Xen VM scheduler to allow regular VMs to share hosts with RT VMs without jeopardizing the real-time performance of RT VMs; and (3) a VM-to-host mapping strategy that provisions real-time performance to RT VMs while allowing effective resource sharing among regular VMs. Experimental results demonstrate that RTOpenStack can support latency guarantees for RT VMs, and at the same time let regular VMs fully utilize the remaining CPU resources.


Archive | 1999

Distributed Spatial Control, Global Monitoring and Steering of Mobile Physical Agents

Diana F. Gordon; William M. Spears; Oleg Sokolsky; Insup Lee


Archive | 2009

Generic Infusion Pump Hazard Analysis and Safety Requirements Version 1.0

Raoul Jetley; Paul Jones; Insup Lee; Arnab Ray; Oleg Sokolsky; Yi Zhang


Computing & Control Engineering Journal | 2002

Process algebraic modelling and analysis of power-aware real-time systems

Insup Lee; Anna Philippou; Oleg Sokolsky


CLEF (Notebook Papers/Labs/Workshop) | 2011

Multilingual Vandalism Detection using Language-Independent & Ex Post Facto Evidence - Notebook for PAN at CLEF 2011.

Andrew G. West; Insup Lee


Archive | 2010

AS-CRED: Reputation Service for Trustworthy Inter-Domain Routing

Jian Chang; Krishna K. Venkatasubramanian; Andrew G. West; Sampath Kannan; Insup Lee; Boon Thau Loo; Oleg Sokolsky


Archive | 2008

A Default Temporal Logic for Regulatory Conformance Checking

Nikhil Dinesh; Aravind K. Joshi; Insup Lee; Oleg Sokolsky


Archive | 2011

Dual Periodic Resource Model

Jaewoo Lee; Linh Thi Xuan Phan; Sanjian Chen; Oleg Sokolsky; Insup Lee


Archive | 2018

Self-Driving Vehicle Verification Towards a Benchmark.

Nima Roohi; Ramneet Kaur; James Weimer; Oleg Sokolsky; Insup Lee


2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS) | 2018

Towards Context-Aware Cyber-Physical Systems

Radoslav Ivanov; James Weimer; Insup Lee

Collaboration


Dive into the Insup Lee's collaboration.

Top Co-Authors

Avatar

Oleg Sokolsky

Applied Science Private University

View shared research outputs
Top Co-Authors

Avatar

Andrew G. West

University of Pennsylvania

View shared research outputs
Top Co-Authors

Avatar

Diana F. Gordon

United States Naval Research Laboratory

View shared research outputs
Top Co-Authors

Avatar

James Weimer

University of Pennsylvania

View shared research outputs
Top Co-Authors

Avatar

Junkil Park

University of Pennsylvania

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar

William M. Spears

United States Naval Research Laboratory

View shared research outputs
Top Co-Authors

Avatar

Anna Philippou

Pennsylvania State University

View shared research outputs
Top Co-Authors

Avatar

Aravind K. Joshi

University of Pennsylvania

View shared research outputs
Top Co-Authors

Avatar

Arnab Ray

Stony Brook University

View shared research outputs
Researchain Logo
Decentralizing Knowledge