Cadena: An integrated development environment for analysis, synthesis, and verification of component-based systems

Adam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath, Xianghua Deng, Matthew Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, Gurdip Singh

Research output: Chapter in Book/Report/Conference proceedingChapter

9 Scopus citations

Abstract

This tool paper gives an overview of Cadena - an integrated environment for building and modeling systems built using the CORBA Component Model (COM). Cadena provides facilities for defining component types using CCM IDL, specifying dependency information and transition system semantics for these types, assembling systems from CCM components, visualizing various dependence relationships between components, specifying and verifying correctness properties of models of CCM systems derived from CCM IDL, component assembly information, and Cadena specifications, and producing CORBA stubs and skeletons implemented in Java. Cadena has been applied to build applications in Boeing's Bold Stroke framework for avionics mission-control systems. Cadena is implemented in IBM's Eclipse open-source IDE and is freely available.

Original languageEnglish (US)
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
EditorsMichel Wermelinger, Tiziana Margaria-Steffen
PublisherSpringer Verlag
Pages160-164
Number of pages5
ISBN (Print)3540213058, 9783540213055
DOIs
StatePublished - 2004
Externally publishedYes

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2984
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Cadena: An integrated development environment for analysis, synthesis, and verification of component-based systems'. Together they form a unique fingerprint.

Cite this