Probabilistic analysis and predictions of component-based real-time systems

Moller, A, Nolin, M, Peake, I and Schmidt, H 2005, 'Probabilistic analysis and predictions of component-based real-time systems', in WiP Session of the 17th Euromicro Conference on Real-Time Systems, Palma de Mallorca, Balearic Islands, Spain, 6-8 July, 2005.


Document type: Conference Paper
Collection: Conference Papers

Title Probabilistic analysis and predictions of component-based real-time systems
Author(s) Moller, A
Nolin, M
Peake, I
Schmidt, H
Year 2005
Conference name The 17th Euromicro Conference on Real-Time Systems
Conference location Palma de Mallorca, Balearic Islands, Spain
Conference dates 6-8 July, 2005
Proceedings title WiP Session of the 17th Euromicro Conference on Real-Time Systems
Publisher IEEE
Place of publication USA
Abstract Software components are suitable vehicles to introduce advanced analysis techniques in a software-engineering context for embedded control software; a feat that has yet to be fully accomplished. We are adopting a component-based approach to control software development. We are extending and combining methods from disparate disciplines, such as probabilistic reliability predictions, stochastic scheduling analysis and software component technologies. We study theories and methods for probabilistic modelling, analysis, and prediction of control software executing in resource-constrained embedded computers. Combining the behaviour models and the architectural model of a component assembly we are deriving stochastic properties, such as reliability, expected delays, and resource consumption. Using components as the fundamental unit of reuse, we employ run-time monitoring techniques to extract probabilistic models of the component behaviour.
Subjects Technology not elsewhere classified
Communications Technologies not elsewhere classified
Copyright notice © IEEE Computer Society Press, 2005
Versions
Version Filter Type
Access Statistics: 159 Abstract Views  -  Detailed Statistics
Created: Tue, 12 Mar 2013, 10:32:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us