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:

Principles Of Data Communications
Basic concepts of computer to computer communications. Models for communications links and problems with long distance communications....

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...

Wireless Communications for Industrial Applications
Wireless Communications for Industrial Applications Cirronet White Paper 1 O VERVIEW Data buses like Modbus and Profibus are no longer the de facto...

    Leave comment :
    "Lessons Learned Model Checking an Industrial "



    Related Free Files

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

    eXTReMe Tracker