If you made any changes in Pure, your changes will be visible here soon.

Research Output 1983 2019

Filter
Article
2019

Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts

Guo, C., Fu, Z., Zhang, Z., Ren, S. & Sha, L., Aug 2019, In : IEEE Internet of Things Journal. 6, 4, p. 6276-6284 9 p., 8521661.

Research output: Contribution to journalArticle

Communication
Semantics
Laser surgery
Rapid prototyping
Cyber Physical System
2018

A cyber-physical system framework for early detection of paroxysmal diseases

Gu, Z., Jiang, Y., Zhou, M., Gu, M., Song, X. & Sha, L., Jun 23 2018, In : IEEE Access. 6, p. 34834-34845 12 p.

Research output: Contribution to journalArticle

Medicine
Cyber Physical System

Athena: Towards decision-centric anticipatory sensor information delivery

Lee, J., Marcus, K., Abdelzaher, T., Amin, T. A., Bar-Noy, A., Dron, W., Govindan, R., Hobbs, R., Hu, S., Kim, J. E., Sha, L., Yao, S. & Zhao, Y., Jan 1 2018, In : Journal of Sensor and Actuator Networks. 7, 1, 5.

Research output: Contribution to journalArticle

delivery
Network protocols
Sensor
sensors
Sensors

Decision-driven scheduling

Kim, J. E., Abdelzaher, T., Sha, L. R., Bar-Noy, A., Hobbs, R. & Dron, W., Jan 1 2018, (Accepted/In press) In : Real-Time Systems.

Research output: Contribution to journalArticle

Event-driven
Scheduling
Sensor
Periodic Tasks
Sensors

Dependable model-driven development of CPS: From Stateflow simulation to verified implementation

Jiang, Y., Song, H., Yang, Y., Liu, H., Gu, M., Guan, Y., Sun, J. & Sha, L., Aug 2018, In : ACM Transactions on Cyber-Physical Systems. 3, 1, 12.

Research output: Contribution to journalArticle

Simulink
Simulation
Fault
Defects
Model

RSimplex: A robust control architecture for cyber and physical failures

Wang, X., Hovakimyan, N. & Sha, L., Aug 2018, In : ACM Transactions on Cyber-Physical Systems. 2, 4, 27.

Research output: Contribution to journalArticle

Robust control
Robust Control
Controllers
Controller
Monitor

Safety-assured model-driven design of the multifunction vehicle bus controller

Jiang, Y., Liu, H., Song, H., Kong, H., Wang, R., Guan, Y. & Sha, L. R., Oct 2018, In : IEEE Transactions on Intelligent Transportation Systems. 19, 10, p. 3320-3333 14 p., 8260537.

Research output: Contribution to journalArticle

Controllers
Binary codes
Glues
Model checking
Data communication systems
2017

Data-centered runtime verification of wireless medical cyber-physical system

Jiang, Y., Song, H., Wang, R., Gu, M., Sun, J. & Sha, L., Aug 2017, In : IEEE Transactions on Industrial Informatics. 13, 4, p. 1900-1909 10 p., 7480373.

Research output: Contribution to journalArticle

Decision support systems
Health care
Flow simulation
Medicine
Cyber Physical System

On exploiting structured human interactions to enhance sensing accuracy in cyber-physical systems

Wang, H., Gao, Y., Hu, S., Wang, S., Mancuso, R., Kim, M., Wu, P., Su, L., Sha, L. & Abdelzaher, T., Jan 1 2017, In : ACM Transactions on Cyber-Physical Systems. 1, 3, 16.

Research output: Contribution to journalArticle

Work Flow
Sensing
Sensors
Interaction
Concretes

Preventable Medical Errors Driven Modeling of Medical Best Practice Guidance Systems

Ou, A. Y. Z., Jiang, Y., Wu, P. L., Sha, L. & Berlin, R. B., Jan 1 2017, In : Journal of Medical Systems. 41, 1, 9.

Research output: Contribution to journalArticle

Medical Errors
Practice Guidelines
Systems analysis
Resuscitation
Intensive care units
Patient Identification Systems
Patient Care Team
Workflow
Emergency Medical Services
Health care

Toward physiology-aware DASH: Bandwidth-compliant prioritized clinical multimedia communication in ambulances

Hosseini, M., Jiang, Y., Berlin, R. R., Sha, L. & Song, H., Oct 2017, In : IEEE Transactions on Multimedia. 19, 10, p. 2307-2321 15 p., 7995124.

Research output: Contribution to journalArticle

Ambulances
Physiology
Bandwidth
Communication
Wireless networks
2016

A Pathophysiological Model-Driven Communication for Dynamic Distributed Medical Best Practice Guidance Systems

