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.

REFERENCES

• 1: "Enterprise JavaBeans Specification (version 2.0)." This specification is available at http://java.sun.com/products/ejb/index.html., Aug 2001.
• 2: "CORBA Components." This specification is available at http://www.omg.org., Sept 2002.
• 3: John Hatcliff , Xinghua Deng , Matthew B. Dwyer , Georg Jung , Venkatesh Prasad Ranganath, Cadena: an integrated development, analysis, and verification environment for component-based systems, Proceedings of the 25th International Conference on Software Engineering, May 03-10, 2003, Portland, Oregon
• 4: "OpenCCM, a java implementation of ccm." This software is available at http://openccm.objectweb.org.
• 5: "Component-integrated ace orb, a c++ implementation of ccm." This software is available at http://www.cse.wustl.edu/ nanbor/projects/CIAO/.
• 6: Robby , Matthew B. Dwyer , John Hatcliff, Bogor: an extensible and highly-modular software model checking framework, Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering, September 01-05, 2003, Helsinki, Finland