An integrated model-driven development environment for composing and validating distributed real-time and embedded systems

Gabriele Trombetti, Aniruddha Gokhale, Douglas C. Schmidt, Jesse Greenwald, John Hatcliff, Georg Jung, Gurdip Singh

Research output: Chapter in Book/Entry/PoemChapter

12 Scopus citations


Model-driven development (MDD) tools and processes are increasingly used to develop component middleware and applications for distributed real-time and embedded (DRE) systems, which have stringent requirements for timeliness, correctness, scalability, and maintainability. MDD techniques help developers of DRE systems express application functionality and quality of service (QoS) requirements at a higher level of abstraction than is possible using third-generation programming languages, such as Visual Basic, Java, C++, or C#. The state-of-the-art in MDD for large-scale DRE systems is still maturing, however, and no single MDD environment provides the capabilities needed for effective development of large-scale DRE systems. This chapter presents three contributions to the study of integrated MDD development and model checking for large-scale DRE systems. First, we describe how our CoSMIC and Cadena MDD toolsuites have been combined to provide an integrated environment that enhances the development and validation of DRE systems. Second, we discuss how we addressed key research issues associated with implementing MDD algorithms for maintaining semantics-preserving transfer of model data between the CoSMIC and Cadena MDD tools. Third, we discuss how we overcame technical difficulties encountered when applying the integrated COSMIC and Cadena for a representative DRE system. Our results show that interoperation between different MDD tools is achievable with the proper choice of communication format, semantics, and the development of a reliable graph diff-merge algorithm. This interoperation helps identify the workflow and capabilities needed for next-generation DRE development environments.

Original languageEnglish (US)
Title of host publicationModel-Driven Software Development
PublisherSpringer Berlin Heidelberg
Number of pages33
ISBN (Print)354025613X, 9783540256137
StatePublished - 2005
Externally publishedYes

ASJC Scopus subject areas

  • General Computer Science


Dive into the research topics of 'An integrated model-driven development environment for composing and validating distributed real-time and embedded systems'. Together they form a unique fingerprint.

Cite this