Please use this identifier to cite or link to this item:
https://hdl.handle.net/10216/94771
Author(s): | Valério Rosset Pedro F. Souto Paulo Portugal Francisco Vasques |
Title: | Modeling the reliability of a group membership protocol for dual-scheduled time division multiple access networks |
Issue Date: | 2012 |
Abstract: | We present reliability models for a group membership protocol designed for TDMA networks such as FlexRay, a protocol that is likely to become the de facto standard for next generation automotive networks. The models are based on discrete-time Markov chains and consider a comprehensive set of fault scenarios. Furthermore, they are parametric allowing for a sensitivity analysis. The results, obtained by a numeric solution of the models using the PRISM model-checker, show that they are computationally practical for realistic configurations and that the GMP can achieve reliability levels in the range required for safety critical applications. |
Subject: | Ciências da computação e da informação Computer and information sciences |
Scientific areas: | Ciências exactas e naturais::Ciências da computação e da informação Natural sciences::Computer and information sciences |
URI: | https://hdl.handle.net/10216/94771 |
Document Type: | Artigo em Revista Científica Internacional |
Rights: | restrictedAccess |
Appears in Collections: | FEUP - Artigo em Revista Científica Internacional |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
60996.pdf Restricted Access | 1.74 MB | Adobe PDF | Request a copy from the Author(s) |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.