CPS: Medium: The Ectokernel Approach: A Composition Paradigm for Building Evolvable Safety-critical Systems from Unsafe Components
Tarek Abdelzaher
Lead PI:
Tarek Abdelzaher
Co-PI:
Abstract
The objective of this research is to develop a new approach for composition of safety-critical cyber-physical systems from a small code base of verified components and a large code base of unverified commercial off-the-shelf components. The approach is novel in that it does not require generating the entire code base from formal languages, specifications, or models and does not require verification to be applied to all code. Instead, an explicit goal is to accommodate large amounts of legacy code that is typically too complex to verify.
Performance Period: 08/15/2010 - 07/31/2014
Institution: University of Illinois at Urbana-Champaign
Sponsor: National Science Foundation
Award Number: 1035736
CPS: Medium: Addressing Design and Human Factors Challenges in Cyber Transportation Systems
Lead PI:
Chunming Qiao
Co-PI:
Abstract
This project has two closely related objectives. The first is to design and evaluate new Cyber Transportation Systems (CTS) applications for improved traffic safety and traffic operations. The second is to design and develop an integrated traffic-driving-networking simulator. The project takes a multi-disciplinary approach that combines cyber technologies, transportation engineering and human factors. While transportation serves indispensible functions to society, it does have its own negative impacts in terms of accidents, congestion, pollution, and energy consumption.
Chunming Qiao

 

Professor Chunming Qiao directs the Lab for  Advanced Network Design, Analysis, and Research (LANDER), which conducts cutting-edge research with current foci on  optical networking and survivability/availability in cloud computing, active-safety and infotainment in transportation systems, and low-cost and low-power sensors and mobile (robotic) sensor networks. He has published about 100 and 160 papers in leading technical journals and conference proceedings,  respectively, with an h-index above 50 (according to Google Scholar). He pioneered research on  Optical Internet, and in particular, the optical burst switching (OBS). One of his paper on OBS alone has been cited for more than 2000 times.   In addition, his work on integrated cellular and ad hoc relaying systems  (iCAR), started in 1999, is recognized as the harbinger for today's push towards the convergence between  heterogeneous wireless technologies, and has been featured in BusinessWeek and Wireless Europe,  as well as at the websites of New Scientists and CBC. His Research has been funded by ten NSF grants including two ITR awards, and by major IT and telecommunications companies including Alcatel Research, Fujitsu Labs, Cisco, Google, NEC labs, Nokia, Nortel Networks, Sprint Advanced Technology Lab, and Telcordia, as well as Industrial  Technology Research Institute (in Taiwan).   Dr. Qiao has given a dozen of keynotes, and numerous invited talks on the above research topics.  He has chaired and co-chaired a dozen of international conferences and workshops.  He was an editor of IEEE Transactions On Networking and Trans on Paralle and Distributed Sytems,  and a guest-editor  for several IEEE Journal on Selected Areas in Communications (JSAC) issues. He was the chair of the IEEE Technical  Committee on High Speed Networks (HSN) and \the IEEE  Subcommittee on Integrated Fiber and Wireless  Technologies (FiWi) which he founded. He was elected to IEEE Fellow for his contributions to optical and wireless network architectures and protocols.
Performance Period: 09/15/2010 - 08/31/2014
Institution: SUNY at Buffalo
Sponsor: National Science Foundation
Award Number: 1035733
CPS: Large: Assuring the Safety, Security and Reliability of Medical Device Cyber Physical Systems
Insup Lee
Lead PI:
Insup Lee
Co-PI:
Abstract
The objective of this research is to establish a new development paradigm that enables the effective design, implementation, and certification of medical device cyber-physical systems. The approach is to pursue the following research directions: 1) to support medical device interconnectivity and interoperability with network-enabled control; 2) to apply coordination between medical devices to support emerging clinical scenarios; 3) to ?close the loop?
Performance Period: 10/01/2010 - 09/30/2016
Institution: University of Pennsylvania
Sponsor: National Science Foundation
Award Number: 1035715
Project URL
CPS: Medium: Timing-Centric Software
Edward Lee
Lead PI:
Edward Lee
Co-PI:
Abstract
The objective of this research is to define programming abstractions with temporal semantics for distributed cyber-physical systems. The approach is to create a coordination language for distributed embedded software that blends naturally with models of physical dynamics. The coordination language is based on a rigorous discrete-event concurrent model of computation. It will be used by system designers to construct models from which software implementations are derived.
Performance Period: 09/15/2010 - 08/31/2014
Institution: University of California-Berkeley
Sponsor: National Science Foundation
Award Number: 1035672
Project URL
CPS: Medium: Safety-Oriented Hybrid Verification for Medical Robotics
Matthew Might
Lead PI:
Matthew Might
Abstract
The objective of this research is to develop methods and tools for designing, implementing and verifying medical robotics. The approach is to capture the computational work-flow of systems with cyber, physical and biological components, to verify that work-flow and to synthesize systems from the work-flow model. The focusing application of this research is MRI-guided, high-frequency ultrasonic tumor ablation. MRI-guided ultrasonic tumor ablation poses challenges beyond the scope of current verification techniques.
Performance Period: 09/15/2010 - 02/28/2014
Institution: University of Utah
Sponsor: National Science Foundation
Award Number: 1035658
CPS: Large: Science of Integration for Cyber-Physical Systems
Co-PI:
Abstract
The objective of this research is to develop new foundations of composition in heterogeneous systems, to apply these foundations in a new generation of tools for system integration, and to validate the results in experiments using automotive and avionics System-of-Systems experimental platforms.
Janos Sztipanovits

