Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Symbolic Analysis for Improving Simulation Coverage of Simulink/Stateflow Models
 

Summary: Symbolic Analysis for Improving Simulation Coverage of
Simulink/Stateflow Models
Rajeev Alur
University of Pennsylvania
alur@cis.upenn.edu
Aditya Kanade
University of Pennsylvania
kanade@seas.upenn.edu
S. Ramesh
GM India Science Lab
ramesh.s@gm.com
K.C. Shashidhar
GM India Science Lab
shashidhar.kc@gm.com
ABSTRACT
Aimed at verifying safety properties and improving simula-
tion coverage for hybrid systems models of embedded control
software, we propose a technique that combines numerical
simulation and symbolic methods for computing state-sets.
We consider systems with linear dynamics described in the

  

Source: Alur, Rajeev - Department of Computer and Information Science, University of Pennsylvania

 

Collections: Computer Technologies and Information Sciences