Loading...
Please wait, while we are loading the content...
Similar Documents
Practical formal verification of diagnosability of large models via symbolic model checking
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Pecheur Sr., Charles Cavada, Roberto |
| Copyright Year | 2003 |
| Description | This document reports on the activities carried out during a four-week visit of Roberto Cavada at the NASA Ames Research Center. The main goal was to test the practical applicability of the framework proposed, where a diagnosability problem is reduced to a Symbolic Model Checking problem. Section 2 contains a brief explanation of major techniques currently used in Symbolic Model Checking, and how these techniques can be tuned in order to obtain good performances when using Model Checking tools. Diagnosability is performed on large and structured models of real plants. Section 3 describes how these plants are modeled, and how models can be simplified to improve the performance of Symbolic Model Checkers. Section 4 reports scalability results. Three test cases are briefly presented, and several parameters and techniques have been applied on those test cases in order to produce comparison tables. Furthermore, comparison between several Model Checkers is reported. Section 5 summarizes the application of diagnosability verification to a real application. Several properties have been tested, and results have been highlighted. Finally, section 6 draws some conclusions, and outlines future lines of research. |
| File Size | 337809 |
| Page Count | 17 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_20030064186 |
| Archival Resource Key | ark:/13960/t4hn0641v |
| Language | English |
| Publisher Date | 2003-01-01 |
| Access Restriction | Open |
| Subject Keyword | Computer Programming And Software Dependent Variables Modules Heuristic Methods Java Programming Language Computer Systems Performance Mathematical Models Program Verification Computers Symbolic Programming Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Technical Report |
