The terms denote technology areas that are part of the CPS technology suite or that are impacted by CPS requirements.
Project
CAREER: Robustness Guided Testing and Verification for Cyber-Physical Systems
This project develops a theoretical framework as well as software tools to support testing and verification of a Cyber-Physical System (CPS) within a Model-Based Design (MBD) process. The theoretical bases of the framework are stochastic optimization methods, and robustness notions of formal specification languages. The project's research comprises three components: development of conditions on the algorithms and on the structure of the CPS for inferring finite-time guarantees on the randomized testing process; the study of testing methods that can support modular and compositional system design; and investigation of appropriate notions of conformance between two system models and between a model and its implementation on a computational platform. All of these components are needed to support testing and verification in all the stages of an MBD process as well as to support component reuse, incremental system improvements and modular design. The evaluation of the framework is driven by the problems of verifying automotive control systems and medical devices. As safety-critical CPS become ubiquitous, the need for design methods that guarantee correct system functionality and performance becomes more urgent. Certification and government agencies need dependable testing and verification tools to incorporate in certification standards and procedures. The concrete benefits to the society are both in terms of reduced catastrophic design errors in new products and in terms of reduced economic costs for new product development. The former increases the confidence in new technologies while the latter improves the competitiveness of the companies that utilize such technologies. The theoretical results of this project are being incorporated into software tools for testing, verification and validation of complex CPS. The evaluation focus of the project on verifying infusion pumps and automotive control software ultimately helps in avoiding harmful losses due to errors in these safety-critical systems. The use of any software tool that is based on formal or semi-formal methods requires engineers with solid training on these technologies. This proposal puts forward an education curriculum for developing new courses that introduce formal and semi-formal methods for CPS at all levels of higher education, i.e., undergraduate, graduate and continuing education. Particular attention is devoted into on-line continuing education of practicing engineers who must acquire new MBD skills.
1350420
Off
Georgios Fainekos
-
National Science Foundation
http://www.nsf.gov/awardsearch/showAward?AWD_ID=1350420&HistoricalAwards=false
Georgios Fainekos
Georgios Fainekos Submitted by Georgios Fainekos on August 27th, 2015
Project
CPS: Synergy: Collaborative Research: Trustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms
This project aims to achieve key technology, infrastructure, and regulatory science advances for next generation medical systems based on the concept of medical application platforms (MAPs). A MAP is a safety/security-critical real-time computing platform for: (a) integrating heterogeneous devices and medical IT systems, (b) hosting application programs ("apps") that provide medical utility through the ability to both acquire information and update/control integrated devices, IT systems, and displays. The project will develop formal architectural and behavioral specification languages for defining MAPs, with a focus on techniques that enable compositional reasoning about MAP component interoperability and safety. These formal languages will include an extensible property language to enable the specification of real-time, quality-of-service, and attributes specific to medical contexts that can be leveraged by code generation, testing, and verification tools. The project will work closely with a synergistic team of clinicians, device industry partners, regulators, and medical device interoperability and safety standard organizations to develop an open source MAP innovation platform to enable key stakeholders within the nation's health care ecosphere to identify, prototype, and evaluate solutions to key technology and regulatory challenges that must be overcome to develop a commodity market of regulated MAP components. Because MAPs provide pre-built certified infrastructure and building blocks for rapidly developing multi-device medical applications, this research has the potential to usher in a new paradigm of medical system that significantly increases the pace of innovation, lowers development costs, enables new functionality by aggregating multiple devices into a system of systems, and achieves greater system safety.
1239534
Off
Kansas State University
John Hatcliff
-
National Science Foundation
http://www.nsf.gov/awardsearch/showAward?AWD_ID=1239543&HistoricalAwards=false
Venkatesh Ranganath
John Hatcliff
John Hatcliff Submitted by John Hatcliff on August 27th, 2015
Project
CPS: Synergy: Integrated Modeling, Analysis and Synthesis of Miniature Medical Devices
The objective of this project is to create a focused cyber-physical design environment to accelerate the development of miniature medical devices in general and swallowable systems in particular. The project develops new models and tools including a web-based integrated simulation environment,capturing the interacting dynamics of the computational and physical components of devices designed to work inside the human body, to enable wider design space exploration, and, ultimately, to lower the barriers which have thus far impeded system engineering of miniature medical devices. Currently, a few select individuals with deep domain expertise create these systems. The goal is to open this field to a wider community and at the same time create better designs through advanced tool support. The project defines a component model and corresponding domain-specific modeling language to provide a common framework for design capture, design space exploration, analysis and automated synthesis of all hardware and software artifacts. The project also develops a rich and extensible component and design template library that designers can reuse. The online design environment will provide early feedback and hence, it will lower the cost of experimentation with alternatives. The potential benefit is not just incremental (in time and cost), but can lead to novel ideas by mitigating the risk of trying unconventional solutions. Trends in consumer electronics such as miniaturization, low power operation, and wireless technologies have enabled the design of miniature devices that hold the potential to revolutionize medicine. Transformational societal public health benefits (e.g., early diagnosis of colorectal cancer or prevention of heart failure) are possible through less invasive and more accurate diagnostic and interventional devices. By eliminating large incisions in favor of natural orifices or small ports, these medical devices can increase diagnostic screening effectiveness and reduce pain and recovery time. Furthermore, if successful, the proposed scientific approach can be extended to any other application, wherever size, power efficiency, and high confidence are stringent requirements. The educational plan of the project is centered on the web-based design environment that will also contain an interface for high school students to experiment with medical cyber-physical devices in a virtual environment. Students will be able to build medical devices from a library of components, program them using an intuitive visual programming language and operate them in various simulated environments. A Summer Camp organized in the framework of this project will enhance students learning experience with real hands-on experimentation in a lab.
1239355
Off
Vanderbilt University
Pietro Valdastri
https://my.vanderbilt.edu/stormlab/research/medical-capsule-robots/
-
National Science Foundation
http://www.nsf.gov/awardsearch/showAward?AWD_ID=1239355&HistoricalAwards=false
Pietro Valdastri
Pietro Valdastri Submitted by Pietro Valdastri on August 27th, 2015
Project
CPS: Breakthrough: Energy and Delay: Network Optimization in Cyber Physical Human Sensing Systems
Wireless body area sensing networks (WBANs) have the potential to revolutionize health care in the near term and enhance other application domains including sports, entertainment, military and emergency situations. These WBANs represent a novel cyber-physical system that unites engineering systems, the natural world and human individuals. The coupling of bio-sensors with a wireless infrastructure enables the real-time monitoring of an individual's health, environment and related behaviors continuously, as well as the provision of real-time feedback with nimble, adaptive, and personalized interventions. Recent technological advances in low power integrated circuits, signal processing and wireless communications have enabled the design of tiny, low cost, lightweight, intelligent medical devices, sensors and networking platforms that have the potential to make the concept of truly pervasive wireless sensor networks a reality. To develop the WBANs of the future, this breakthrough research will pursue the interfaces of sensing, communication and control. This project aims to investigate energy and delay sensitive sensing, communication, decision-making and control for health monitoring application of wireless body area networks. In these systems, sensors with varying accuracy observe heterogeneous source signals that must be processed and communicated and used for inference and decision-making purposes. All of these operations must be carried out in the presence of constraints on power and energy resources at the sensors, limited communication and computational abilities and with low end-to-end delay between the sensing of information to its eventual utilization. In this project, a global (end-to end) perspective is adopted that optimizes network operation to improve the information quality and enhance the lifetime of the network, focusing in particular on optimal use of sensor resources such as energy, new sensing and communication paradigms that balance information quality and energy expenditure, and real-time encoding and decoding methods that provide strict delay guarantees on information delivery. The proposed work will contribute to several research areas including optimal resource allocation at sensors, adaptive sensing methods, real-time encoding and decoding and event-based communication. The educational impact of the proposed research will come through the training of new information technology professionals and scientists with expertise in cross-disciplinary research, development of new courses based on the proposed research activity and continued efforts to include women and under-represented minorities in the research program.
1446901
Off
University of Southern California
Urbashi Mitra
-
National Science Foundation
http://www.nsf.gov/awardsearch/showAward?AWD_ID=1446901&HistoricalAwards=false
Urbashi Mitra
Submitted by Urbashi Mitra on August 27th, 2015
Project
CAREER: Domain-Specific Modeling Techniques for Cyber-Physical Systems

