News | Cyber-Physical Systems Virtual Organization

Washington Post Article on Driverless Vehicles

<h3>See the Washington Post article featuring Raj Ragunathan's work on Autonomous Transportation Systems.</h3> <h3>An autonomous car takes a capital test run.</h3> <p><em>Driverless cars are coming. And those of…

NIST Cyber-Physical Systems Public Working Group Announced

<h3>NIST Cyber-Physical Systems Public Working Group</h3> <h4>What are Cyber-Physical Systems or CPS?</h4> <ul> <li>Is a CPS any engineered system with a microprocessor?</li> <li>Do all CPS need…

ARCH14 Proceedings Posted

<p>The proceedings of the ARCH14 workshop are now available in the <a href="http://cps-vo.org/node/9442/browser">Files section</a> on the website.</p>

Videos of Workshop Available

<p><a href="http://cps-vo.org/group/aspiringPIs/videos">Videos of the workshop sessions</a> were captured to permit broad dissemination. Videos are available on YouTube, and each video has closed-captioning subtitles in…

Travel Support Checks Making Progress

<p>If you were awarded travel support, your paperwork is complete and being processed by University of Arizona central administration. If you get your check, send an email to <a href="mailto:sprinkjm@email.arizona.edu?subject=RE%3A%…

Updated CPS Solicitation is Released

<p>The CPS Solicitation (<a href="http://www.nsf.gov/pubs/2014/nsf14542/nsf14542.htm#toc">NSF 14-542</a>) has hit the street. Proposals are due by June 02, 2014.</p>

Workshop Program Available

<p>A tentative version of the workshop program is now <a href="http://cps-vo.org/group/ARCH/Program">available</a>. The program committee accepted 12 out 16 submissions, 8 of which are benchmarks.</p> <p>Looking…

Call for Submissions: 1st International Workshop on Applied Verification for Continuous and Hybrid Systems (part of CPSWeek 2014, Berlin, Germany, April 14, 2014)

<h2 style="text-align: center;">1st International Workshop on<br> Applied Verification for Continuous and Hybrid Systems<br> CPSWeek 2014, Berlin, Germany, April 14, 2014</h2> <p style="text-align: center…

Outstanding Paper Award at the ACM High Integrity Language Technologies 2013 Conference

<p>The paper titled "Compositional Verification of a Medical Device System", authored by Anitha Murugesan, Michael Whalen, Sanjai Rayadurgam and Mats P.E. Heimdahlwon the "Outstanding Paper Award" at the ACM High Integrity…

ARCH14 part of CPSWeek in Berlin

<p>ARCH14 has been accepted for CPS Week in Berlin. For more information on CPS Week, see <a href="https://www.cpsweek2014.org/cpsweek2014/worktut.html">https://www.cpsweek2014.org/cpsweek2014/worktut.html</a></p…

NSA AWARD FOR THE BEST SCIENTIFIC CYBERSECURITY PAPER

<p><span style="font-size:12px;">This year’s winner is Joseph Bonneau for his paper “The Science of Guessing: Analyzing an Anonymized Corpus of 70 Million Passwords.”</span></p> <p><span style="font-size:…

Newsletter: Academic-Industry Partnerships at NSF

<p class="p1">The Academic-Industry Partnerships at NSF Newsletter is an all-in-one source for information on the Industry/University Cooperative Research Centers (<a href="http://www.nsf.gov/eng/iip/iucrc/index.jsp?SBTR=ctopi…

DARPA Releases FANG Challenge Tools to Open-Source

<h2>Download the Challenge #1 Tools </h2> <p><span style="font-size:12px;">DARPA has recently released the software for all of the design and collaboration tools used by participants in its first FANG Challenge…

NIST CPS Leadership Team and Presidential Innovation Fellows

<p class="p1">Dr. S. Shyam Sunder, Director, Engineering Laboratory of the National Institute for Standards and Technology (NIST) has made the following announcement rearding the new leadership team for the NIST Smart Grid and Cyber-…

Connected Highway and Vehicle Systems on Interstate 66

<P>As reported by the <A href="http://www.wusa9.com/news/article/262327/158/Connected-Vehicle-Technology-Research-on-I-66">local CSB affiliate </A>in Washington, DC, Virginia DOT installed a "living laboratory…