05569321

a

05569321 Chan, Kenneth Poernomo, Iman Compositional prediction of timed behaviour for process control architecture. Mirandola, Raffaela (ed.) et al., Architectures for adaptive software systems. 5th international conference on the quality of software architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24--26, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02350-7/pbk). Lecture Notes in Computer Science 5581, 86-100 (2009). 2009 Berlin: Springer EN

doi:10.1007/978-3-642-02351-4_6

Summary: The timing of properties is an essential consideration in the design, implementation and maintenance of embedded software development. In this paper, we present an approach to the prediction of timed and probabilistic nonfunctional properties of process control architectures. Our approach involves a novel compositional approach to model checking of statements in Probabilistic Computational Tree Logic (PCTL).