My research interests span the areas of real-time, embedded, cyber-physical systems (such as automotive, avionic, and medical systems) and distributed systems. I am especially interested in theoretical models, analysis methods, design techniques and systems support for building efficient large-scale cyber-physical systems with provable safety, security and timing guarantees. Recently, I have been working on reliable virtualization and cloud infrastructure that can provide strong real-time performance and service guarantees for safety-critical and mission-critical systems, the Internet of Things, and network function virtualization. I am also working on techniques for defending cyber-physical systems and the cloud against DeDOS and malicious attacks, as well as methods for diagnosing performance problems in data centers.
I am a member of the PRECISE Center, the
Real-Time Systems Group, and the Distributed Systems Group.
Current PhD students
Saeed Abedi (co-advise with Boon Thau Loo)
Max Demoulin (co-advise with Boon Thau Loo)
Neeraj Gandhi
Meng Xu (co-advise with Insup Lee)
Graduated PhD students
Yang Li (co-advise with Sanjeev Khanna and Boon Thau Loo)
Jaewoo Lee (co-advise with Insup Lee)
Publications
-
Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems
J. Boudjadar, I. Lee, J. H. Kim, L. T. X. Phan, K. G. Larsen and U. Nyman.
IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), Singapore, May 2018. (To appear)
-
LogSafe: Secure and Scalable Data Logger for IoT Devices
H. Nguyen, R. Ivanov, L. T. X. Phan, O. Sokolsky, J. Weimer and I. Lee
IEEE International Conference on Internet-of-Things Design and Implementation (IoTDI), Orlando, Florida, Apr. 2018.
-
Multi-Mode Virtualization for Soft Real-Time Systems
H. Li, M. Xu, C. Li, C. Lu, C. Gill, L. T. X. Phan, I. Lee and O. Sokolsky
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Porto, Portugal, Apr. 2018.
-
SafeMC: A system for the design and evaluation of mode change protocols
T. Chen and L. T. X. Phan
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Porto, Portugal, Apr. 2018.
-
Revisiting GPC and AND Connector in Real-Time Calculus
Y. Tang, N. Guan, W. Liu, L. T. X. Phan and W. Yi.
IEEE Real-Time Systems Symposium (RTSS), Paris, France, Dec. 2017.
-
MC-ADAPT: Adaptive Task Dropping in Mixed- Criticality Scheduling
J. Lee, H. S. Chwa, L. T. X. Phan, I. Shin, and I. Lee.
IEEE/ACM International Conference on Embedded Software (EMSOFT), Seoul, South Korea, Oct. 2017
-
vCAT: Dynamic Cache Management using CAT Virtualization
M. Xu, L. T. X. Phan, H.-Y. Choi, and I. Lee.
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Pittsburgh, PA, Apr. 2017.
-
Mixed-Criticality Processing Pipelines
D. de Niz, B. Andersson, H. Kim, M. Klein, L. T. X. Phan, and R. Rajkumar.
Design, Automation and Test in Europe (DATE), Lausanne, Switzerland, Mar. 2017.
-
Real-Time Network Function Virtualization with Timing Interfaces
L. T. X. Phan.
9th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, Porto, Portugal, Nov. 2016.
-
Dispersing Asymmetric DDoS Attacks with SplitStack
A. Chen, A. Sriraman, T. Vaidya, Y. Zhang, A. Haeberlen, B. T. Loo, L. T. X. Phan, M. Sherr, C. Shields, and W. Zhou
15th ACM Workshop on Hot Topics in Networks (HotNets), Atlanta, GA, Nov. 2016.
-
Cloud-Based Secure Logger For Medical Devices
H. Nguyen, B. Acharya, R. Ivanov, A. Haeberlen, L. T. X. Phan, O. Sokolsky, J. Walker, J. Weimer, W. Hanson, and I. Lee
1st IEEE Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE), Washington DC, Jun. 2016.
-
Co-Design of Arbitrated Network Control Systems with Overrun Strategies
D. Soudbakhsh, L. T. X. Phan, A. M. Annaswamy, and O. Sokolsky.
IEEE Transactions on Control of Network Systems (CONES), 2016.
-
Analysis and Implementation of Global Preemptive Fixed-Priority Scheduling with Dynamic Cache Allocation
M. Xu, L. T. X. Phan, H.-Y. Choi, and I. Lee.
21th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Vienna, Austria, Apr. 2016.
-
Network Functions Virtualization with Soft Real-Time Guarantees
Y. Li, L. T. X. Phan, and B. T. Loo.
IEEE International Conference on Computer Communications (INFOCOM), San Francisco, CA, April 2016.
-
Cache-aware Interfaces for Compositional Real-Time Systems
L. T. X. Phan, M. Xu and I. Lee.
8th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, San Antonio, TX, Dec. 2015. (Invited paper)
-
Mixed-Criticality Scheduling on Multiprocessors using Task Grouping
J. Ren and L. T. X. Phan.
27th Euromicro Conference on Real-Time Systems (ECRTS), Lund, Sweden, July 2015.
-
RT-OpenStack: CPU Resource Management for Real-Time Cloud Computing
S. Xi, C. Li, C. Lu, C. Gill, M. Xu, L. T. X. Phan, I. Lee and O. Sokolsky.
IEEE International Conference on Cloud Computing (CLOUD), New York, NY, June 2015.
-
Cache-Aware Compositional Analysis of Real-Time Multicore Virtualization Platforms.
M. Xu, L. T. X. Phan, O. Sokolsky, S. Xi, C. Lu, C. Gill, and I. Lee.
Real-Time Systems Journal, May 2015.
-
Fault Tolerance and the Five-Second Rule.
A. Chen, H. Xiao, A. Haeberlen, and L. T. X. Phan.
15th Workshop on Hot Topics in Operating Systems (HotOS XV), Kartause Ittingen, Switzerland, May 2015.
-
Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks.
J. Boudjadar, A. David, J. H. Kim, K. G. Larsen, M. Mikucionis, U. Nyman, A. Skou, I. Lee, L. T. X. Phan.
18th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), Auckland, New Zealand, April 2015.
-
Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context.
J. Boudjadar, A. David, J. H. Kim, K. G. Larsen, M. Mikucionis, U. Nyman, A. Skou, I. Lee, L. T. X. Phan.
18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE), Montreal, QC, Canada, May, 2015.
-
Platform-Dependent Timing Verification Framework in Model-Based Implementation.
Baekgyu Kim, Lu Feng, Linh T. X. Phan, Oleg Sokolsky and Insup Lee
Design Automation and Test in Europe (DATE), Grenoble, France, Mar. 2015.
-
Detecting Covert Timing Channels with Time-Deterministic Replay.
Ang Chen, W. Brad Moore, Hanjun Xiao, Andreas Haeberlen, Linh T. X. Phan, Micah Sherr, and Wenchao Zhou.
11th USENIX Symposium on Operating Systems Design and Implementation (OSDI), Broomfield, CO, Oct. 2014.
-
Real-Time Multi-Core Virtual Machine Scheduling in Xen.
Sisu Xi, Meng Xu, Chenyang Lu, Linh T. X. Phan, Chris Gill, Oleg Sokolsky, and Insup Lee.
14th ACM International Conference on Embedded Software (EMSOFT), New Delhi, India, Oct. 2014.
-
Partitioned Scheduling of Multi-Modal Mixed-Criticality Real-Time Systems on Multiprocessor Platforms.
Dionisio de Niz and Linh T. X. Phan.
20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Berlin, Germany, Apr. 2014.
-
Towards a Safe Compositional Scheduling Theory for Cyber-Physical Systems.
Linh T. X. Phan.
4th Analytic Virtual Integration of Cyber-Physical Systems Workshop (AVICPS), Vancouver, Canada, Dec. 2013. (Position paper)
-
Cache-Aware Compositional Analysis of Real-Time Multicore Virtualization Platforms.
Meng Xu, Linh T. X. Phan, Insup Lee, Oleg Sokolsky, Sisu Xi, Chenyang Lu, and Chris Gill.
34th IEEE Real-Time Systems Symposium (RTSS), Vancouver, Canada, Dec. 2013. (Best Paper Nominee)
-
Platform-Dependent Code Generation for Embedded Real-Time Software.
Baekgyu Kim, Linh T. X. Phan, Insup Lee and Oleg Sokolsky.
International Conference on Compilers Architecture and Synthesis for Embedded Systems, Montreal, Canada, Sep. 2013.
-
Co-design of Control and Platform with Dropped Signals.
Damoon Soudbakhsh, Linh T. X. Phan, Anuradha Annaswamy, Oleg Sokolsky and Insup Lee.
4th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Philadelphia, PA, Apr. 2013.
-
Overhead-Aware Compositional Analysis of Real-Time Systems.
Linh T. X. Phan, Meng Xu, Jaewoo Lee, Insup Lee and Oleg Sokolsky.
19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Philadelphia, PA, Apr. 2013.
-
Improving Schedulability of Fixed-Priority Real-Time Systems using Shapers.
Linh T. X. Phan and Insup Lee.
19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Philadelphia, PA, Apr. 2013.
-
Timing Analysis of Process Graphs with Finite Communication Buffers.
Chung-Wei Lin, Marco Di Natale, Haibo Zeng, Linh T. X. Phan and Alberto Sangiovanni-Vincentelli
19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Philadelphia, PA, Apr. 2013.
-
Towards Dynamic Pricing-Based Collaborative Optimizations for Green Data Centers.
Yang Li, David Chiu, Changbin Liu, Linh T.X. Phan, Tanveer Gill, Sanchit Aggarwal, Zhuoyao Zhang, Boon Thau Loo, and Bart McManus.
2nd International Workshop on Data Management in the Cloud (DMC), co-located with ICDE, Brisbane, Australia, Apr. 2013.
-
A Model-Based I/O Interface Synthesis Framework for the Cross-Platform Software Model.
Baekgyu Kim, Linh T. X. Phan, Insup Lee and Oleg Sokolsky.
23rd IEEE International Symposium on Rapid System Prototyping, Tampere, Finland, Oct. 2012.
-
Analysis and Implementation of Stateful Schedules for Time-Triggered Communication.
Madhukar Anand, Sebastian Fischmeister, Insup Lee and Linh T. X. Phan.
Real-Time Systems Journal, 2012.
-
A Multi-Modal Composability Framework for Cyber-Physical Systems.
Linh T.X. Phan and Insup Lee.
Safe and Secure Systems and Software Symposium (S5), Beavercreek, Ohio, Jun. 2012.
-
Realizing Compositional Scheduling through Virtualization.
J. Lee, S. Xi, S. Chen, L. T. X. Phan, C. Gill, I. Lee, C. Lu and O. Sokolsky.
18th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Beijing, China, Apr. 2012.
-
Compositional Real-Time Analysis for Cyber-Physical Systems
Linh T.X. Phan, Insup Lee, Insik Shin, and Oleg Sokolsky.
Tutorial, Cyper-Physical Systems Week 2012, Beijing, China, Apr. 2012.
-
An Empirical Analysis of Scheduling Techniques for Real-time Cloud-based Data Processing
Linh T.X. Phan, Zhuoyao Zhang, Qi Zheng, Boon Thau Loo, and Insup Lee.
4th IEEE International Workshop on Real-time Service-Oriented Architectures and Applications, Irvine, California, Dec 2011.
-
Towards A Compositional Multi-Modal Framework for Adaptive Cyber-Physical Systems
Linh T.X. Phan and Insup Lee.
1st International Workshop on Cyber-Physical Systems, Networks, and Applications, Toyama, Japan, Aug 2011. (Invited paper)
-
Compositional Analysis of Real-Time Embedded Systems
Linh T.X. Phan, Insup Lee, and Oleg Sokolsky.
Tutorial, IEEE International Conference on Compilers, Architectures and Synthesis of Embedded Systems, Taipei, Taiwan, Oct 2011.
-
Video Quality Driven Buffer Sizing via Frame Drops
Deepak Gangadharan, Linh T.X. Phan, Samarjit Chakraborty, Roger Zimmermann, and Insup Lee.
17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Toyama, Japan, Aug 2011.
-
A Semantic Framework for Multi-Mode Systems
Linh T.X. Phan, Insup Lee, and Oleg Sokolsky.
17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Chicago, April 2011.
-
Removing Abstraction Overhead in the Composition of Hierarchical Real-Time Systems.
Sanjian Chen, Linh T.X. Phan, Jaewoo Lee, Insup Lee, and Oleg Sokolsky.
17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Chicago, April 2011.
-
CARTS: A Tool for Compositional Analysis of Real-Time Systems
Linh T.X. Phan, Jaewoo Lee, Arvind Easwaran, Vinay Ramaswamy, Insup Lee, and Oleg Sokolsky.
3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS), San Diego, CA, Nov 2010.
-
Improving Resource Utilization for Compositional Scheduling using DPRM Interfaces
Jaewoo Lee, Linh T.X. Phan, Sanjian Chen, Oleg Sokolsky, and Insup Lee.
3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS), San Diego, CA, Nov 2010.
-
On the Feasibility of Dynamic Rescheduling on the Intel Distributed Computing Platform
Zhuoyao Zhang, Linh T.X. Phan, Godfrey Tan, Saumya Jain, Harrison Duong, Boon Thau Loo, and Insup Lee.
11th ACM/IFIP/USENIX International Middleware Conference (Middleware), Bangalore, India, Nov 2010.
-
Modeling Buffers with Data Refresh Semantics in Automotive Architectures
Linh T.X. Phan, Reinhard Schneider, Samarjit Chakraborty, and Insup Lee.
10th International Conference on Embedded Software (EMSOFT), Scottsdale, Arizona, Oct 2010. (Best Paper Candidate)
-
Compositional Analysis of Multi-Mode Systems
Linh T.X. Phan, Insup Lee, and Oleg Sokolsky.
22nd Euromicro Conference on Real-Time Systems (ECRTS), Brussels, Belgium, July 2010.
-
Formal Modelling and Analysis of Stream Processing Systems
Linh T.X. Phan.
EDAA/ACM PhD Forum at DATE, Dresden, Germany, Mar 2010.
-
Simulation Relations, Interface Complexity, and Resource Optimality for Real-Time Hierarchical Systems
Arvind Easwaran, Madhukar Anand, Insup Lee, Linh T.X. Phan, and Oleg Sokolsky.
Workshop on Reconciling Performance with Predictability (RePP), Grenoble, France, Oct 2009.
-
Timing Analysis of Mixed Time/Event-Triggered Multi-Mode Systems
Linh T.X. Phan, Samarjit Chakraborty and Insup Lee.
30th IEEE Real-Time Systems Symposium (RTSS), Washington DC, Dec 2009.
- BSN Simulator: Optimizing Application Using System Level Simulation
K. D. Nguyen, I. Cutcutache, E. Sim, Linh T.X. Phan, N.T.T. Dang, K. Wai, Z. Sun, S. Liu, T.B. Tok, L. Xu, F. E.H. Tay and W.F. Wong.
6th International Workshop on Wearable and Implantable Body Sensor Networks, Berkeley, California, Jun 2009.
-
Lightweight Modeling of Complex State Dependencies in Stream-Processing Systems
Anne Bouillard, Linh T.X. Phan and Samarjit Chakraborty.
15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), San Francisco, California, Apr 2009.
-
A Multi-Mode Real-Time Calculus
Linh T.X. Phan, Samarjit Chakraborty, and P. S. Thiagarajan
29th IEEE Real-Time Systems Symposium (RTSS), Barcelona, Spain, Dec 2008.
-
Fast and Accurate Simulation of Biomonitoring Applications on a Wireless Body Area Network
K. D. Nguyen, I. Cutcutache, S. Sinnadurai, S. Liu, C. Basol, E. Sim, L. T. X. Phan, T. B. Tok, L. Xu, F. E. H. Tay, T. Mitra, W. F. Wong
5th International Workshop on Wearable and Implantable Body Sensor Networks, Hong Kong, China, Jun 2008. -
Composing Functional and State-based Performance Models for Analyzing Heterogeneous Real-Time Systems
Linh T.X. Phan, Samarjit Chakraborty, P. S. Thiagarajan, and Lothar Thiele
28th IEEE Real-Time Systems Symposium (RTSS), Tucson, Arizona, Dec 2007
-
Event Count Automata: A State-based Model for Stream Processing Systems
Samarjit Chakraborty, Linh T.X. Phan and P.S. Thiagarajan
26th IEEE Real-Time Systems Symposium (RTSS), Miami, Florida, Dec 2005
Software
- CARTS: Compositional analysis tool for real-time systems
- RT-Xen: Real-time Xen virtualization platform
Service
- IEEE Technical Committee on Real-Time Systems (TCRTS), Executive Member
- Program Committee (Co-)Chair
- Track Chair, IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2018
- DATE - Topic E3: Model-based Design and Verification (DATE),
2015,
2016
- Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS),
2011.
- Workshop on Adaptive and Reconfigurable Embedded Systems (APRES),
2011.
- Publication Chair, Embedded Systems Week (ESWeek), 2017
- Publicity Chair, IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA),
2013.
- Web Chair, Cyber-Physical Systems Week, 2013.
- Work-In-Progress Chair, Euromicro Conference on Real-Time Systems (ECRTS),
2013.
- Program Committee Member
- IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS),
2014,
2015,
2017.
- IEEE Real-Time Systems Symposium (RTSS),
2012,
2013,
2015,
2016,
2017.
- Design Automation Conference (DAC),
2015, 2016.
- Design Automation and Test in Europe (DATE),
2014, 2015, 2016.
- ACM/IEEE International Conference on Embedded Software (EMSOFT), 2015, 2016
- ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES),
2015.
- IEEE/ACM International Conference on Computer-Aided Design (ICCAD),
2013.
- IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA),
2013
- Euromicro Conference on Real-Time Systems (ECRTS),
2013,
2015,
2016.
- IEEE International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA),
2013.
- IEEE International Conference on Emerging Technologies and Factory Automation (ETFA),
2010,
2011,
2012,
2013.
- IEEE International Conference on Parallel and Distributed Systems (ICPADS),
2013.
- IEEE Real-Time Systems Symposium, Work-In-Progress,
2012.
- IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Work-In-Progress,
2010,
2011,
2012.
- Workshop on Adaptive and Reconfigurable Embedded Systems (APRES),
2012,
2013.
- International Workshop on Grid Friendly Computing (GFC),
2013.
- Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS),
2010,
2012,
2013.
- Workshop on Cyber-Physical Systems, Networks, and Applications (CPSNA),
2011,
2012.
- International Workshop on Worst-case Traverse Time (WCTT),
2011,
2012.
- RTSS@Work, 2011,
2012.
- International Conference on Embedded and Multimedia Computing (EMC),
2010,
2011.
- Brazilian Workshop on Real-Time Systems (WTR),
2011.
Honors & Awards
- CAREER Award, National Science Foundation, 2018
- Member of the inaugural class of the
ACM Future of Computing Academy (2017)
- Best Paper Nominee, Real-Time Systems Symposium (2013)
- Best Paper Candidate, International Conference on Embedded Software (2010)
- NUS Dean's Graduate Research Excellence (2009)
- NUS Graduate Scholarship (2003 to 2007)
- Singapore Scholarship (1999 to 2003)
|