|
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)
Binding
Fault tolerance
Models
Protocol(Computers)
|
|
|
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
|
