hcddes

MURI Project on High-Confidence Design for Distributed Embedded Systems

The Multidisciplinary University Research Initiative (MURI) projects on High-Confidence Design for Distributed Embedded Systems integrate verification, validation, and test procedures throughout the complete design, development and maintenance cycle, from requirements capture to deployment and life cycle updates. For details, see the Vanderbilt and Caltech web sites.

Joint Review Meeting of MURI Projects on High-Confidence Design for Distributed Embedded Systems: September 6, 2007

On September 6, 2007, we held a review meeting for the Caltech/MIT/University of Washington project on Specification, Design and Verification of Distributed Embedded Systems and the Vanderbilt/Berkeley/CMU/Stanford project on Frameworks and Tools for High-Confidence Design of Adaptive, Distributed Embedded Control Systems.
  • Agenda
  • HCDDES Presentations:
  • Janos Sztipanovits. High-Confidence Design for Distributed Embedded Systems MURI Project Overview
  • Claire Tomlin, S. Shankar Sastry. Robust Hybrid and Embedded Systems Design for Quadrotor Platform
  • Stephen Boyd. Controller Coefficient Truncation Using Lyapunov Performance Certificate
  • Bruce Krogh. Embedded Systems Modeling and Deep Compositionality
  • Edward A. Lee. Principled Design of Embedded Systems
  • Peter Volgyesi, Gabor Karsai, Janos Sztipanovits. Toward a Model-Based Tool Chain for High Confidence Design
  • Flavio Lerda, Edmund M. Clarke. Source Code Verification and Testing
  • Gabe Hoffmann. STARMAC The Stanford Testbed of Autonomous Rotorcraft for Multi-Agent Control

    • CVS Access

    To get CVS access, you must first get a Chess website account in this workgroup (hcddes) and then request a separate cvs account:

    1. Request an account in the hcddes workgroup
      Membership in this workgroup is restricted to people who are actively working on this project. Currently, our university partners are CMU, Stanford, Vanderbilt and UC Berkeley.
    2. After your hcddes workgroup account is created, go to Options -> Request CVS Account
    3. Check out the repository.
      Users running bash: 
      export CVS_RSH=ssh
cvs -d :ext:source.eecs.berkeley.edu:/home/cvs_chess hcddes

      Users running csh: 
      setenv CVS_RSH ssh
cvs -d :ext:source.eecs.berkeley.edu:/home/cvs_chess hcddes
      See also How do I check out my own tree?
    Note that the Starmac code is in a separate CVS repository. There is a local copy at Berkeley of a portion of the tree. Access to the Berkeley starmac repository is restricted by Unix group permission. Access will only be granted to HCDDES participants.
    1. Request CVS Account
    2. Send email to Christopher asking to be added to the starmac Unix group on source.eecs
    3. To check out the tree: 
      cvs -d :ext:source.eecs.berkeley.edu:/home/cvs_chess co starmac

      This group has the following subpages:

    You are not logged in
    ©2002-2008 Chess