CADS*: Computer-Aided Development of self-* systems

Radu C. Calinescu, Marta Z. Kwiatkowska

Research output: Chapter in Book/Published conference outputChapter


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.
Original languageEnglish
Title of host publicationFundamental Approaches to Software Engineering
Place of PublicationBerlin (DE)
Number of pages4
ISBN (Print)9783642005923
Publication statusPublished - 28 Mar 2009

Publication series

NameLecture Notes in Computer Science

Bibliographical note

Proceedings of the 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. The original publication is available at


  • computer aided development
  • Markov chains
  • software development
  • model transformation
  • model-driven code generation
  • dynamic software reconfiguration


Dive into the research topics of 'CADS*: Computer-Aided Development of self-* systems'. Together they form a unique fingerprint.

Cite this