Cadena: Enabling CCM-based application development in Eclipse

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

doi:10.1145/965660.965665

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 conference › Paper › peer-review

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 language	English (US)
Pages	20-24
Number of pages	5
DOIs	https://doi.org/10.1145/965660.965665
State	Published - 2003
Externally published	Yes
Event	2003 OOPSLA Workshop on Eclipse Technology eXchange, eclipse '03 - Anaheim, CA, United States Duration: Jan 27 2003 → Jan 27 2003

Other

Other	2003 OOPSLA Workshop on Eclipse Technology eXchange, eclipse '03
Country/Territory	United States
City	Anaheim, CA
Period	1/27/03 → 1/27/03

ASJC Scopus subject areas

Computational Theory and Mathematics
Computer Science Applications
Software

Access to Document

10.1145/965660.965665

Cite this

@conference{736ae16e8919488d9511b55228a9923b,

title = "Cadena: Enabling CCM-based application development in Eclipse",

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.",

author = "Ranganath, {Venkatesh Prasad} and Adam Childs and Jesse Greenwald and Dwyer, {Matthew B.} and John Hatcliff and Gurdip Singh",

year = "2003",

doi = "10.1145/965660.965665",

language = "English (US)",

pages = "20--24",

note = "2003 OOPSLA Workshop on Eclipse Technology eXchange, eclipse '03 ; Conference date: 27-01-2003 Through 27-01-2003",

}

TY - CONF

T1 - Cadena

T2 - 2003 OOPSLA Workshop on Eclipse Technology eXchange, eclipse '03

AU - Ranganath, Venkatesh Prasad

AU - Childs, Adam

AU - Greenwald, Jesse

AU - Dwyer, Matthew B.

AU - Hatcliff, John

AU - Singh, Gurdip

PY - 2003

Y1 - 2003

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=24944493057&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=24944493057&partnerID=8YFLogxK

U2 - 10.1145/965660.965665

DO - 10.1145/965660.965665

M3 - Paper

AN - SCOPUS:24944493057

SP - 20

EP - 24

Y2 - 27 January 2003 through 27 January 2003

ER -

Cadena: Enabling CCM-based application development in Eclipse

Abstract

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this