Hosseini, M., Jiang, Y., Wu, P., Berlin, R. B., Ren, S. & Sha, L., Nov 1 2016, In : Journal of Medical Systems. 40, 11, 227.

Research output: Contribution to journalArticle

Practice Guidelines
Communication
Ambulances
Rural Hospitals
Telemedicine

Memory bandwidth management for efficient performance isolation in multi-core platforms

Yun, H., Yao, G., Pellizzoni, R., Caccamo, M. & Sha, L. R., Feb 1 2016, In : IEEE Transactions on Computers. 65, 2, p. 562-576 15 p., 7093151.

Research output: Contribution to journalArticle

Isolation
Bandwidth
Data storage equipment
Reservation
Reservation systems

Real-Time Computing on Multicore Processors

Sha, L., Caccamo, M., Mancuso, R., Kim, J. E., Yoon, M. K., Pellizzoni, R., Yun, H., Kegley, R. B., Perlman, D. R., Arundale, G. & Bradford, R., Sep 2016, Computer, 49, 9, p. 69-77 9 p.

Research output: Contribution to specialist publicationArticle

Avionics
Engineers

Real-time reachability for verified simplex design

Johnson, T. T., Bak, S., Caccamo, M. & Sha, L., Feb 2016, In : ACM Transactions on Embedded Computing Systems. 15, 2, 2723871.

Research output: Contribution to journalArticle

Controllers
Hybrid systems
ARM processors
Pendulums
Microcontrollers

Schedulability analysis for memory bandwidth regulated multicore real-time systems

Yao, G., Yun, H., Wu, Z. P., Pellizzoni, R., Caccamo, M. & Sha, L., Feb 1 2016, In : IEEE Transactions on Computers. 65, 2, p. 601-614 14 p., 7093140.

Research output: Contribution to journalArticle

Schedulability Analysis
Real time systems
Bandwidth
Real-time
Data storage equipment

Sepsis Patient Detection and Monitor Based on Auto-BN

Jiang, Y., Sha, L., Rahmaniheris, M., Wan, B., Hosseini, M., Tan, P. & Berlin, R. B., Apr 1 2016, In : Journal of Medical Systems. 40, 4, 111.

Research output: Contribution to journalArticle

Sepsis
Screening
Monitoring
Statistical Models
Cause of Death
2015

Medical-grade quality of service for real-time mobile healthcare

Kang, K., Wang, Q., Hur, J., Park, K. J. & Sha, L. R., Feb 1 2015, Computer, 48, 2, p. 41-49 9 p.

Research output: Contribution to specialist publicationArticle

3G mobile communication systems
Telemetering
Electrocardiography
Quality of service
Network protocols

The design of safe networked supervisory medical systems using organ-centric hierarchical control architecture

Kang, W., Sha, L. R., Berlin, R. B. & Goldman, J. M., May 1 2015, In : IEEE Journal of Biomedical and Health Informatics. 19, 3, p. 1077-1086 10 p., 6845329.

Research output: Contribution to journalArticle

Patient Safety
Equipment and Supplies
Laser surgery
Physiology
Laser Therapy

Worst Case Analysis of Packet Delay in Avionics Systems for Environmental Monitoring

Kang, K., Nam, M. Y. & Sha, L., Dec 2015, In : IEEE Systems Journal. 9, 4, p. 1354-1362 9 p., 6872549.

Research output: Contribution to journalArticle

Avionics
Monitoring
Switches
Packet networks
Switching networks
2014

Guaranteeing the end-to-end latency of an IMA system with an increasing workload

Nam, M. Y., Lee, J., Park, K. J., Sha, L. & Kang, K., Jun 2014, In : IEEE Transactions on Computers. 63, 6, p. 1459-1472 14 p., 6399465.

Research output: Contribution to journalArticle

Avionics
Workload
Latency
Switch
Switches

qPALS: Quality-aware synchrony protocol for distributed real-time systems

Kang, W. & Sha, L. R., Oct 31 2014, In : KSII Transactions on Internet and Information Systems. 8, 10, p. 3361-3377 17 p.

Research output: Contribution to journalArticle

Real time systems
Synchronization
Network protocols
Quality of service
2013

Design and QoS of a wireless system for real-time remote electrocardiography

Kang, K., Ryu, J., Hur, J. & Sha, L., Oct 14 2013, In : IEEE Journal of Biomedical and Health Informatics. 17, 3, p. 745-755 11 p.

Research output: Contribution to journalArticle

Computer Systems
Electrocardiography
Quality of service
Physiologic Monitoring
Cardiac Arrhythmias

Design of a crossbar VOQ real-time switch with clock-driven scheduling for a guaranteed delay bound

Kang, K., Park, K. J., Sha, L. R. & Wang, Q., Jan 1 2013, In : Real-Time Systems. 49, 1, p. 117-135 19 p.

