Documents in the NTIS Technical Reports collection are the results of federally funded research. They are directly submitted to or collected by NTIS from Federal agencies for permanent accessibility to industry, academia and the public.  Before purchasing from NTIS, you may want to check for free access from (1) the issuing organization's website; (2) the U.S. Government Printing Office's Federal Digital System website; (3) the federal government Internet portal; or (4) a web search conducted using a commercial search engine such as
Accession Number N20120014310
Title Modeling Techniques for High Dependability Protocols and Architecture.
Publication Date Sep 2012
Media Count 27p
Personal Author B. LaValley C. J. Walter P. Ellis
Abstract This report documents an investigation into modeling high dependability protocols and some specific challenges that were identified as a result of the experiments. The need for an approach was established and foundational concepts proposed for modeling different layers of a complex protocol and capturing the compositional properties that provide high dependability services for a system architecture. The approach centers around the definition of an architecture layer, its interfaces for composability with other layers and its bindings to a platform specific architecture model that implements the protocols required for the layer.
Keywords Architecture(Computers)
Fault tolerance

Source Agency National Aeronautics and Space Administration
NTIS Subject Category 62 - Computers, Control & Information Theory
Corporate Author National Aeronautics and Space Administration, Hampton, VA. Langley Research Center.
Document Type Technical report
Title Note N/A
NTIS Issue Number 1307
Contract Number NNL10AB32T

Science and Technology Highlights

See a sampling of the latest scientific, technical and engineering information from NTIS in the NTIS Technical Reports Newsletter

Acrobat Reader Mobile    Acrobat Reader