Applications of CPS technologies dealing with automated machines that can take the place of humans in dangerous environments or manufacturing processes, or resemble humans in appearance, behavior, and/or cognition.
The objective of this project is to research tools to manage uncertainty in the design and certification process of safety-critical aviation systems. The research focuses on three innovative ideas to support this objective. First, probabilistic techniques will be introduced to specify system-level requirements and bound the performance of dynamical components. These will reduce the design costs associated with complex aviation systems consisting of tightly integrated components produced by many independent engineering organizations. Second, a framework will be created for developing software components that use probabilistic execution to model and manage the risk of software failure. These techniques will make software more robust, lower the cost of validating code changes, and allow software quality to be integrated smoothly into overall system-level analysis. Third, techniques from Extreme Value Theory will be applied to develop adaptive verification and validation procedures. This will enable early introduction of new and advanced aviation systems. These systems will initially have restricted capabilities, but these restrictions will be gradually relaxed as justified by continual logging of data from in-service products.
The three main research aims will lead to a significant reduction in the costs and time required for fielding new aviation systems. This will enable, for example, the safe and rapid implementation of next generation air traffic control systems that have the potential of tripling airspace capacity with no reduction in safety. The proposed methods are also applicable to other complex systems including smart power grids and automated highways. Integrated into the research is an education plan for developing a highly skilled workforce capable of designing safety critical systems. This plan centers around two main activities: (a) creation of undergraduate labs focusing on safety-critical systems, and (b) integration of safety-critical concepts into a national robotic snowplow competition. These activities will provide inspirational, real-world applications to motivate student learning.
Off
Tufts University
-
National Science Foundation
Jason Rife
Submitted by Samuel Guyer on August 27th, 2015
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.
Off
Vanderbilt University
-
National Science Foundation
Pietro Valdastri
Submitted by Pietro Valdastri on August 27th, 2015
As Cyber-Physical Systems (CPSs) employing mobile nodes continue to integrate into the physical world, ensuring their safety and security become crucial goals. Due to their mobility, real-time, energy and safety constraints, coupled by their reliance on communication mediums that are subject to interference and intentional jamming, the projected complexities in Mobile CPSs will far exceed those of traditional computing systems. Such increase in complexity widens the malicious opportunities for adversaries and with many components interacting together, distinguishing between normal and abnormal behaviors becomes quite challenging.
The research work in this project falls along two main thrusts: (1) identifying stealthy attacks and (2) developing defense mechanisms. Along the first thrust, a unifying theoretical framework is developed to uncover attacks in a systematic manner whereby an adversary solves Markovian Decision Processes problems to identify optimal and suboptimal attack policies. The effects of the attacks are assessed through different instantiations of damage and cost metrics. Along the second thrust, novel randomization controllers and randomization-aware anomaly detection mechanisms are developed to prevent, detect and mitigate stealthy attacks.
The outcomes of this CAREER project will ultimately provide concrete foundations to build more secure systems in the areas of robotics, autonomous vehicles, and intelligent transportation systems. The educational activities--as in curriculum development and hands-on laboratory experiences--will provide students with the essential skills to build dependable and trustworthy systems, while ensuring the participation of undergraduates, women and underrepresented minorities. The outreach activities will expose high school students to Computer Science education and scientific research.
Off
Texas State University - San Marcos
-
National Science Foundation
Mina Guirguis
Submitted by Mina Guirguis on August 27th, 2015
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
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
ARCS 2016
29th GI/ITG International Conference on *Architecture of Computing Systems* (ARCS 2016)
The ARCS series of conferences has a long tradition reporting high quality results in computer architecture and operating systems research. The focus of the 2016 conference will be on *Heterogeneity in Architectures and Systems - From Embedded to HPC*.
In 2016, ARCS will be organized by the Department of Computer Science at the Friedrich-Alexander University Erlangen-Nürnberg (FAU).
Submitted by Anonymous on August 25th, 2015
Event
DoCEIS 2016
7th Advanced Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS 2016)
The 7th Advanced Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS’16) will reflect on the growing interests in research, development and application of Cyber-Physical Systems.
Submitted by Anonymous on July 20th, 2015
File
Kumar_and_Kalil3.pdf
Submitted by Amy Karns on June 30th, 2015
JULY 2015 | VOL. 58 | NO. 7 | COMMUNICATIONS OF THE ACM | Vijay Kumar and Thomas A. Kalil
Submitted by Anonymous on June 30th, 2015
Event
GTTSE 2015
The 5th Summer School on Grand Timely Topics in Software Engineering (GTTSE)
Registration is open for participants!
http://gttse.wikidot.com/2015:registration
There is a students' workshop to which one may submit.
http://gttse.wikidot.com/2015:students-workshop
List of speakers
Submitted by Anonymous on June 23rd, 2015