Accepted Position Papers

01. Network Control for Cyber Physical Systems: Position Paper

Munther Dahleh, Emilio Frazzoli, Alexandre Megretski, Sanjoy Mitter, Asuman Ozdaglar, Pablo Parrilo, Devavrat Shah
Laboratory for Information and Decision Systems, Massachusetts Institute of Technology

02. Fault Tolerant Embedded Software: Position Paper

Jeffrey Cook, William Milam
Research and Innovation Center, Ford Motor Company

03. Research Needs for Secure Control Systems: Position Paper

Joe Weiss
KEMA Inc.

04. Cyber-Physical Systems Distributed Control: The Advanced Electric Power Grid

B. Mc Millin*, C. Gill$, M. L. Crow*, F. Liu*, D. Niehaus#, A. Potthast*, and D. Tauritz*
* University of Missouri-Rolla
$ Washington University in St. Louis
# University of Kansas

05. Secure, Open, Real-Time Operating Systems

Brian Isle, Todd Carpenter, Charles Payne, and Kyle Nelson
Adventium Labs

06. New Methods in Developing Large-scale Distributed High-confidence Real-time System

Michael Feldman, Alex Fiksel, Alex Portnoy
As One Technologies Inc.

07. Understanding Trust and Security is SCADA Systems

Clifford Neuman
Information Sciences Institute, University of Southern California

08. Embedded Sensor Network for Secure Electric Energy Infrastructure

Vijay Vittal+ and G. Manimaran*
+ Dept. of Electrical and Computer Engineering, Arizona State University
* Dept. of Electrical and Computer Engineering, Iowa State University

09. Towards Full-disclosure: Broadening Access to SCADA Data to Improve Safety, Reliability and Security

John Heidemann and Wei Ye
Information Sciences Institute, University of Southern California

10. The DETER Testbed and Networked Embedded Control for Cyber Physical Systems

*Anthony Joseph and Terry V. Benzel+
* University of California, Berkeley
+ Information Sciences Institute, University of Southern California

11. Shades-of-High Confidence

Tariq Samad
Honeywell Labs

12. Enabling Interoperability and Extensibility of Future SCADA Systems

Wei Ye and John Heidemann
Information Sciences Institute, University of Southern California

13. Risk-Informed Evaluation of Security Technology Insertions and Next-Generation Control System Architectures via Modeling and Simulation

Peter Sholander
Sandia National Laboratories

14. Design of Integrated Networked Embedded and Dynamical Systems

Andrzej Banaszuk*, Clas Jacobson*, Jerrold Marsden+, Igor Mezic$, Alberto Sangiovanni-Vincentelli#
*United Technologies Research Center
+California Institute of Technology
$University of California, Santa Barbara
#University of California, Berkeley

15. Real-Time Isolation and Composition of Virtualized Resource Sets

Aloysius Mok
University of Texas at Austin

16. Modeling of Verification of Distributed Cyber-Physical Systems: Challenges, Research Needs, and Possible Roadmap

Dawn Tilbury
University of Michigan, Ann Harbor

17. Verification and Integration of Real-Time Control Software

Rajeev Alur
University of Pennsylvania

18. Networked Control Systems Research: A brief Discussion of Challenges and Opportunities

Panos Antsaklis
University of Notre Dame

19. Sensor Networks Challenges for Intelligent Buildings

Alberto Eduardo Cerpa
University of California, Merced

20. High Confidence Powertrain Control Software Development

Hakan Yazarel, Tomoyuki Kaga, Ken Butts
Toyota Motor Engineering & Manufacturing North America

21. On Performance Metrics for Guaranteed QoS in Industrial Networked Embedded Sensing & Control Systems: Systems issues, Challenges and Needs

Teja Kuruganti, Wayne Manges
Oak Ridge National Laboratory

22. Cyber-Physical Security Needs in Electrical Energy Systems

Timothy Johnson, Michael Hartman, Kenneth Caird
General Electric Company

23. The Role of Synchronized Wide Area Measurements for Electric Power Grid Operations

Timothy Johnson, Michael Hartman, Kenneth Caird
General Electric Company

24. Intrusion Insights – Adapting Intrusion Prevention Functionality for Process Control SCADA Systems

Ernest Rakaczky
Invensys Inc.

25. Model-Based Software Tool Suite for the Design of Networked Embedded Control Systems

T. John Koo
Vanderbilt University

26. Dynamic High confidence Certifiable Embedded Software: Position Paper

Kurt Rohloff, Richard Schantz, Joseph Loyall
BBN Technologies

27. Highly Dependable SCADA Systems

Bharat Joshi1, Arindam Mukherjee, Arun Ravindran
University of North Carolina-Charlotte

28. The Distributed Car – Motivating a Comprehensive Service-Oriented Engineering Approach for Cyber-Physical Systems

Ingolf Krüger, Vina Ermagan, Massimiliano Menarini
University of California, San Diego

29. HCSS: Designing Reliable Embedded Systems atop of Unreliable Hardware Platform

Yuan Xie
The Pennsylvania State University

30. Challenges and Approaches in Engineering IT Infrastructures for the Power Grid

Yuan Xie
The Pennsylvania State University

31. Networked Embedded Systems

Pieter Mosterman
Mathworks Inc.

32. SCADA and GIS for Drinking Water Distribution System Monitoring and Response: Critical Gaps

Shannon Isovitsch and Jeanne Van Briesen
Carnegie Mellon University

33. Security Challenges in Next Generation Cyber Physical Systems

Madhukar Anand, Eric Cronin, Micah Sherr, Matt Blaze, Zachary Ives, Insup Lee
University of Pennsylvania

34. The Role of Authenticated Communications for Electric Power Distribution

Mark Hadley
Pacific Northwest National Laboratory, U.S. Department of Energy