The objective of this research is an injection of new modeling techniques into the area of Cyber-Physical Systems (CPSs). The approach is to design new architectures for domain-specific modeling tools in order to permit feedback from analysis, validation, and verification engines to influence how CPSs are designed. This project involves new research into the integration of existing, heterogeneous modeling languages in order to address problems in CPS design, rather than a single language for all CPS. Since many tools for analysis, validation, and verification focus on at most two of the three major components of CPS (communication, computation, and control), new paradigms in modeling are used to integrate tools early in the design process. The algorithms and software developed in this project run validation and verification tools on models, and then close the loop by using the tool outputs to automatically modify the system models. The satisfaction of design requirements in CPSs is critical for tomorrow's societal technologies such as smart buildings, home healthcare, and water management. Among the most compelling design requirements are those of safety, and CPSs for autonomous vehicles exemplify this well. By involving a full-sized autonomous vehicle in this project, the validation and verification of safety requirements is tied to a concrete platform that is broadly understood. By involving students in the design of behaviors of the vehicle, the project exposes scientists and engineers of tomorrow to societal-scale problems, and tools to address them.

1253334
Off
Loukas Lazos
http://csl.arizona.edu/career
-
National Science Foundation
http://www.nsf.gov/awardsearch/showAward?AWD_ID=1253334&HistoricalAwards=false
Jonathan Sprinkle (Former PI)
Jonathan Sprinkle
Submitted by Loukas Lazos on August 27th, 2015
Announcement
Call for Workshop and Tutorial Proposals, CPS Week 2016, Vienna, Austria