Research output: Contribution to journalArticle

Time switches
Clocks
Switch
Scheduling
Switches

Model-based analysis of wireless system architectures for real-time applications

Kang, K., Nam, M. Y. & Sha, L. R., Jan 7 2013, In : IEEE Transactions on Mobile Computing. 12, 2, p. 219-232 14 p., 6104052.

Research output: Contribution to journalArticle

Broadcasting

Modeling and architecture design of an MDPnP acute care monitoring system

Rahmaniheris, M., Kang, W., Lee, L. J., Sha, L., Berlin, R. B. & Goldman, J. M., Jan 1 2013, In : Proceedings - IEEE Symposium on Computer-Based Medical Systems. p. 514-515 2 p., 6627855.

Research output: Contribution to journalArticle

Equipment Design
Medical Errors
Equipment and Supplies
Monitoring
Software architecture

Net simplex: Controller fault tolerance architecture in networked control systems

Yao, J., Liu, X., Zhu, G. & Sha, L., Jan 7 2013, In : IEEE Transactions on Industrial Informatics. 9, 1, p. 346-356 11 p., 6303908.

Research output: Contribution to journalArticle

Networked control systems
Fault tolerance
Controllers
Software design
State feedback

Real-time I/O management system with COTS peripherals

Betti, E., Bak, S., Pellizzoni, R., Caccamo, M. & Sha, L., Jan 1 2013, In : IEEE Transactions on Computers. 62, 1, p. 45-58 14 p., 6051430.

Research output: Contribution to journalArticle

Computer peripheral equipment
Embedded systems
Computer systems
Scheduling
Real-time

Towards organ-centric compositional development of safe networked supervisory medical systems

Kang, W., Wu, P., Rahmaniheris, M., Sha, L., Berlin, R. B. & Goldman, J. M., Jan 1 2013, In : Proceedings - IEEE Symposium on Computer-Based Medical Systems. p. 143-148 6 p., 6627779.

Research output: Contribution to journalArticle

Physiology
Laser surgery
Equipment and Supplies
Interoperability
Hazards
2012

Modeling towards incremental early analyzability of networked avionics systems using virtual integration

Nam, M. Y., Kang, K., Pellizzoni, R., Park, K. J., Kim, J. E. & Sha, L. R., Dec 1 2012, In : Transactions on Embedded Computing Systems. 11, 4, 81.

Research output: Contribution to journalArticle

Avionics
Time switches
Hardware
Architectural design
2011

A medical-grade wireless architecture for remote electrocardiography

Kang, K., Park, K. J., Song, J. J., Yoon, C. H. & Sha, L., Mar 1 2011, In : IEEE Transactions on Information Technology in Biomedicine. 15, 2, p. 260-267 8 p., 5682049.

Research output: Contribution to journalArticle

Electrocardiography
Local Area Networks
Local area networks
Cardiology
Monitoring

Pre-verified safety control framework for real-time medical systems

Kim, C., Yun, H., Kim, H. G. & Sha, L., May 1 2011, In : Information. 14, 5, p. 1663-1674 12 p.

Research output: Contribution to journalArticle

Finite automata
Planning
Communication
Packet loss
Interoperability

System-wide energy optimization for multiple DVS components and real-time tasks

Yun, H., Wu, P. L., Arya, A., Kim, C., Abdelzaher, T. & Sha, L. R., Sep 1 2011, In : Real-Time Systems. 47, 5, p. 489-515 27 p.

Research output: Contribution to journalArticle

Energy Optimization
Program processors
Voltage
Scaling
Real-time
2010

An interleaving structure for guaranteed QoS in real-time broadcasting systems

Kang, K. & Sha, L. R., Apr 7 2010, In : IEEE Transactions on Computers. 59, 5, p. 666-678 13 p., 5276796.

Research output: Contribution to journalArticle

Interleaving
Broadcasting
Jitter
Broadcast
3G mobile communication systems

Design of robust adaptive frequency hopping for wireless medical telemetry systems

Park, K. J., Park, T. R., Schmitz, C. D. & Sha, L., Feb 5 2010, In : IET Communications. 4, 2, p. 178-191 14 p.

Research output: Contribution to journalArticle

Frequency hopping
Telemetering
Entropy
2009

Resilient mixed-criticality systems

Sha, L. R., Sep 1 2009, In : CrossTalk. 22, 9-10, p. 9-14 6 p.

Research output: Contribution to journalArticle

Software design
Hazards
Hardware
Cyber Physical System
2008

Lightning: A hard real-time, fast, and lightweight low-end wireless sensor election protocol for acoustic event localization

