Home > Automation > Industrial Communications

[ pdf ] Lessons Learned Model Checking an Industrial

Lessons Learned Model Checking an Industrial Download
Topic under  Industrial Communications
Source: www.sei.cmu.edu 
File size: 536.22 KB
File type: pdf
Last download on: Thu Apr 12, 2018 03:04:53 AM
Short Desciption:
3 Case Study We applied the collection of tools identified in Section 2 to the design of a communications library that is widely deployed in industrial automation systems.

Model checking is a fully automated formal verification technology that can be used to determine whether models of software satisfy behavioral requirements in such areas as safety, reliability, and security. This report explores the packaging of model checking technology in a reasoning framework. The goal of a reasoning framework is to simplify the analysis of software designs by nonexperts. This report describes the application of such a reasoning framework to the design of an industrial communications library and the problems that were found. This report also notes the tasks that were unreasonably complex or time-consuming and concludes with thoughts on techniques that could be used to develop a model checking reasoning framework that better supports use by nonexperts.
Bookmark or share this info on Google+ and leave comment at below :

Bookmark and Share

People who downloaded this also viewed in this sites:

Recent and Emerging Topics in Wireless Industrial
1 Recent and Emerging Topics in Wireless Industrial Communications: A Selection Andreas Willig, Member, IEEE accepted for publication in: IEEE...

Microsoft Word Using Isoloop isolators in industrial
IsoLoop® magnetic couplers replace opto-couplers in industrial data communication. (Microsoft Word - Using Isoloop isolators in industrial...

Industrial Communications Protocol Cross Reference
INDUSTRIALA UTO MATION & PROCESS CONTROLCABLES 18.6 For more information, contact Belden Technical Support: 1-800-BELDEN-1 • www.belden.com...

    Leave comment :
    "Lessons Learned Model Checking an Industrial "



    Related Free Files

    Guide to Industrial Fiber Optics... - Download: 252 times
    Principles Of Data Communications ... - Download: 695 times
    Strategic Communication Ebook... - Download: 291 times
    Microsoft Word Using Isoloop isolators in... - Download: 67 times
    Industrial Data Communications Dictionary... - Download: 412 times
    Wireless Communications for Industrial... - Download: 423 times
    Industrial Communications Protocol Cross... - Download: 374 times
    Analysis of MasterSlave Protocols for... - Download: 207 times
    Recent and Emerging Topics in Wireless... - Download: 157 times

    eXTReMe Tracker