*banner
 

Frameworks and Tools for High-Confidence Design of Adaptive, Distributed Embedded Control Systems: Project Overview
Janos Sztipanovits

Citation
Janos Sztipanovits. "Frameworks and Tools for High-Confidence Design of Adaptive, Distributed Embedded Control Systems: Project Overview". Talk or presentation, 2, December, 2009; Frameworks and Tools for High-Confidence Design of Adaptive, Distributed Embedded Control Systems.

Abstract
The Multidisciplinary University Research Initiative (MURI) project 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. This project is funded by the Air Force Office of Scientific Research.

Electronic downloads

Citation formats  
  • HTML
    Janos Sztipanovits. <a
    href="http://chess.eecs.berkeley.edu/pubs/630.html"
    ><i>Frameworks and Tools for High-Confidence Design
    of Adaptive, Distributed Embedded Control Systems: Project
    Overview</i></a>, Talk or presentation,  2,
    December, 2009; Frameworks and Tools for High-Confidence
    Design of Adaptive, Distributed Embedded Control Systems.
  • Plain text
    Janos Sztipanovits. "Frameworks and Tools for
    High-Confidence Design of Adaptive, Distributed Embedded
    Control Systems: Project Overview". Talk or
    presentation,  2, December, 2009; Frameworks and Tools for
    High-Confidence Design of Adaptive, Distributed Embedded
    Control Systems.
  • BibTeX
    @presentation{Sztipanovits09_FrameworksToolsForHighConfidenceDesignOfAdaptiveDistributed,
        author = {Janos Sztipanovits},
        title = {Frameworks and Tools for High-Confidence Design of
                  Adaptive, Distributed Embedded Control Systems:
                  Project Overview},
        day = {2},
        month = {December},
        year = {2009},
        note = {Frameworks and Tools for High-Confidence Design of
                  Adaptive, Distributed Embedded Control Systems},
        abstract = {The Multidisciplinary University Research
                  Initiative (MURI) project 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. This project is
                  funded by the Air Force Office of Scientific
                  Research.},
        URL = {http://chess.eecs.berkeley.edu/pubs/630.html}
    }
    

Posted by Christopher Brooks on 3 Dec 2009.
Groups: hcddes
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.

You are not logged in 
©2002-2017 Chess