论文信息 - CoSMIC: addressing crosscutting deployment and configuration concerns of distributed real-time and embedded systems

CoSMIC: addressing crosscutting deployment and configuration concerns of distributed real-time and embedded systems

This paper describe a model-driven development (MDD) toolsuite called <i>Component Synthesis using Model-Integrated Computing</i> (CoSMIC), which configures and deploys distributed real-time and embedded (DRE) systems using quality of service (QoS)-enabled component middleware. We show how CoSMIC addresses crosscutting configuration and deployment concerns at multiple layers of middleware and applications in component-based DRE systems. We also discuss how CoSMIC leverages model checking and analysis tools to validate key properties for configured DRE systems.

Aniruddha S. Gokhale | Tao Lu | Krishnakumar Balasubramanian

[1] Douglas C. Schmidt,et al. Model Driven Middleware: A New Paradigm for Developing and Provisioning Distributed Real-time and Embedded Applications ? , 2003 .

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