An Integrated Model-Driven Development Environment for Composing and Validating Distributed Real-Time and Embedded Systems

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.

[1]  Man Lin.  Synthesis of Control Software in a Layered Architecture from Hybrid Automata , 1999, HSCC.

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

[3]  Wendy Roll.  Towards model-based and CCM-based applications for real-time systems , 2003, Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003..

[4]  Arif Ghafoor,et al.  Proceedings : Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), 14-16 May 2003, Hakodate, Hokkaido, Japan , 2003 .

[5]  David Harel,et al.  Executable object modeling with statecharts , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[6]  Edward A. Lee,et al.  Ptolemy: A Framework for Simulating and Prototyping Heterogenous Systems , 2001, Int. J. Comput. Simul..

[7]  Christopher D. Gill,et al.  Improving real-time system configuration via a QoS-aware CORBA component model , 2004, 37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the.

[8]  Gabor Karsai,et al.  Smart Dust: communicating with a cubic-millimeter computer , 2001 .

[9]  Aniruddha S. Gokhale,et al.  An Approach for Supporting Aspect-Oriented Domain Modeling , 2003, GPCE.

[10]  Kang G. Shin,et al.  Improving scalability of task allocation and scheduling in large distributed real-time systems using shared buffers , 2003, The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings..

[11]  David Frankel,et al.  Model Driven Architecture: Applying MDA to Enterprise Computing , 2003 .

[12]  C. M. Sperberg-McQueen,et al.  eXtensible Markup Language (XML) 1.0 (Second Edition) , 2000 .

[13]  Gabor Karsai,et al.  UDM: An Infrastructure for Implementing Domain-Specific Modeling Languages , 2003 .

[14]  Jeffrey G. Gray,et al.  Handling crosscutting constraints in domain-specific modeling , 2001, CACM.

[15]  Matthew B. Dwyer,et al.  Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software , 2002, FMCO.

[16]  H. Dieter Rombach.  Proceedings of the 18th international conference on Software engineering , 1996, ICSE 1996.

[17]  Gabor Karsai,et al.  Model-integrated development of embedded software , 2003, Proc. IEEE.

[18]  Douglas C. Schmidt,et al.  Configuring Real-Time Aspects in Component Middleware , 2004, CoopIS/DOA/ODBASE.

[19]  Wendy Roll.  Model-Based Integration of Reusable Component-Based Avionics Systems , 2003 .

[20]  Douglas C. Schmidt,et al.  Middleware for Distributed Systems Evolving the Common Structure for Network-centric Applications , 2001 .

[21]  Aditya Agrawal,et al.  On the use of Graph Transformations in the Formal Specification of Computer-Based Systems kle , 2003 .

[22]  Aniruddha S. Gokhale,et al.  A Platform-Independent Component Modeling Language for Distributed Real-Time and Embedded Systems , 2005, IEEE Real-Time and Embedded Technology and Applications Symposium.

[23]  Aniruddha S. Gokhale,et al.  Generators for Synthesis of QoS Adaptation in Distributed Real-Time Embedded Systems , 2002, GPCE.

[24]  Aniruddha S. Gokhale,et al.  Model-driven techniques for evaluating the QoS of middleware configurations for DRE systems , 2005, 11th IEEE Real Time and Embedded Technology and Applications Symposium.

[25]  Jack Greenfield,et al.  Software factories: assembling applications with patterns, models, frameworks and tools , 2004, OOPSLA '03.

[26]  Gabor Karsai,et al.  Composing Domain-Specific Design Environments , 2001, Computer.

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

[28]  Brian Ellis,et al.  VEST: an aspect-based composition tool for real-time systems , 2003, The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings..

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

[30]  Gabor Karsai,et al.  Model-Integrated Computing , 1997, Computer.