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

Authors:
Aniruddha Gokhale;Krishnakumar Balasubramanian;Tao Lu
Affiliations:
Vanderbilt University, Nashville, TN;Vanderbilt University, Nashville, TN;Vanderbilt University, Nashville, TN
Venue:
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Year:
2004

Citing 2
Cited 6

Cadena: an integrated development, analysis, and verification environment for component-based systems

Proceedings of the 25th International Conference on Software Engineering
Model driven middleware: A new paradigm for developing distributed real-time and embedded systems

Science of Computer Programming

A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures

GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Using Architecture Models to Support the Generation and Operation of Component-Based Adaptive Systems

Software Engineering for Self-Adaptive Systems
A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures

Science of Computer Programming
Identifying “interesting” component assemblies for NFRs using imperfect information

EWSA'06 Proceedings of the Third European conference on Software Architecture
Evaluating alternative COTS assemblies from imperfect component information

QoSA'06 Proceedings of the Second international conference on Quality of Software Architectures
Explicit architectural policies to satisfy NFRs using COTS

MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describe a model-driven development (MDD) toolsuite called Component Synthesis using Model-Integrated Computing (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.