Applications of CPS technologies involving the power generation and/or energy conservation.

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
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
Buildings in the U.S. contribute to 39% of energy use, consume approximately 70% of the electricity, and account for 39% of CO2 emissions. Hence, developing green building architectures is an extremely critical component in energy sustainability. The investigators will develop a unified analytical approach for green building design that comprehensively manages energy sustainability by taking into account the complex interactions between these systems of systems, providing a high degree of security, agility and robust to extreme events. The project will serve to advance the general science in CPS, help bridge the gap between the cyber and civil infrastructure communities, educate students across different disciplines, include topics in curriculum development, and actively recruit underrepresented minority and undergraduate students. The main thesis of this research is that ad hoc green energy designs are often myopic, not taking into account key interdependencies between subsystems and users, and thus often lead to undesirable solutions. In fact, studies have shown that 28%-35% of LEED-certified buildings consumed more energy than their conventional counterparts, all of which calls for the development of a comprehensive analytical foundation for designing green buildings. In particular, the investigators will focus on three interrelated thrust areas: (i) Integrated energy management for a single-building, where the goal is to jointly consider the complex interactions among building subsystems. The investigators will develop novel control schemes that opportunistically exploit the energy demand elasticity of the building subsystems and adapt to occupancy patterns, human comfort zones, and ambient environments. (ii) Managing multi-building interactions to develop (near) optimal distributed control and coordination schemes that provide performance guarantees. (iii) Designing for anomalous conditions such as extreme weather and malicious attacks, where power grid connections and/or cyber-networks are disrupted. The research will provide directions at developing an analytical foundation and cross-cutting principles that will shed insight on the design and control of not only building systems, but also general CPS systems. An important goal is to help bridge the gap between the networking, controls, and civil infrastructure communities by giving talks and publishing works in all of these forums. The investigators will disseminate the research findings to industry as well as offer education and outreach programs to the K-12 students in STEM disciplines. The investigators will also actively continue their already strong existing efforts in recruiting women and underrepresented minorities, as well as providing rich research experience to undergraduate REU students. This project will provide fertile training for students spanning civil infrastructure research, networking, controls, optimization, and algorithmic development. The investigators will also actively include the outcomes of the research in existing and new courses at both the Ohio State University and Virginia Tech.
Off
-
National Science Foundation
Thomas Hou
Submitted by Wenjing Lou on August 27th, 2015

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.

Off
-
National Science Foundation
Jonathan Sprinkle (Former PI)
Jonathan Sprinkle
Submitted by Loukas Lazos 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
CRTS 2015
8th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2015) Collocated with RTSS 2015. San Antonio TX. USA
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

Call For Papers

CPS Security & Privacy 2016 : Call for Book Chapter Proposals for Security and Privacy in Cyber-Physical Systems: Foundations and Applications (Wiley)

Submission Deadline Aug 31, 2015
Notification Due Sep 15, 2015
Final Version Due Nov 30, 2015     
               

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.

Call for Chapters

Chapter Proposal Submission by August 31, 2015.

Submission Procedure:

Please email your abstract (max. 500 words) by August 31, 2015 to cps.wiley@gmail.com and indicate the specific chapter where your work best fits or propose your own topic relevant to the theme of the book.

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.

The topics of interest include but are not limited to:

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

Editors:

  • Houbing Song, West Virginia University, USA (Houbing.Song@mail.wvu.edu)
  • Glenn A. Fink, Pacific Northwest National Laboratory, USA (Glenn.Fink@pnnl.gov)
  • Sabina Jeschke, RWTH Aachen University, Germany (sabina.jeschke@ima-zlw-ifu.rwth-aachen.de)
  • Gilad L. Rosner, Internet of Things Privacy Forum, UK (gilad@giladrosner.com) 
General Announcement
Not in Slideshow
Submitted by Anonymous on August 2nd, 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
Amy Karns Submitted by Amy Karns on June 30th, 2015
Subscribe to Energy