Skip to main content

Applying Model Intelligence Frameworks for Deployment Problem in Real-Time and Embedded Systems

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNPSE,volume 4364)

Abstract

There are many application domains, such as distributed real-time and embedded (DRE) systems, where the domain constraints are so restrictive and the solution spaces so large that it is infeasible for modelers to produce correct solution manually using a conventional graphical model-based approach. In DRE systems the available resources, such as memory, CPU, and bandwidth, must be managed carefully to ensure a certain level of quality of service. This paper provides three contributions to simplify modeling of complex application domains: (1) we present our approach of combining model intelligence and domain-specific solvers with model-driven engineering (MDE) environments, (2) we show techniques for automatically guiding modelers to correct solutions and how to support the specification of large and complex systems using intelligent mechanisms to complete partially specified models, and (3) we present the results of applying an MDE tool that maps software components to Electronic Control Units (ECUs) using the typical automotive modeling and middleware infrastructure.

Keywords

  • modeling
  • Prolog
  • constraint solver
  • model completion
  • model checking
  • automotive

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-540-69489-2_18
  • Chapter length: 9 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   69.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-69489-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   89.99
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. East-eea embedded electronic architecture web site (2004), http://www.east-eea.net

  2. Automotive open system architecture (2006), http://www.autosar.org/find02_ns6.php

  3. Sztipanovits, J., Karsai, G.: Model-integrated computing. Computer 30(4), 110–111 (1997), doi:10.1109/2.585163

    CrossRef  Google Scholar 

  4. White, J., Schmidt, D.C.: Simplifying the development of product-line customization tools via mdd. In: Workshop: MDD for Software Product Lines, ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, Montego Bay, Jamaica, October 2005, IEEE Computer Society Press, Los Alamitos (2005)

    Google Scholar 

  5. White, J., Schmidt, D.C.: Reducing enterprise product line architecture deployment costs via model-driven deployment and configuration testing. In: 13th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, University of Potsdam, Potsdam, Germany, IEEE Computer Society Press, Los Alamitos (2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2007 Springer Berlin Heidelberg

About this paper

Cite this paper

Nechypurenko, A., Wuchner, E., White, J., Schmidt, D.C. (2007). Applying Model Intelligence Frameworks for Deployment Problem in Real-Time and Embedded Systems. In: Kühne, T. (eds) Models in Software Engineering. MODELS 2006. Lecture Notes in Computer Science, vol 4364. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69489-2_18

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-69489-2_18

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-69488-5

  • Online ISBN: 978-3-540-69489-2

  • eBook Packages: Computer ScienceComputer Science (R0)