Home > Automation > Industrial Communications


[ pdf ] Lessons Learned Model Checking an Industrial

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

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:

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

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 "

    Name*

    Comment


    Related Free Files

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


    eXTReMe Tracker