*banner
 

Directed Simulation of Networked Unmanned Aerial Vehicles Using Model Checking and Ptolemy II
Shanna-Shaye Forbes, Eloi Pereira, Edward A. Lee, Raja Sengupta , Seshia Sanjit

Citation
Shanna-Shaye Forbes, Eloi Pereira, Edward A. Lee, Raja Sengupta , Seshia Sanjit. "Directed Simulation of Networked Unmanned Aerial Vehicles Using Model Checking and Ptolemy II". Talk or presentation, 11, February, 2010; BEARS 2010 Poster Presentation.

Abstract
Modeling, simulation, and verification are currently very important areas in cyber-physical systems. More often than not simulation is done after a model is complete and on many occasions that necessitates modifying the model because of errors. We propose to use software verification before software simulation, to help determine possible error cases in a model. In this work we randomly generate a test plan, formally verify the test plan on a discrete model of the system, and then run the test plan in a timing accurate hybrid model in a software simulator to confirm the results of the formal verification.

Electronic downloads


Internal. This publication has been marked by the author for Chess-only distribution, so electronic downloads are not available without logging in.
Citation formats  
  • HTML
    Shanna-Shaye Forbes, Eloi Pereira, Edward A. Lee, Raja 
    Sengupta , Seshia Sanjit. <a
    href="http://chess.eecs.berkeley.edu/pubs/657.html"
    ><i>Directed Simulation of Networked Unmanned
    Aerial Vehicles Using Model Checking and Ptolemy
    II</i></a>, Talk or presentation,  11, February,
    2010; BEARS 2010 Poster Presentation.
  • Plain text
    Shanna-Shaye Forbes, Eloi Pereira, Edward A. Lee, Raja 
    Sengupta , Seshia Sanjit. "Directed Simulation of
    Networked Unmanned Aerial Vehicles Using Model Checking and
    Ptolemy II". Talk or presentation,  11, February, 2010;
    BEARS 2010 Poster Presentation.
  • BibTeX
    @presentation{ForbesPereiraLeeSenguptaSanjit10_DirectedSimulationOfNetworkedUnmannedAerialVehiclesUsing,
        author = {Shanna-Shaye Forbes and Eloi Pereira and Edward A.
                  Lee and Raja  Sengupta  and Seshia Sanjit},
        title = {Directed Simulation of Networked Unmanned Aerial
                  Vehicles Using Model Checking and Ptolemy II},
        day = {11},
        month = {February},
        year = {2010},
        note = {BEARS 2010 Poster Presentation},
        abstract = { Modeling, simulation, and verification are
                  currently very important areas in cyber-physical
                  systems. More often than not simulation is done
                  after a model is complete and on many occasions
                  that necessitates modifying the model because of
                  errors. We propose to use software verification
                  before software simulation, to help determine
                  possible error cases in a model. In this work we
                  randomly generate a test plan, formally verify the
                  test plan on a discrete model of the system, and
                  then run the test plan in a timing accurate hybrid
                  model in a software simulator to confirm the
                  results of the formal verification. },
        URL = {http://chess.eecs.berkeley.edu/pubs/657.html}
    }
    

Posted by Shanna-Shaye Forbes on 12 Feb 2010.
Groups: chess
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