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: Wed Aug 02, 2017 02:23:15 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:

Guide to Industrial Fiber Optics
Guide to Industrial Fiber Optics The purpose of this Guide is to ... be separated and that the true benefits of fiber optic communications can be...

Strategic Communication Ebook
This strategic communication ebook was written by Dave Fleet, based on his experiences. ...

Industrial Data Communications Dictionary
A-1 Appendix A Industrial Data Communications Dictionary A Summary... This dictionary contains a list of words, phrases, terms and acronyms commonly...

    Leave comment :
    "Lessons Learned Model Checking an Industrial "



    Related Free Files

    Guide to Industrial Fiber Optics... - Download: 249 times
    Wireless Communications for Industrial... - Download: 419 times
    Industrial Data Communications Dictionary... - Download: 405 times
    Analysis of MasterSlave Protocols for... - Download: 204 times
    Industrial Communications Protocol Cross... - Download: 370 times
    Principles Of Data Communications ... - Download: 673 times
    Recent and Emerging Topics in Wireless... - Download: 152 times
    Microsoft Word Using Isoloop isolators in... - Download: 64 times
    Strategic Communication Ebook... - Download: 285 times

    eXTReMe Tracker