1 / 5

Formal Specification and Verification of a Communication Protocol

Formal Specification and Verification of a Communication Protocol. Ho Jung Bang Sung Deok Cha. System Overview. The Requirements Specification of a system air conditioner Natural language specification with MSC-like diagrams About 210-page long

hakan
Download Presentation

Formal Specification and Verification of a Communication Protocol

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Formal Specification and Verification of a Communication Protocol Ho Jung Bang Sung Deok Cha

  2. System Overview • The Requirements Specification of a system air conditioner • Natural language specification with MSC-like diagrams • About 210-page long • Complicated initialization scenario and 14 basic scenarios • 1-to-many and parallel communication DSLab., KAIST

  3. Approach Overview • Comparison to the existing techniques • Informal techniques such as interview and inspections • Verification principles • Completeness: explicitly consider all possible inputs in all possible situations • Consistency: avoid unexpected situations • Used model checking techniques to track subtle errors • checked if erroneous scenarios are indeed possible DSLab., KAIST

  4. Three Phases DSLab., KAIST

  5. Results and Experience DSLab., KAIST

More Related