Applying model-driven development to distributed real-time and embedded avionics systems

Model-driven development (MDD) is an emerging paradigm that uses domain-specific modeling languages (DSMLs) and generative technologies to provide "correct-by-construction" capabilities for many software development activities. This paper provides two contributions to the study of applying MDD to distributed real-time and embedded (DRE) systems that use standards-based quality of service (QoS)-enabled component middleware. First, it describes an MDD toolsuite called Component Synthesis using Model-Integrated Computing (CoSMIC), which is a collection of DSMLs and generative tools that support the development, configuration, deployment, and validation of component-based DRE systems. Second, it describes how we have applied CoSMIC to an avionics mission computing application to resolve key component-based DRE system development challenges. Our results show that the design-, deployment- and quality assurance (QA)-time capabilities provided by the DSMLs and generative capabilities...

• Type: Journal
• Year: 2006
• Where: IJES
• Authors: Krishnakumar Balasubramanian, Arvind S. Krishna, Emre Turkay, Jaiganesh Balasubramanian, Jeff Parsons, Aniruddha S. Gokhale, Douglas C. Schmidt
• Keywords: Component-based Dre, Domain-Specific Modeling Languages, DRE Systems, IJES 2006