Application of CPS technologies deployed in military contexts.
Project
CPS: Frontier: Collaborative Research: Correct-by-Design Control Software Synthesis for Highly Dynamic Systems
This CPS Frontiers project addresses highly dynamic Cyber-Physical Systems (CPSs), understood as systems where a computing delay of a few milliseconds or an incorrectly computed response to a disturbance can lead to catastrophic consequences. Such is the case of cars losing traction when cornering at high speed, unmanned air vehicles performing critical maneuvers such as landing, or disaster and rescue response bipedal robots rushing through the rubble to collect information or save human lives. The preceding examples currently share a common element: the design of their control software is made possible by extensive experience, laborious testing and fine tuning of parameters, and yet, the resulting closed-loop system has no formal guarantees of meeting specifications. The vision of the project is to provide a methodology that allows for complex and dynamic CPSs to meet real-world requirements in an efficient and robust way through the formal synthesis of control software. The research is developing a formal framework for correct-by-construction control software synthesis for highly dynamic CPSs with broad applications to automotive safety systems, prostheses, exoskeletons, aerospace systems, manufacturing, and legged robotics. The design methodology developed here will improve the competitiveness of segments of industry that require a tight integration between hardware and highly advanced control software such as: automotive (dynamic stability and control), aerospace (UAVs), medical (prosthetics, orthotics, and exoskeleton design) and robotics (legged locomotion). To enhance the impact of these efforts, the PIs are developing interdisciplinary teaching materials to be made freely available and disseminating their work to a broad audience.
1239037
Off
University of Michigan Ann Arbor
Jessy Grizzle
http://www.dynamiccps.org/
-
National Science Foundation
http://www.nsf.gov/awardsearch/showAward?AWD_ID=1239037&HistoricalAwards=false
Jessy Grizzle Submitted by Jessy Grizzle on December 18th, 2015
Event
IEEE UIC 2016
13th IEEE International Conference on Ubiquitous Intelligence and Computing (IEEE UIC 2016) Ubiquitous sensors, devices, networks and information are paving the way towards a smart world in which computational intelligence is distributed throughout the physical environment to provide reliable and relevant services to people.
Submitted by Anonymous on December 8th, 2015
Announcement
Call for Book Chapters: Security and Privacy in CPS (Wiley)

Dear Colleague,

