Home > Automation > Industrial Communications


[ pdf ] Lessons Learned Model Checking an Industrial

Lessons Learned Model Checking an Industrial Download
99
times
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.

Summary:
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:

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

Analysis of MasterSlave Protocols for RealTime
Analysis of Master-Slave Protocols for Real-Time Industrial Communications over IEEE802.11 WLANs Daniele Miorandi and Stefano Vitturi IEIIT-CNR,...

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

    Leave comment :
    "Lessons Learned Model Checking an Industrial "

    Name*

    Comment


    Related Free Files

    Wireless Communications for Industrial... - Download: 420 times
    Guide to Industrial Fiber Optics... - Download: 250 times
    Recent and Emerging Topics in Wireless... - Download: 154 times
    Microsoft Word Using Isoloop isolators in... - Download: 64 times
    Strategic Communication Ebook... - Download: 286 times
    Industrial Communications Protocol Cross... - Download: 370 times
    Analysis of MasterSlave Protocols for... - Download: 204 times
    Industrial Data Communications Dictionary... - Download: 407 times
    Principles Of Data Communications ... - Download: 678 times


    eXTReMe Tracker