Dr. Janos Sztipanovits is currently the E. Bronson Ingram Distinguished Professor of Engineering at Vanderbilt University. He is founding director of the Institute for Software Integrated Systems (ISIS). His current research interest includes the foundation and applications of Model-Integrated Computing for the design of Cyber Physical Systems. His other research contributions include structurally adaptive systems, autonomous systems, design space exploration and systems-security co-design technology. He served as  program manager and acting deputy director of DARPA/ITO between 1999 and 2002 and he was member of the US Air Force Scientific Advisory Board between 2006-2010.  He was founding chair of the ACM Special Interest Group on Embedded Software (SIGBED). Dr. Sztipanovits was elected Fellow of the IEEE in 2000 and external member of the Hungarian Academy of Sciences in 2010. He graduated (Summa Cum Laude) from the Technical University of Budapest in 1970 and received his doctorate from the Hungarian Academy of Sciences in 1980.

Performance Period: 10/01/2010 - 09/30/2016
Institution: Vanderbilt University
Sponsor: National Science Foundation
Award Number: 1035655
Project URL
CPS: Medium: Self-Sustaining CPS for Structural Monitoring
Peter Volgyesi
Lead PI:
Peter Volgyesi
Co-PI:
Abstract
Tens of thousands of the nation?s bridges are structurally deficient. This project proposes to design a self sustaining, wireless structural monitoring system. The novel low-power Flash FPGA-based hardware platform and the corresponding software architecture offer a radically new approach to CPS design.
Peter Volgyesi

Peter Volgyesi is a Research Scientist at the Institute for Software Integrated Systems at Vanderbilt University. In the past decade Mr. Volgyesi has been working on several novel and high impact projects sponsored by DARPA, NSF, ONR, ARL and industrial companies (Lockheed Martin, BAE Systems, the Boeing Company, Raytheon, Microsoft). He is one of the architects of the Generic Modeling Environment, a widely used metaprogrammable visual modeling tool, and WebGME - its modern web-based variant. Mr. Volgyesi had a leading role in developing the real-time signal processing algorithms in PinPtr, a low cost, low power countersniper system. He also participated in the development of the Radio Interferometric Positioning System (RIPS), a patented technology for accurate low-power node localization. As PI on two NSF funded projects Mr. Volgyesi and his team developed a low-power software-defined radio platform (MarmotE) and a component-based development toolchain targeting multicore SoC architectures for wireless cyber-physical systems. His team won the Preliminary Tournament of the DARPA Spectrum Challenge in September, 2013.

Performance Period: 10/01/2010 - 09/30/2014
Institution: Vanderbilt University
Sponsor: National Science Foundation
Award Number: 1035627
CPS: Small: System support for generally programmable digital microfluidic biochip devices
Philip Brisk
Lead PI:
Philip Brisk
Abstract
The objective of this research is to develop a prototype programmable microfluidic laboratory-on-chip that concurrently executes assays (chemical algorithms) in an on-line fashion. A chemist specifies an assay (chemical algorithm) using a text-based language. Assays arrive at the device in real-time and an operating system/virtual machine running on an attached microcontroller interprets them. The approach is to develop a software simulation infrastructure for the laboratory-on-chip and to build the operating system/virtual machine on top of it.
Performance Period: 09/15/2010 - 08/31/2015
Institution: University of California at Riverside
Sponsor: National Science Foundation
Award Number: 1035603
CPS: Small: A Framework for Validation and Monitoring of Robotic Surgery Systems
Co-PI:
Abstract
Complex surgical procedures in hospitals are increasingly aided by robotic surgery systems, often at the request of patients. These systems allow greatly increased precision, reach and flexibility to the surgeon. However, their powerful capabilities entail substantial system complexity in both hardware and software. The high probability of serious injuries should a malfunction occur calls for rigorous assessment and monitoring of the reliability and safety of these cyber-physical systems.
Performance Period: 09/01/2010 - 12/31/2015
Institution: Case Western Reserve University
Sponsor: National Science Foundation
Award Number: 1035602
CPS: Small: Virtually Transparent Epidermal Imagery
Yu Sun
Lead PI:
Yu Sun
Co-PI:
Abstract
The objective of this research is to develop a cyber-physical system capable of displaying the in vivo surgical area directly onto patients' skin in real-time high definition. This system will give surgeons an x-ray vision experience, since they see directly through the skin, and remove a spatial bottleneck and additional scarring caused by laparoscopes in minimally invasive surgery. The approach is to develop micro-cameras that: occupy no space required by surgical tools, produce no additional scarring to the patient, and transfer wireless high-definition video images.
Yu Sun

I am currently an Assistant Professor in the Department of Computer Science and Engineering at the University of South Florida. I was a Postdoctoral Associate at Mitsubishi Electric Research Laboratories (MERL), Cambridge, MA from Dec. 2007 to May 2008 and a Postdoctoral Associate in the School of Computing at the University of Utah from May 2008 to May 2009. I received my B.S. and M.S. degrees in electrical engineering from Dalian University of Technology, Dalian, China, in 1997 and 2000, respectively, and Ph.D. degree in computer science from the University of Utah, Salt Lake City, in 2007. 

My research interests include robotics, haptics, computer vision, human computer interaction (HCI), and medical applications.

Performance Period: 09/15/2010 - 08/31/2015
Institution: University of South Florida
Sponsor: National Science Foundation
Award Number: 1035594
Subscribe to