Cadena: Enabling CCM-based application development in Eclipse

Venkatesh Prasad Ranganath, Adam Childs, Jesse Greenwald, Matthew B. Dwyer, John Hatcliff, Gurdip Singh

Research output: Contribution to conferencePaper

4 Scopus citations

Abstract

To support the trend toward component-based systems, the Cadena project aims to provide an Eclipse-based development environment that includes support for design, behavior modeling, formal reasoning, and automated code synthesis for systems built using the CORBA Component Model. In this paper, we describe the basic functionality of the Cadena tool, and summarize how it is currently being evaluated by industrial partners for use in developing high-assurance avionics applications.

Original languageEnglish (US)
Pages20-24
Number of pages5
DOIs
StatePublished - Dec 1 2003
Externally publishedYes
Event2003 OOPSLA Workshop on Eclipse Technology eXchange, eclipse '03 - Anaheim, CA, United States
Duration: Jan 27 2003Jan 27 2003

Other

Other2003 OOPSLA Workshop on Eclipse Technology eXchange, eclipse '03
CountryUnited States
CityAnaheim, CA
Period1/27/031/27/03

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Computer Science Applications
  • Software

Fingerprint Dive into the research topics of 'Cadena: Enabling CCM-based application development in Eclipse'. Together they form a unique fingerprint.

  • Cite this

    Ranganath, V. P., Childs, A., Greenwald, J., Dwyer, M. B., Hatcliff, J., & Singh, G. (2003). Cadena: Enabling CCM-based application development in Eclipse. 20-24. Paper presented at 2003 OOPSLA Workshop on Eclipse Technology eXchange, eclipse '03, Anaheim, CA, United States. https://doi.org/10.1145/965660.965665