We would like to cordially invite you to contribute a book chapter to a forthcoming book entitled " Security and Privacy in Cyber-Physical Systems: Foundations and Applications", which will be published by Wiley (https://sites.google.com/site/wileycpsspbook/).

Cyber-physical systems (CPS) are engineered systems that are built from, and depend upon, the seamless integration of computational algorithms and physical components. Advances in CPS will enable capability, adaptability, scalability, resiliency, safety, security, and usability that will far exceed the simple embedded systems of today. CPS are subject to threats stemming from increasing reliance on computer and communication technologies. Security threats exploit the increased complexity and connectivity of critical infrastructure systems, placing the Nation’s security, economy, public safety, and health at risk. CPS blur the lines between infrastructural and personal spaces when they provide convenient access to public services or bridge the gap between personal property and public infrastructure. This blurring is being engineered into the Internet of Things (IoT), an important exponent of CPS. With IoT, personal CPS (like phones, appliances, and automobiles) bearing personal data can reach up into public infrastructures to access services. This connectivity can result in leakage of personal data with attendant privacy concerns. 

    The purpose of the book is to refine an understanding of the key technical, social and legal issues at stake, to understand the range of technical issues affecting hardware and software in infrastructure components, as well as the blending of such systems with personal CPS. This book will present the state of the art and the state of the practice of how to address the following unique security and privacy challenges facing CPS.


Call for Book Chapter Proposals
Chapter Proposal Submission by September 27, 2015.

Submission Procedure:
Please email your abstract (max. 500 words) by September 27, 2015 to cps.wiley@gmail.com.

Tentative Table of Contents – additions to the topics listed below are much welcome!

 

Part I: Foundations and Principles

Chapter 1. Cybersecurity and Privacy: Past, Present and Future

Chapter 2. The interplay of Cyber, Physical, and Human elements in CPS

Chapter 3. Adaptive attack mitigation for CPS

Chapter 4. Authentication and access control for CPS

Chapter 5. Availability, recovery and auditing for CPS

Chapter 6. Data security and privacy for CPS

Chapter 7. Intrusion detection for CPS

Chapter 8. Key management in CPS

Chapter 9. Legacy CPS system protection

Chapter 10. Lightweight crypto and security

Chapter 11. Threat modeling for CPS

Chapter 12. Vulnerability analysis for CPS

 

Part II: Application Domains 

Chapter 13.            Energy

Chapter 14.            Medical

Chapter 15.            Transportation

Chapter 16.            Physical Infrastructure

Chapter 17.            Manufacturing

Chapter 18.            Building

Chapter 19.            Agriculture

Chapter 20.            Robotics

Chapter 21.            Unmanned Aerial Vehicles

Chapter 22.            Smart Cities


Please provide the following points in your proposals/abstracts:
1. Title of the contribution,
2. Title of the chapter (of the tentative TOC) if the contribution refers to one of them,
3. Name of author, co-authors, institution, email-address,
4. Content/mission of the proposed article.

Authors of accepted proposals will be notified by the given deadline about the status of their proposals and sent chapter guidelines.

Full Book Chapter:
Complete chapters are required to be submitted to cps.wiley@gmail.com. Author could use LaTex or any word processing tools (MS Word, OpenDocument, etc.) while preparing the chapters. A book chapter is required to be 18 to 25 pages (8,000 to 10,000 words).

Please provide the following points in your contribution:
1. Chapter title
2. Author information (of all authors: title, first name, last name, organization, address, city, zip code, country, email address)
3. Abstract
4. 5-10 keywords
5. Text body
6. Bibliography

Important Dates:

·         Chapter Proposal Submission by: September 27, 2015

·         Author Notification by: October 11, 2015

·         Full Chapter Submission by: November 30, 2015

·         Review Results Returned by: December 31, 2015

·         Final Chapter Submission by: February 15, 2016

·         Anticipated Publication Date: Summer, 2016 

Editors:

Houbing Song, West Virginia University, USA. <Houbing.Song@mail.wvu.edu>

Glenn A. Fink, Pacific Northwest National Laboratory, USA. <Glenn.Fink@pnnl.gov>

Gilad L. Rosner, Internet of Things Privacy Forum, UK. <gilad@giladrosner.com>

Sabina Jeschke, RWTH Aachen University, Germany. <sabina.jeschke@ima-zlw-ifu.rwth-aachen.de>

General Announcement
Not in Slideshow
Houbing Song Submitted by Houbing Song on September 11th, 2015
Project
CPS: Synergy: Collaborative Research: Managing Uncertainty in the Design of Safety-Critical Aviation Systems
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.
1329341
Off
Tufts University
Jason Rife
-
National Science Foundation
http://www.nsf.gov/awardsearch/showAward?AWD_ID=1329341&HistoricalAwards=false
Jason Rife
Submitted by Samuel Guyer 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
File
Kumar_and_Kalil3.pdf
Amy Karns Submitted by Amy Karns on June 30th, 2015
News Item
Viewpoint: The Future of Computer Science and Engineering Is in Your Hands

JULY 2015 | VOL. 58 | NO. 7 | COMMUNICATIONS OF THE ACM | Vijay Kumar and Thomas A. Kalil

Submitted by Anonymous on June 30th, 2015
Event
IWCPS’15
2nd International Workshop on Cyber-Physical Systems (IWCPS’15) E-mail: iwcps2015@fedcsis.org We would like to cordially invite you to consider contributing a paper to IWCPS 2015 - held as a part of the Federated Conference on Computer Science and Information Systems (FedCSIS 2015).
Submitted by Anonymous on March 18th, 2015
Event
SaFoMe 2015
2nd International Workshop on Safety and Formal Methods Overview The SaFoMe workshop aims at providing a forum for people from academia and industry to communicate their latest results on theoretical advances, industrial case studies, and lessons learned in the application of formal methods to safety certification, verification and/or validation in (but not limited to) component-based systems.
Submitted by Anonymous on January 19th, 2015
Event
DSN 2015
45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) The Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) is the most prestigious international forum for presenting research results in the field of dependable and secure computing.
Submitted by Anonymous on November 20th, 2014
Subscribe to Defense