Modelling Predictable Component-Based Distributed Control Architectures

@article{Schmidt2003ModellingPC,
  title={Modelling Predictable Component-Based Distributed Control Architectures},
  author={Heinz W. Schmidt and Ian Peake and Jue Xie and Ian E. Thomas and Bernd J. Kr{\"a}mer and Alexander Fay and Peter Bort},
  journal={2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems},
  year={2003},
  pages={339-339}
}
Current models of component architectures require extensions to support compositional reasoning about extra-functional properties such as worst-case time. Studying such properties in architectures is complicated since actual components may not yet be chosen during architectural design, and different choices may have significant and hard to predict effects on the system properties. In this paper we show how finite state automata and Petri nets may be extended to provide compositionality of extra… CONTINUE READING
10 Extracted Citations
18 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.
Showing 1-10 of 10 extracted citations

Similar Papers

Loading similar papers…