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

Research Output 1983 2019

Filter
Conference contribution
2019

A Container-based DoS Attack-Resilient Control Framework for Real-Time UAV Systems

Chen, J., Feng, Z., Wen, J. Y., Liu, B. & Sha, L. R., May 14 2019, Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019. Institute of Electrical and Electronics Engineers Inc., p. 1222-1227 6 p. 8714888. (Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Denial of Service
Unmanned aerial vehicles (UAV)
Container
Containers
Attack
2018

IAFinder: Identifying potential implicit assumptions to facilitate validation in medical cyber-physical system

Fu, Z., Wang, Z., Guo, C., Zhang, Z., Ren, S. & Sha, L. R., Jun 24 2018, Proceedings of the 55th Annual Design Automation Conference, DAC 2018. Institute of Electrical and Electronics Engineers Inc., Vol. Part F137710. a143

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Statecharts
Data mining
Invariant
Cardiac
Cyber Physical System

Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models

Guo, C., Fu, Z., Zhang, Z., Ren, S. & Sha, L. R., Aug 21 2018, Proceedings - 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018. Institute of Electrical and Electronics Engineers Inc., p. 253-262 10 p. 8443739

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Best Practice
Integrate
Resources
Verify
Safety

SafeTrace: A safety-driven requirement traceability framework on device interaction hazards for MD PnP

Ou, A. Y. Z., Rahmaniheris, M., Jiang, Y., Sha, L. R., Fu, Z. & Ren, S., Apr 9 2018, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018. Association for Computing Machinery, p. 1282-1291 10 p. (Proceedings of the ACM Symposium on Applied Computing).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Hazards

Study of Software-Related Causes in the FDA Medical Device Recalls

Fu, Z., Guo, C., Ren, S., Jiang, Y. & Sha, L., Feb 14 2018, Proceedings - 2017 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017. Institute of Electrical and Electronics Engineers Inc., p. 60-69 10 p. (Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS; vol. 2017-November).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Industrial research
Software design
Systems analysis
Cyber Physical System
2017

Adaptive Clinical Data Communication for Remote Monitoring in Rural Ambulance Transport

Hosseini, M., Berlin, R. R., Jiang, Y. & Sha, L., Aug 14 2017, Proceedings - 2017 IEEE 2nd International Conference on Connected Health: Applications, Systems and Engineering Technologies, CHASE 2017. Institute of Electrical and Electronics Engineers Inc., p. 245-246 2 p. 8010640. (Proceedings - 2017 IEEE 2nd International Conference on Connected Health: Applications, Systems and Engineering Technologies, CHASE 2017).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Ambulances
Communication
monitoring
Bandwidth
Monitoring

A mobile geo-communication dataset for physiology-aware DASH in rural ambulance transport

Hosseini, M., Jiang, Y., Yekkehkhany, A., Berlin, R. R. & Sha, L., Jun 20 2017, Proceedings of the 8th ACM Multimedia Systems Conference, MMSys 2017. Association for Computing Machinery, Inc, p. 158-163 6 p. (Proceedings of the 8th ACM Multimedia Systems Conference, MMSys 2017).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Ambulances
Physiology
Communication
Bandwidth
Monitoring

An integrated Medical CPS for early detection of paroxysmal sympathetic hyperactivity

Gu, Z., Song, H., Jiang, Y., Choi, J., He, H., Sha, L. & Gu, M., Jan 17 2017, Proceedings - 2016 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2016. Burrage, K., Zhu, Q., Liu, Y., Tian, T., Wang, Y., Hu, X. T., Jiang, Q., Song, J., Morishita, S., Burrage, K. & Wang, G. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 818-822 5 p. 7822630. (Proceedings - 2016 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Brain
Medical Staff
Publications
Detectors
Costs and Cost Analysis

A schedulability test for software migration on multicore system

Kim, J. E., Bradford, R., Abdelzaher, T. & Sha, L. R., May 11 2017, Proceedings of the 2017 Design, Automation and Test in Europe, DATE 2017. Institute of Electrical and Electronics Engineers Inc., p. 1261-1264 4 p. 7927184. (Proceedings of the 2017 Design, Automation and Test in Europe, DATE 2017).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Time division multiple access
Servers
Scheduling
Industry

CPS runtime architecture and automated transformation of applications

Sha, L., Nov 3 2017, FEAST 2017 - Proceedings of the 2017 Workshop on Forming an Ecosystem Around Software Transformation, co-located with CCS 2017. Association for Computing Machinery, Inc, p. 31-34 4 p. (FEAST 2017 - Proceedings of the 2017 Workshop on Forming an Ecosystem Around Software Transformation, co-located with CCS 2017).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Application programs

Learning execution contexts from system call distribution for anomaly detection in smart embedded system

Yoon, M. K., Mohan, S., Choi, J., Christodorescu, M. & Sha, L., Apr 18 2017, Proceedings - 2017 IEEE/ACM 2nd International Conference on Internet-of-Things Design and Implementation, IoTDI 2017 (part of CPS Week). Association for Computing Machinery, Inc, p. 191-196 6 p. (Proceedings - 2017 IEEE/ACM 2nd International Conference on Internet-of-Things Design and Implementation, IoTDI 2017 (part of CPS Week)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Embedded systems
Cluster analysis

Model and integrate medical resource availability into verifiably correct executable medical guidelines

Guo, C., Fu, Z., Zhang, Z., Ren, S. & Sha, L. R., Dec 13 2017, 2017 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2017. Institute of Electrical and Electronics Engineers Inc., p. 964-969 6 p. (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD; vol. 2017-November).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Availability
Biomedical equipment
Cyber Physical System

Modeling and Integrating Human Interaction Assumptions in Medical Cyber-Physical System Design

Fu, Z., Guo, C., Ren, S., Ou, Y. & Sha, L. R., Nov 10 2017, Proceedings - 2017 IEEE 30th International Symposium on Computer-Based Medical Systems, CBMS 2017. Bamidis, P. D., Konstantinidis, S. T. & Rodrigues, P. P. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 373-378 6 p. 8104222. (Proceedings - IEEE Symposium on Computer-Based Medical Systems; vol. 2017-June).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Systems analysis
Theoretical Models
United States Food and Drug Administration
Mechanical Ventilators
Medical Device Recalls

Modeling and integrating physical environment assumptions in medical cyber-physical system design

Fu, Z., Guo, C., Ren, S., Jiang, Y. & Sha, L. R., May 11 2017, Proceedings of the 2017 Design, Automation and Test in Europe, DATE 2017. Institute of Electrical and Electronics Engineers Inc., p. 1615-1618 4 p. 7927249. (Proceedings of the 2017 Design, Automation and Test in Europe, DATE 2017).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Systems analysis
Mathematical models
Cyber Physical System
Engineers
Chemical analysis

Pattern-Based Statechart Modeling Approach for Medical Best Practice Guidelines - A Case Study

Guo, C., Fu, Z., Ren, S., Jiang, Y., Rahmaniheris, M. & Sha, L. R., Nov 10 2017, Proceedings - 2017 IEEE 30th International Symposium on Computer-Based Medical Systems, CBMS 2017. Bamidis, P. D., Konstantinidis, S. T. & Rodrigues, P. P. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 117-122 6 p. 8104169. (Proceedings - IEEE Symposium on Computer-Based Medical Systems; vol. 2017-June).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Practice Guidelines
Medical Staff
Guidelines
Heart Arrest
Patient Care

Physiology-Aware Rural Ambulance Routing

Hosseini, M., Berlin, R. B. & Sha, L., Sep 8 2017, Proceedings - 2017 IEEE International Conference on Healthcare Informatics, ICHI 2017. Cummins, M., Facelli, J., Meixner, G., Giraud-Carrier, C. & Nakajima, H. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 332-337 6 p. 8031170. (Proceedings - 2017 IEEE International Conference on Healthcare Informatics, ICHI 2017).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Ambulances
Communication
Emergencies
Physiologic Monitoring
Patient Care

Toward safe interoperations in network connected medical cyber-physical systems using open-loop safe protocols

Ou, A. Y. Z., Rahmaniheris, M., Jiang, Y., Wu, P. L. & Sha, L. R., Dec 13 2017, 2017 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2017. Institute of Electrical and Electronics Engineers Inc., p. 957-963 7 p. (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD; vol. 2017-November).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Network protocols
Communication
Wireless networks
Personnel
Cyber Physical System

Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems

Guo, C., Fu, Z., Ren, S., Jiang, Y. & Sha, L. R., Sep 7 2017, Proceedings - 2017 IEEE 41st Annual Computer Software and Applications Conference, COMPSAC 2017. Demartini, C., Conte, T., Nakamura, M., Lung, C-H., Zhang, Z., Hasan, K., Reisman, S., Liu, L., Claycomb, W., Takakura, H., Yang, J-J., Tovar, E., Cimato, S., Ahamed, S. I. & Akiyama, T. (eds.). IEEE Computer Society, p. 760-765 6 p. 8029695. (Proceedings - International Computer Software and Applications Conference; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Formal verification

Using human intellectual tasks as guidelines to systematically model medical cyber-physical systems

Ou, A. Y. Z., Yu, J., Wu, P. L., Sha, L. R. & Berlin, R. B., Feb 6 2017, 2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016 - Conference Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 4394-4399 6 p. 7844922. (2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016 - Conference Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Systems analysis
Resuscitation
System Design
Intensive care units
Navigation systems

VirtualDrone: Virtual sensing, actuation, and communication for attack-resilient unmanned aerial systems

Yoon, M. K., Liu, B., Hovakimyan, N. & Sha, L., Apr 18 2017, Proceedings - 2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems, ICCPS 2017 (part of CPS Week). Association for Computing Machinery, Inc, p. 143-154 12 p. (Proceedings - 2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems, ICCPS 2017 (part of CPS Week)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Antennas
Communication
Software architecture
Computer hardware
Actuators

WiP abstract: A physiology-aware communication architecture for distributed emergency medical CPS

Hosseini, M., Berlin, R. B. & Sha, L. R., Apr 18 2017, Proceedings - 2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems, ICCPS 2017 (part of CPS Week). Association for Computing Machinery, Inc, 1 p. (Proceedings - 2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems, ICCPS 2017 (part of CPS Week)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Physiology
Communication
Ambulances
Bandwidth
Satellite links
2016

An organ-centric best practice assist system for acute care

Rahmaniheris, M., Wu, P., Sha, L. & Berlin, R. R., Aug 16 2016, Proceedings - IEEE 29th International Symposium on Computer-Based Medical Systems, CBMS 2016. Institute of Electrical and Electronics Engineers Inc., p. 100-105 6 p. 7545965. (Proceedings - IEEE Symposium on Computer-Based Medical Systems; vol. 2016-August).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Practice Guidelines
Patient monitoring
Monitoring
Finite automata
Managers

A Self-Adaptively Evolutionary Screening Approach for Sepsis Patient

Jiang, Y., Tan, P., Song, H., Wan, B., Hosseini, M. & Sha, L., Aug 16 2016, Proceedings - IEEE 29th International Symposium on Computer-Based Medical Systems, CBMS 2016. Institute of Electrical and Electronics Engineers Inc., p. 60-65 6 p. 7545957. (Proceedings - IEEE Symposium on Computer-Based Medical Systems; vol. 2016-August).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Sepsis
Screening
Systemic Inflammatory Response Syndrome
Semantics
Cause of Death

From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design

Jiang, Y., Yang, Y., Liu, H., Kong, H., Gu, M., Sun, J. & Sha, L. R., Apr 27 2016, 2016 IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2016 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 7461337. (2016 IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2016 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Controllers
Computer hardware description languages
Hardware
Engineers
Monitoring

On Maximizing Quality of Information for the Internet of Things: A Real-Time Scheduling Perspective (Invited Paper)

Kim, J. E., Abdelzaher, T., Sha, L., Bar-Noy, A., Hobbs, R. & Dron, W., Sep 29 2016, Proceedings - 2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2016. Institute of Electrical and Electronics Engineers Inc., p. 202-211 10 p. 7579957. (Proceedings - 2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Scheduling
Heuristic algorithms
Internet of things
Quality of information
Deadline

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

Jiang, Y., Liu, H., Song, H., Kong, H., Gu, M., Sun, J. & Sha, L., Jan 1 2016, FM 2016: Formal Methods - 21st International Symposium, Proceedings. Heitmeyer, C., Philippou, A., Gnesi, S. & Fitzgerald, J. (eds.). Springer-Verlag, p. 757-763 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9995 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Formal Model
Safety
Controller
Controllers
Timed Automata

Sporadic Decision-Centric Data Scheduling with Normally-off Sensors

Kim, J. E., Abdelzaher, T., Sha, L. R., Bar-Noy, A. & Hobbs, R., Jul 2 2016, Proceedings - 2016 IEEE Real-Time Systems Symposium, RTSS 2016. Institute of Electrical and Electronics Engineers Inc., p. 135-145 11 p. 7809850. (Proceedings - Real-Time Systems Symposium; vol. 0).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Scheduling
Sensors
Chemical activation
Controllers
Sampling

TaskShuffler: A Schedule Randomization Protocol for Obfuscation against Timing Inference Attacks in Real-Time Systems

Yoon, M. K., Mohan, S., Chen, C. Y. & Sha, L., Apr 27 2016, 2016 IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2016 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 7461362. (2016 IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2016 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Real time systems
Entropy
Uncertainty

The dragonbeam framework: Hardware-protected security modules for in-place intrusion detection

Yoon, M. K., Christodorescu, M., Sha, L. & Mohan, S., Jun 6 2016, SYSTOR 2016 - Proceedings of the 9th ACM International Systems and Storage Conference. Association for Computing Machinery, Inc, 2928290. (SYSTOR 2016 - Proceedings of the 9th ACM International Systems and Storage Conference).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Intrusion detection
Monitoring
Engines
Hardware
Hardware security

Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models

Guo, C., Ren, S., Jiang, Y., Wu, P. L., Sha, L. R. & Berlin, R. B., May 25 2016, 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems, ICCPS 2016 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 7479121. (2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems, ICCPS 2016 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Rapid prototyping
Large scale systems
Websites
Formal verification
Cyber Physical System

Use runtime verification to improve the quality of medical care practice

Jiang, Y., Liu, H., Kong, H., Wang, R., Hosseini, M., Sun, J. & Sha, L., May 14 2016, Proceedings - 5th International Workshop on Green and Sustainable Software, GREENS 2016. IEEE Computer Society, p. 112-121 10 p. (Proceedings - International Conference on Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Decision support systems
Health care
Flow simulation
Medicine
Data acquisition
2015

Budgeted generalized rate monotonic analysis for the partitioned, yet globally scheduled uniprocessor model

Kim, J. E., Abdelzaher, T. & Sha, L., May 14 2015, Proceedings - 21st IEEE Real Time and Embedded Technology and Applications Symposium, RTAS 2015. Institute of Electrical and Electronics Engineers Inc., p. 221-231 11 p. 7108445. (Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS; vol. 2015-May).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Program processors
Scheduling
Linear programming
Software engineering
Servers

Exploiting structured human interactions to enhance estimation accuracy in cyber-Physical systems

Gao, Y., Hu, S., Mancuso, R., Wang, H., Kim, M., Wu, P. L., Su, L., Sha, L. & Abdelzaher, T., Apr 14 2015, ACM/IEEE 6th International Conference on Cyber-Physical Systems, ICCPS 2015. Association for Computing Machinery, Inc, p. 60-69 10 p. (ACM/IEEE 6th International Conference on Cyber-Physical Systems, ICCPS 2015).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Sensors
Cyber Physical System

Memory Heat Map: Anomaly detection in real-time embedded systems using memory behavior

Yoon, M. K., Mohan, S., Choi, J. & Sha, L., Jul 24 2015, 2015 52nd ACM/EDAC/IEEE Design Automation Conference, DAC 2015. Institute of Electrical and Electronics Engineers Inc., 7167219. (Proceedings - Design Automation Conference; vol. 2015-July).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Anomaly Detection
Real time systems
Embedded systems
Embedded Systems
Heat

Real-time reachability for verified simplex design

Bak, S., Johnson, T. T., Caccamo, M. & Sha, L., Jan 14 2015, Proceedings - IEEE 35th Real-Time Systems Symposium, RTSS 2014. January ed. Institute of Electrical and Electronics Engineers Inc., p. 138-148 11 p. 7010482. (Proceedings - Real-Time Systems Symposium; vol. 2015-January, no. January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Controllers
Pendulums
Hybrid systems

Safe Workflow Adaptation and Validation Protocol for Medical Cyber-Physical Systems

Wu, P. L., Sha, L. R., Berlin, R. B. & Goldman, J. M., Oct 20 2015, Proceedings - 41st Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2015. Institute of Electrical and Electronics Engineers Inc., p. 464-471 8 p. 7302491. (Proceedings - 41st Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2015).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Physiological models
Resuscitation
Cyber Physical System
Compliance

Schedulability bound for integrated modular avionics partitions

Kim, J. E., Abdelzaher, T. & Sha, L. R., Apr 22 2015, Proceedings of the 2015 Design, Automation and Test in Europe Conference and Exhibition, DATE 2015. Institute of Electrical and Electronics Engineers Inc., p. 37-42 6 p. 7092355. (Proceedings -Design, Automation and Test in Europe, DATE; vol. 2015-April).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Avionics
Linear programming
Industry
Scheduling

SINk: A middleware for synchronization of heterogeneous software interfaces

Hosseini, M., Jiang, Y., Wu, P., Berlin, R. B. & Sha, L., Dec 7 2015, Proceedings of the 14th Workshop on Adaptive and Reflective Middleware, ARM 2015 - Collocated with ACM/IFIP/USENIX Middleware 2015. Association for Computing Machinery, Inc, 2. (Proceedings of the 14th Workshop on Adaptive and Reflective Middleware, ARM 2015 - Collocated with ACM/IFIP/USENIX Middleware 2015).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Middleware
Interfaces (computer)
Synchronization
Application programs
Web services

WCET(m) Estimation in Multi-core Systems Using Single Core Equivalence

Mancuso, R., Pellizzoni, R., Caccamo, M., Sha, L. R. & Yun, H., Aug 3 2015, Proceedings - 27th Euromicro Conference on Real-Time Systems, ECRTS 2015. Institute of Electrical and Electronics Engineers Inc., p. 174-183 10 p. 7176036. (Proceedings - Euromicro Conference on Real-Time Systems; vol. 2015-August).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Computer software reusability
Industrial engineering
Industry
Data storage equipment
Virtual machine
2014

Applying software model checking to PALS systems

Nam, M. Y., Sha, L. R., Chaki, S. & Kim, C., Dec 8 2014, 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference, DASC. Institute of Electrical and Electronics Engineers Inc., p. 5B41-5B414 6979483. (AIAA/IEEE Digital Avionics Systems Conference - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Model checking
Explosions
Middleware
Semantics
Hardware

A treatment validation protocol for cyber-physical-human medical systems

Wu, P. L., Raguraman, D., Sha, L., Berlin, R. B. & Goldman, J. M., Oct 17 2014, Proceedings - 40th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2014. Rabiser, R., Torkar, R. & Torkar, R. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 183-190 8 p. 6928810. (Proceedings - 40th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2014).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Physiological models
Monitoring

Towards a cyber-medical model for device configuration safety in acute care

Rahmaniheris, M., Sha, L. R., Berlin, R. B. & Goldman, J. M., Feb 10 2014, 2014 IEEE Healthcare Innovation Conference, HIC 2014. Institute of Electrical and Electronics Engineers Inc., p. 118-124 7 p. 7038889. (2014 IEEE Healthcare Innovation Conference, HIC 2014).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Equipment Safety
Equipment and Supplies
Patient monitoring
Safety
Heart Arrest

WiP abstract: A treatment coordination protocol for cyber-physical-human medical systems

Wu, P. L., Raguraman, D., Sha, L., Berlin, R. B. & Goldman, J. M., Jan 1 2014, 2014 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2014. IEEE Computer Society, 1 p. 6843739. (2014 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2014).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Intensive care units
Statistics
2013

A low complexity coordination architecture for networked supervisory medical systems

Wu, P. L., Kang, W., Al-Nayeem, A., Sha, L. R., Berlin, R. B. & Goldman, J. M., Sep 2 2013, Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, ICCPS 2013. p. 89-98 10 p. (Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, ICCPS 2013).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Network protocols
Physiology
Explosions

A low complexity coordination architecture for networked supervisory medical systems

Wu, P. L., Kang, W., Ai-Nayeem, A., Sha, L. R., Berlin, R. B. & Goldman, J. M., Oct 15 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2013. p. 89-98 10 p. 6604003. (2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2013).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Network protocols
Physiology
Explosions

Holistic design parameter optimization of multiple periodic resources in hierarchical scheduling

Yoon, M. K., Kim, J. E., Bradford, R. & Sha, L. R., Oct 21 2013, Proceedings - Design, Automation and Test in Europe, DATE 2013. p. 1313-1318 6 p. 6513717. (Proceedings -Design, Automation and Test in Europe, DATE).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Scheduling
Heuristic methods
Real time systems

L1Simplex: Fault-tolerant control of cyber-physical systems

Wang, X., Hovakimyan, N. & Sha, L. R., Oct 15 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2013. p. 41-50 10 p. 6603998. (2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2013).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Controllers
Cyber Physical System

L1Simplex: Fault-tolerant control of cyber-physical systems

Wang, X., Hovakimyan, N. & Sha, L. R., Sep 2 2013, Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, ICCPS 2013. p. 41-50 10 p. (Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, ICCPS 2013).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Controllers
Cyber Physical System

MemGuard: Memory bandwidth reservation system for efficient performance isolation in multi-core platforms

Yun, H., Yao, G., Pellizzoni, R., Caccamo, M. & Sha, L., Aug 9 2013, 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium, RTAS 2013. p. 55-64 10 p. 6531079. (Real-Time Technology and Applications - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Reservation systems
Bandwidth
Data storage equipment
Real time systems
Throughput

Middleware design for physically-asynchronous logically-synchronous (PALS) systems

Al-Nayeem, A., Kim, C., Kang, W., Wu, P. L. & Sha, L. R., Jan 1 2013, 2013 Proceedings of the International Conference on Embedded Software, EMSOFT 2013. IEEE Computer Society, 6658583. (2013 Proceedings of the International Conference on Embedded Software, EMSOFT 2013).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Middleware
Testbeds
Clocks