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.