论文信息 - Cadena: enabling CCM-based application development in Eclipse

Cadena: enabling CCM-based application development in Eclipse

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.

[1] Matthew B. Dwyer,et al. Bogor: an extensible and highly-modular software model checking framework , 2003, ESEC/FSE-11.

[2] Matthew B. Dwyer,et al. Cadena: an integrated development, analysis, and verification environment for component-based systems , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[3] M. Robby,et al. Bogor : An Extensible and Highly Modular Model Checking Framework , 2003 .