Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
}
TY - GEN
T1 - The need for a generalized compositional framework
AU - Suri, Neeraj
PY - 2004/3/3
Y1 - 2004/3/3
N2 - The need for a generalized compositional framework for effective and efficient provisioning of dependable services, software, and systems is addressed. The fundamental dependable system services that are essentially needed for any dependable system formulation were discussed. Ways for proper tuning of compositional system with specific design requirements were also presented. It was emphasized that the enunciation of the relevant system model of interest and the precise characterization of the operational environment are very important.
AB - The need for a generalized compositional framework for effective and efficient provisioning of dependable services, software, and systems is addressed. The fundamental dependable system services that are essentially needed for any dependable system formulation were discussed. Ways for proper tuning of compositional system with specific design requirements were also presented. It was emphasized that the enunciation of the relevant system model of interest and the precise characterization of the operational environment are very important.
KW - Computer architecture
KW - Computer hardware
KW - Interfaces (computer)
KW - Mathematical models
KW - Middleware
KW - Network protocols
KW - Quality of service
KW - Real time systems
KW - Compositional frameworks
KW - Dependable services
KW - Operational environments
KW - System models
KW - Computer systems
U2 - 10.1109/PRDC.2004.1276589
DO - 10.1109/PRDC.2004.1276589
M3 - Conference contribution/Paper
SN - 0769520766
SP - 340
BT - 10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings.
PB - IEEE
ER -