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

Radu C. Calinescu, Marta Z. Kwiatkowska

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

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)
PublisherSpringer
Pages421-424
Number of pages4
Volume5503
ISBN (Print)9783642005923
DOIs
Publication statusPublished - 28 Mar 2009

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume5503

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 www.springerlink.com

Keywords

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

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

Cite this