CALL FOR WORKSHOP AND TUTORIAL PROPOSALS

Cyber-Physical Systems Week (CPS Week)

April 11-14, 2016 | Vienna, Austria | http://www.cpsweek.org/2016/

CPS Week is the premier event on Cyber-Physical Systems. It brings together four top conferences, HSCC, ICCPS, IPSN, and RTAS, 10-15 workshops, a localization competition, tutorials, and various exhibitions from both industry and academia. Altogether the CPS Week program covers a multitude of complementary aspects of CPS, and reunites the leading researchers in this dynamic field. CPS Week 2016 in Vienna, Austria, will host 10-15 workshops (subject to room availability) and 2-3 tutorials on Monday April 11 and is soliciting proposals for new and recurring workshops as well as for tutorials. CPS Week workshops are excellent opportunities to bring together researchers and practitioners from different  communities to share their experiences in an interactive atmosphere and to foster collaboration for new and innovative projects. We invite you to  submit workshop proposals on any topic related to the broad set of research, education, and application areas in cyber-physical systems.

Guidelines for workshop proposals:

Proposals should be submitted at the latest by *** October 1, 2015 ***

A workshop proposal consists of a 2-page maximum PDF file, including the following information:

  • A concise title of the workshop
  • Description of the topics and specific issues that the workshop will address, how the workshop complements CPS Week conferences and why the workshop theme is relevant
  • Expected format of the workshop (regular paper presentations, poster presentations, invited talks, panel discussions, demo sessions, or other ideas to promote active exchange of ideas)
  • Organizers with short bio, affiliation, and their expertise in the proposed topic(s)
  • In case the workshop has been previously held, provide information to show that the previous edition(s) were successful in terms of paper submissions and/or attendance. Links to past workshop editions would be very helpful too.
  • Length of the workshop (half-day/one-day) and the expected number of participants
  • Follow-up plans (if any) to disseminate the ideas from the workshop, for example through proceedings or journal special issue

Please submit your workshop proposal by email to the workshop and tutorial chairsChristoph Kirsch (ck@cs.uni-salzburg.at) and Ana Sokolova (anas@cs.uni-salzburg.at). Please write “[CPSWeek 2016] Workshop Proposal" in the e-mail subject line.

Guidelines for tutorial proposals:
Proposals should be submitted at the latest by *** October 1, 2015 ***

A proposal consists of a 2-page maximum PDF file, including the following  information on the tutorial program:

  • The title and abstract of the tutorial
  • An outline of tutorial content and objectives
  • Prerequisite knowledge
  • Organizers/Speakers with short bio, affiliation, and their expertise in the proposed topic(s)
  • In case the tutorial has been previously held, include information on the last tutorial of the same topic held within CPS Week or other conferences such as the year it was held and the number of attendees. A link to past tutorial would be very helpful too.
  • We envision tutorials to last for 3 hours.

Please submit your tutorial proposal by email to the workshop and tutorial chairs, Christoph Kirsch (ck@cs.uni-salzburg.at) and Ana Sokolova (anas@cs.uni-salzburg.at). Please write “[CPSWeek 2016] Tutorial Proposal" in the e-mail subject line.
———————————————————————————————————— 
Notification of acceptance  *** October 15, 2015 ***
———————————————————————————————————— 

General Announcement
Not in Slideshow
Submitted by Anonymous on August 25th, 2015
Event
SCOPES 2016
19th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2016) A next edition of the workshop on Software and Compilers for Embedded Systems  (SCOPES) will be organized in 2016. The workshop will feature a combination of research papers and research presentations (details see below). The papers and presentation abstracts will also be published in the ACM digital library. The workshop is held in cooperation with ACM SIGBED and EDAA. AIM AND SCOPE
Submitted by Anonymous on August 25th, 2015
Event
WRD 2016
10th HiPEAC Workshop on Reconfigurable Computing (WRD 2016) January 19, 2016, Prague, Czech Republic | http://www.fe.up.pt/wrc2016
Submitted by Anonymous on August 25th, 2015
Event
ARD2016
FIRST CALL FOR PAPERS ARC2016: 12th International Symposium on Applied Reconfigurable Computing    21-24 March 2016 | Mangaratiba, Rio de Janeiro, Brazil |   http://lcr.icmc.usp.br/arc2016/
Submitted by Anonymous on August 25th, 2015
Event
ETAPS 2016
ETAPS is a confederation of several conferences, each with its own Programme Committee and Steering Committee. ETAPS is the most important and visible annual European event related to software sciences. Altogether, more than 500 researchers participate in this event every year.
Submitted by Anonymous on August 25th, 2015
Subscribe to CPS Technologies