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.


Markov Chain Model Check Manageability Adaptor Autonomic Computing Autonomic Manager 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  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