CADS*: Computer-Aided Development of Self-* Systems

  • Radu Calinescu
  • Marta Kwiatkowska
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5503)


We present the prototype tool CADS* for the computer-aided development of an important class of self-* systems, namely systems whose components can be modelled as Markov chains. Given a Markov chain representation of the IT components to be included into a self-* system, CADS* automates or aids (a) the development of the artifacts necessary to build the self-* system; and (b) their integration into a fully-operational self-* solution. This is achieved through a combination of formal software development techniques including model transformation, model-driven code generation and dynamic software reconfiguration.


  1. 1.
    Calinescu, R.: Implementation of a generic autonomic framework. In: Proc. 4th Intl. Conf. Autonomic and Autonomous Systems, pp. 124–129 (2008)Google Scholar
  2. 2.
    Calinescu, R.: General-purpose autonomic computing. In: Denko, M., et al. (eds.) Autonomic Computing and Networking. Springer, Heidelberg (2009)Google Scholar
  3. 3.
    Calinescu, R., Kwiatkowska, M.: Software engineering techniques for the development of systems. In: Proc. 15th Monterey Workshop on Foundations of Computer Software, pp. 86–93 (2008)Google Scholar
  4. 4.
    Kephart, J.O., Chess, D.M.: The vision of autonomic computing. IEEE Computer Journal 36(1), 41–50 (2003)CrossRefGoogle Scholar
  5. 5.
    Kwiatkowska, M., et al.: Quantitative analysis with the probabilistic model checker PRISM. Electronic Notes in Theoretical Computer Science 153(2), 5–31 (2005)CrossRefGoogle Scholar
  6. 6.
    Kwiatkowska, M., et al.: Stochastic model checking. In: Bernardo, M., Hillston, J. (eds.) Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation, pp. 220–270. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  7. 7.
    Microsoft Corporation. Xml schema definition tool (xsd.exe) (2007),
  8. 8.
    Parashar, M., Hariri, S.: Autonomic Computing: Concepts, Infrastructure & Applications. CRC Press, Boca Raton (2006)Google Scholar
  9. 9.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Radu Calinescu
    • 1
  • Marta Kwiatkowska
    • 1
  1. 1.Computing LaboratoryUniversity of OxfordUK

Personalised recommendations