Wang, Q., Zheng, R., Tirumala, A., Liu, X. & Sha, L. R., May 1 2008, In : IEEE Transactions on Mobile Computing. 7, 5, p. 270-284 15 p., 4358996.

Research output: Contribution to journalArticle

Lightning
Acoustics
Network protocols
Sensors
Acoustic waves

ORTEGA: An efficient and flexible online fault tolerance architecture for real-time control systems

Liu, X., Wang, Q., Gopalakrishnan, S., He, W., Sha, L., Ding, H. & Lee, K., Nov 1 2008, In : IEEE Transactions on Industrial Informatics. 4, 4, p. 213-224 12 p., 4753900.

Research output: Contribution to journalArticle

Real time control
Fault tolerance
Control systems
Recovery

Queueing-model-based adaptive control of multi-tiered web applications

Liu, X., Heo, J., Sha, L. & Zhu, X., Dec 1 2008, In : IEEE Transactions on Network and Service Management. 5, 3, p. 157-167 11 p.

Research output: Contribution to journalArticle

Testbeds
Queueing theory
Access control
Resource allocation
Tuning

Sharp thresholds for scheduling recurring tasks with distance constraints

Gopalakrishnan, S., Caccamo, M. & Sha, L. R., Mar 1 2008, In : IEEE Transactions on Computers. 57, 3, p. 344-358 15 p.

Research output: Contribution to journalArticle

Sharp Threshold
Scheduling Problem
Scheduling
Random Graphs
Radar
2007

Building robust wireless LAN for industrial control with the DSSS-CDMA n cell phone network paradigm

Wang, Q., Liu, X., Chen, W., Sha, L. R. & Caccamo, M., Jun 1 2007, In : IEEE Transactions on Mobile Computing. 6, 6, p. 706-719 14 p.

Research output: Contribution to journalArticle

Wireless local area networks (WLAN)
Local area networks
Code division multiple access
Networks (circuits)
Communication
2006

A microscopic study of power management in IEEE 802.11 wireless networks

Hu, C., Zheng, R., Hou, J. C. & Sha, L. R., Dec 1 2006, In : International Journal of Wireless and Mobile Computing. 1, 3-4, p. 165-178 14 p.

Research output: Contribution to journalArticle

Wireless networks
Periodic structures
Local area networks
Telecommunication traffic
Analytical models

Finite-horizon scheduling of radar dwells with online template construction

Gopalakrishnan, S., Caccamo, M., Shih, C. S., Lee, C. G. & Sha, L., Jul 1 2006, In : Real-Time Systems. 33, 1-3, p. 47-75 29 p.

Research output: Contribution to journalArticle

Finite Horizon
Radar
Template
Scheduler
Scheduling

High-Confidence medical device software and systems

Lee, I., Pappas, G. J., Cleaveland, R., Hatcliff, J., Krogh, B. H., Lee, P., Rubin, H. & Sha, L. R., Apr 1 2006, Computer, 39, 4, p. 33-38 6 p.

Research output: Contribution to specialist publicationArticle

Information systems
Aging of materials
Health
Costs

Local group communication-aware MAC protocol in wireless sensor networks

Zheng, R., Walia, J. S. & Sha, L. R., Oct 1 2006, In : International Journal of Wireless Information Networks. 13, 4, p. 275-287 13 p.

Research output: Contribution to journalArticle

Wireless sensor networks
Network protocols
Communication
Fault tolerance
Target tracking

Optimal block design for asynchronous wake-up schedules and its applications in multihop wireless networks

Zheng, R., Hou, J. C. & Sha, L., Sep 1 2006, In : IEEE Transactions on Mobile Computing. 5, 9, p. 1228-1240 13 p., 1661531.

Research output: Contribution to journalArticle

Wireless networks
Network protocols
Energy conservation
Communication
Power management

Optimal real-time sampling rate assignment for wireless sensor networks

Liu, X., Wang, Q., He, W., Caccamo, M. & Sha, L., Aug 14 2006, In : ACM Transactions on Sensor Networks. 2, 2, p. 263-295 33 p.

Research output: Contribution to journalArticle

Wireless sensor networks
Sampling
Sensors
Network architecture
Sensor networks

Performance analysis of power management policies in wireless networks

Zheng, R., Hou, J. C. & Sha, L., Jun 1 2006, In : IEEE Transactions on Wireless Communications. 5, 6, p. 1351-1361 11 p., 1638656.

Research output: Contribution to journalArticle

Power Management
Performance Analysis
Wireless Networks
Wireless networks
Polling

Real-time virtual machines for avionics software migration

Sha, L. R. & Lee, C. G., 2006, In : International Journal of Embedded Systems. 2, 3-4, p. 156-165 10 p.

Research output: Contribution to journalArticle

Avionics
Scheduling
Software architecture
Costs
Industry