Filter
Conference contribution

Search results

  • 2015

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

    Wu, P. L., Sha, L., 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

  • Schedulability bound for integrated modular avionics partitions

    Kim, J. E., Abdelzaher, T. & Sha, L., 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

  • 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, 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

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

    Mancuso, R., Pellizzoni, R., Caccamo, M., Sha, L. & 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

  • 2014

    Applying software model checking to PALS systems

    Nam, M. Y., Sha, L., 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

  • 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

  • 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

  • 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., 2014, 2014 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2014. IEEE Computer Society, p. 226 1 p. 6843739. (2014 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2014).

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

  • 2013

    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., 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

  • 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., 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

  • Holistic design parameter optimization of multiple periodic resources in hierarchical scheduling

    Yoon, M. K., Kim, J. E., Bradford, R. & Sha, L., 2013, Proceedings - Design, Automation and Test in Europe, DATE 2013. Institute of Electrical and Electronics Engineers Inc., p. 1313-1318 6 p. 6513717. (Proceedings -Design, Automation and Test in Europe, DATE).

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

  • L1Simplex: Fault-tolerant control of cyber-physical systems

    Wang, X., Hovakimyan, N. & Sha, L., 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

  • L1Simplex: Fault-tolerant control of cyber-physical systems

    Wang, X., Hovakimyan, N. & Sha, L., 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

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

    Yun, H., Yao, G., Pellizzoni, R., Caccamo, M. & Sha, L., 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

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

    Al-Nayeem, A., Kim, C., Kang, W., Wu, P. L. & Sha, L., 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

  • 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., 2013, Proceedings of CBMS 2013 - 26th IEEE International Symposium on Computer-Based Medical Systems. p. 514-515 2 p. 6627855. (Proceedings of CBMS 2013 - 26th IEEE International Symposium on Computer-Based Medical Systems).

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

  • On-chip control flow integrity check for real time embedded systems

    Abad, F. A. T., Woude, J. V. D., Lu, Y., Bak, S., Caccamo, M., Sha, L., Mancuso, R. & Mohan, S., 2013, 2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013. IEEE Computer Society, p. 26-31 6 p. 6614242. (2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013).

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

  • Optimized scheduling of multi-IMA partitions with exclusive region for synchronized real-time multi-core systems

    Kim, J. E., Yoon, M. K., Im, S., Bradford, R. & Sha, L., 2013, Proceedings - Design, Automation and Test in Europe, DATE 2013. Institute of Electrical and Electronics Engineers Inc., p. 970-975 6 p. 6513649. (Proceedings -Design, Automation and Test in Europe, DATE).

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

  • S3A: Secure system simplex architecture for enhanced security and robustness of cyber-physical systems

    Mohan, S., Bak, S., Betti, E., Yun, H., Sha, L. & Caccamo, M., 2013, HiCoNS 2013 - Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems, Part of CPSWeek 2013. p. 65-74 10 p. (HiCoNS 2013 - Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems, Part of CPSWeek 2013).

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

  • SecureCore: A multicore-based intrusion detection architecture for real-time embedded systems

    Yoon, M. K., Mohan, S., Choi, J., Kim, J. E. & Sha, L., 2013, 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium, RTAS 2013. p. 21-32 12 p. 6531076. (Real-Time Technology and Applications - Proceedings).

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

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

    Kang, W., Wu, P. L., Rahmaniheris, M., Sha, L., Berlin, R. B. & Goldman, J. M., 2013, Proceedings of CBMS 2013 - 26th IEEE International Symposium on Computer-Based Medical Systems. p. 143-148 6 p. 6627779. (Proceedings of CBMS 2013 - 26th IEEE International Symposium on Computer-Based Medical Systems).

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

    Open Access
  • 2012

    Compositional verification of architectural models

    Cofer, D., Gacek, A., Miller, S., Whalen, M. W., LaValley, B. & Sha, L., 2012, NASA Formal Methods - 4th International Symposium, NFM 2012, Proceedings. p. 126-140 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7226 LNCS).

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

    Open Access
  • How to reliably integrate medical devices over wireless

    Kim, C., Sun, M., Rahmaniheris, M. & Sha, L., 2012, 2012 9th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks, SECON 2012. p. 85-87 3 p. 6276355. (Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks workshops; vol. 1).

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

  • Memory access control in multiprocessor for real-time systems with mixed criticality

    Yun, H., Yao, G., Pellizzoni, R., Caccamo, M. & Sha, L., 2012, Proceedings of the 24th Euromicro Conference on Real-Time Systems, ECRTS 2012. p. 299-308 10 p. 6257581. (Proceedings - Euromicro Conference on Real-Time Systems).

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

  • Model-based design of a wireless telemetry system and QoS assessment using AADL

    Kang, K., Nam, M. Y., Lee, J., Park, J., Yoo, H. & Sha, L., 2012, Proceedings - 2012 IEEE International Conference on Bioinformatics and Biomedicine Workshops, BIBMW 2012. p. 748-749 2 p. 6470230. (Proceedings - 2012 IEEE International Conference on Bioinformatics and Biomedicine Workshops, BIBMW 2012).

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

  • Pattern-based composition and analysis of virtually synchronized real-time distributed systems

    Al-Nayeem, A., Sha, L., Cofer, D. D. & Miller, S. M., 2012, Proceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012. p. 65-74 10 p. 6197389. (Proceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012).

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

    Open Access
  • 2011

    Limiting worst-case end-to-end latency when traffic increases in a switched avionics network

    Nam, M. Y., Seo, E., Sha, L., Park, K. J. & Kang, K., 2011, Proceedings - 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2011. p. 285-294 10 p. 6029839. (Proceedings - 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2011; vol. 1).

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

  • Optimizing tunable WCET with shared resource allocation and arbitration in hard real-time multicore systems

    Yoon, M. K., Kim, J. E. & Sha, L., 2011, Proceedings - 2011 32nd IEEE Real-Time Systems Symposium, RTSS 2011. p. 227-238 12 p. 6121441. (Proceedings - Real-Time Systems Symposium).

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

  • Resource allocation contracts for open analytic runtime models

    Nam, M. Y., De Niz, D., Wrage, L. & Sha, L., 2011, Embedded Systems Week 2011, ESWEEK 2011 - Proceedings of the 9th ACM International Conference on Embedded Software, EMSOFT'11. p. 13-22 10 p. (Embedded Systems Week 2011, ESWEEK 2011 - Proceedings of the 9th ACM International Conference on Embedded Software, EMSOFT'11).

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

  • 2010

    A formal pattern architecture for safe medical systems

    Sun, M., Meseguer, J. & Sha, L., 2010, Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Revised Selected Papers. p. 157-173 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6381 LNCS).

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

  • A framework for the safe interoperability of medical devices in the presence of network failures

    Kim, C., Sun, M., Mohan, S., Yun, H., Sha, L. & Abdelzaher, T. F., 2010, Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS '10. p. 149-158 10 p. (Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS '10).

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

  • A reduced complexity design pattern for distributed hierarchical command and control system

    Yun, H., Wu, P. L., Rahmaniheris, M., Kim, C. & Sha, L., 2010, Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS '10. p. 42-49 8 p. (Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS '10).

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

  • Cyber-physical systems: The next computing revolution

    Rajkumar, R., Lee, I., Sha, L. & Stankovic, J., 2010, Proceedings of the 47th Design Automation Conference, DAC '10. p. 731-736 6 p. (Proceedings - Design Automation Conference).

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

  • Exploring the design space of IMA system architectures

    Bradford, R., Fliginger, S., Nam, M. Y., Mohan, S., Pellizzoni, R., Kim, C., Caccamo, M. & Sha, L., 2010, 29th Digital Avionics Systems Conference: Improving Our Environment through Green Avionics and ATM Solutions, DASC 2010. p. 5.E.51-5.E.515 5655464. (AIAA/IEEE Digital Avionics Systems Conference - Proceedings).

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

  • Reconstructing missing signals in multi-parameter physiologic data by mining the aligned contextual information

    Li, Y., Sun, Y., Sondhi, P., Sha, L. & Zhai, C., 2010, Computing in Cardiology 2010, CinC 2010. p. 449-452 4 p. 5738006. (Computing in Cardiology; vol. 37).

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

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

    Yun, H., Wu, P. L., Arya, A., Abdelzaher, T., Kim, C. & Sha, L., 2010, Proceedings - 22nd Euromicro Conference on Real-Time Systems, ECRTS 2010. p. 133-142 10 p. 5562906. (Proceedings - Euromicro Conference on Real-Time Systems).

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

  • 2009

    A formal architecture pattern for real-time distributed systems

    Al-Nayeem, A., Sun, M., Qiu, X., Sha, L., Miller, S. P. & Cofer, D. D., 2009, Proceedings - Real-Time Systems Symposium, RTSS 2009. p. 161-170 10 p. 5368818. (Proceedings - Real-Time Systems Symposium).

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

  • ASIIST: Application specific I/O integration support tool for real-time bus architecture designs

    Nam, M. Y., Pellizzoni, R., Sha, L. & Bradford, R. M., 2009, Proceedings - 2009 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009. Institute of Electrical and Electronics Engineers Inc., p. 11-22 12 p. 5090507. (Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS).

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

  • End-to-end delay analysis of wireless ECG over cellular networks

    Yoon, M. K., Kim, J. E., Kang, K., Park, K. J., Nam, M. Y. & Sha, L., May 18 2009, WiMD 2009 - Proceedings of the 1st ACM International Workshop on Medical-Grade Wireless Networks, co-located with MobiHoc 2009. Association for Computing Machinery, p. 21-26 6 p. (WiMD 2009 - Proceedings of the 1st ACM International Workshop on Medical-Grade Wireless Networks, co-located with MobiHoc 2009).

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

  • Entropy-maximization based adaptive frequency hopping for wireless medical telemetry systems

    Park, K. J., Park, T. R., Schmitz, C. D. & Sha, L., May 18 2009, WiMD 2009 - Proceedings of the 1st ACM International Workshop on Medical-Grade Wireless Networks, co-located with MobiHoc 2009. Association for Computing Machinery, p. 15-20 6 p. (WiMD 2009 - Proceedings of the 1st ACM International Workshop on Medical-Grade Wireless Networks, co-located with MobiHoc 2009).

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

  • Handling mixed-criticality in SoC-based real-time embedded systems

    Pellizzoni, R., Meredith, P., Nam, M. Y., Sun, M., Caccamo, M. & Sha, L., 2009, Embedded Systems Week 2009 - Proceedings of the 7th ACM International Conference on Embedded Software, EMSOFT '09. p. 235-244 10 p. (Embedded Systems Week 2009 - Proceedings of the 7th ACM International Conference on Embedded Software, EMSOFT '09).

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

  • IEEE 802.11 WLAN for medical-grade QoS

    Park, K. J., Shrestha, D. M., Ko, Y. B., Vaidya, N. H. & Sha, L., May 18 2009, WiMD 2009 - Proceedings of the 1st ACM International Workshop on Medical-Grade Wireless Networks, co-located with MobiHoc 2009. Association for Computing Machinery, p. 3-8 6 p. (WiMD 2009 - Proceedings of the 1st ACM International Workshop on Medical-Grade Wireless Networks, co-located with MobiHoc 2009).

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

  • Implementing logical synchrony in integrated modular avionics

    Miller, S. P., Cofer, D. D., Sha, L., Meseguer, J. & Al-Nayeem, A., 2009, 28th Digital Avionics Systems Conference: Modernization of Avionics and ATM-Perspectives from the Air and Ground, DASC 2009 - Proceedings. p. 1.A.31-1.A.312 (AIAA/IEEE Digital Avionics Systems Conference - Proceedings).

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

  • Rapid early-phase virtual integration

    Mohan, S., Nam, M. Y., Pellizoni, R., Sha, L., Bradford, R. & Fliginger, S., 2009, Proceedings - Real-Time Systems Symposium, RTSS 2009. p. 33-44 12 p. 5369343. (Proceedings - Real-Time Systems Symposium).

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

  • Real-time control of I/O COTS peripherals for embedded systems

    Bak, S., Betti, E., Pellizzoni, R., Caccamo, M. & Sha, L., 2009, Proceedings - Real-Time Systems Symposium, RTSS 2009. p. 193-203 11 p. 5368829. (Proceedings - Real-Time Systems Symposium).

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

  • The system-level simplex architecture for improved real-time embedded system safety

    Bak, S., Chivukula, D. K., Adekunle, O., Sun, M., Caccamo, M. & Sha, L., 2009, Proceedings - 15th IEEE Real-Time and Embedded Technology and Application Symposium, RTAS 2009. p. 99-107 9 p. 4840571. (Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS).

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

  • 2008

    A switch design for real-time industrial networks

    Wang, Q., Gopalakrishnan, S., Liu, X. & Sha, L., 2008, Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2008. p. 367-376 10 p. 4550807. (Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS).

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

  • Coscheduling of CPU and I/O transactions in COTS-based embedded systems

    Pellizzoni, R., Bui, B. D., Caccamo, M. & Sha, L., 2008, Proceedings - 2008 Real-Time Systems Symposium, RTSS 2008. p. 221-231 11 p. 4700437. (Proceedings - Real-Time Systems Symposium).

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

  • Cyber-physical systems: A new frontier

    Sha, L., Gopalakrishnan, S., Liu, X. & Wang, Q., 2008, 2008 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing, SUTC 2008. p. 1-9 9 p. 4545732. (Proceedings - IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing).

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

  • Design of complex cyber physical systems with formalized architectural patterns

    Sha, L. & Meseguer, J., 2008, Software-Intensive Systems and New Computing Paradigms: Challenges and Visions. Springer, p. 92-100 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5380 LNCS).

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