Paper Info
Title
An extension of Java PathFinder for hybrid systems
Abstract
Hybrid systems are characterized by combining discrete and continuous behaviors. Verification of hybrid systems is, in general, a diffcult task due to the potential complexity of the continuous dynamics. Currently, there are different formalisms and tools which are able to analyze specific types of hybrid systems, model checking being one of the most used approaches. In this paper, we describe an extension of Java PathFinder in order to analyze hybrid systems. We apply a general methodology which has been successfully used to extend Spin. This methodology is non-intrusive, and uses external libraries, such as the Parma Polyhedra Library, to abstract the continuous behavior of the hybrid system.
Year
DOI
Venue
2012
10.1145/2382756.2382793
ACM SIGSOFT Software Engineering Notes
Keywords
Field
DocType
java pathfinder,continuous behavior,hybrid system,model checking,different formalisms,diffcult task,parma polyhedra library,general methodology,continuous dynamic,external library,hybrid systems,verification
Java pathfinder,Programming language,Model checking,Software engineering,Computer science,Polyhedron,Theoretical computer science,Rotation formalisms in three dimensions,Hybrid system
Journal
Volume
Issue
Citations 
37
6
2
PageRank 
References 
Authors
0.37
5
2
Name
Order
Citations
PageRank
Laura Panizo1297.56
María del Mar Gallardo214113.16