University of Pennsylvania

file

Visible to the public Trustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms

Abstract:

Medical devices are typically developed as stand-alone units. Current industrial Verification and Validation (V&V) techniques primarily target stand-alone systems. Moreover, the US Food and Drug Administration's (FDA) regulatory clearance processes are designed to approve such devices that are integrated by a single manufacturer with complete control over all components.

file

Visible to the public High-level Perception and Control for Autonomous Reconfigurable Modular Robots

Abstract:

The objective of this research is to develop the theory, hardware and computational infrastructure that will enable automatically transforming user-defined, high-level tasks into correct, low-level perception informed control and configurations for modular robots.

file

Visible to the public CPS-VO: Active Resources

Abstract:

The Cyber-Physical Systems Virtual Organization (CPS-VO) was founded by NSF in 2010 to: (i) facilitate and foster interaction and exchanges among CPS PIs and their teams; (ii) enable sharing of artifacts and knowledge generated by the projects with the broader engineering and scientific communities; and (iii) facilitate and foster collaboration and information exchange between CPS researchers and industry.

file

Visible to the public Synergy: Collaborative Research: Security and Privacy-Aware Cyber-Physical Systems

Abstract:

Security and privacy concerns in the increasingly interconnected world are receiving much attention from the research community, policymakers, and general public. However, much of the recent and on-going efforts concentrate on privacy in communication and social interactions. The advent of cyber-physical systems, which aim at tight integration between distributed computational intelligence, communication networks, physical world, and human actors, opens new possibilities for developing intelligent systems with new capabilities.

file

Visible to the public Safety-Feature Modeling and Adaptive Resource Management for Mixed-Criticality Cyber-Physical Systems

Abstract:

This project is concerned with ensuring operational safety of complex cyber-physical systems such as automobiles, aircraft, and medical devices. Modern development techniques for such systems rely on independent implementation of safety features in software and subsequent integration of these features within system platform architectures. The current trend in developing these systems, driven by the need to reduce cost and energy consumption, is to share computational resources between different features.

file

Visible to the public Model-based Clinical Trials for Implantable Cardiac Devices

Rahul Mangharam is an Associate Professor in the Department of Electrical and Systems Engineering at the University of Pennsylvania. He also holds a secondary appointment in the Department of Computer and Information Sciences and is a founding member of the PRECISE Center. He directs the mLAB- Real-Time and Embedded Systems Lab at Penn. His interests are in real-time scheduling algorithms for networked embedded systems with applications in energy-efficient buildings, automotive systems, medical devices and industrial wireless control networks.

file

Visible to the public High-level Perception and Control for Autonomous Reconfigurable Modular Robots

Abstract:

The objective of this research is to develop the theory, hardware and computational infrastructure that will enable automatically transforming user-defined, high-level tasks into correct, low-level perception informed control and configurations for modular robots.

file

Visible to the public Safety-Feature Modeling and Adaptive Resource Management for Mixed-Criticality Cyber-Physical Systems

Abstract:

This project is concerned with ensuring operational safety of complex cyber-physical systems such as automobiles, aircraft, and medical devices. Modern development techniques for such systems rely on independent implementation of safety features in software and subsequent integration of these features within system platform architectures . The current trend in developing these systems, driven by the need to reduce cost and energy consumption, is to share computational resources between different features .