Advertisement

Domain-Specific Modeling of Power Aware Distributed Real-Time Embedded Systems

  • Gabor Madl
  • Nikil Dutt
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4017)

Abstract

This paper provides two contributions to the research on applying domain-specific modeling languages to distributed real-time embedded (DRE) systems. First, we present the Alderis platform-independent visual language for component-based system development. Second, we demonstrate the use of the Alderis language on a helicopter autopilot DRE design. The Alderis language is based on the concept of platform-based design, and explicitly captures asynchronous event-driven component interactions as well as the underlying platform for the computation. Unlike most modeling languages, Alderis has formally defined semantics providing a way for the formal verification of dense real-time properties and energy consumption.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Sangiovanni-Vincentelli, A.: Defining Platform-based Design. EEDesign of EETimes (2002).Google Scholar
  2. 2.
    Schmidt, D.C.: Model-driven engineering. IEEE Computer 39(2) (2006)Google Scholar
  3. 3.
    Gajski, D.D., Wu, A.C.-H., Chaiyakul, V., Mori, S., Nukiyama, T., Bricaud, P.: Essential Issues for IP Reuse. In: Asia and South Pacific Design Automation Conference (ASP-DAC 2000), pp. 37–46 (2000)Google Scholar
  4. 4.
    Sztipanovits, J., Karsai, G.: Model-Integrated Computing. IEEE Computer, 110–112 (1997)Google Scholar
  5. 5.
    Madl, G., Dutt, N.: Tutorial for the Open-source Dream Tool. CECS Technical Report (2006)Google Scholar
  6. 6.
    Pettersson, P., Larsen., K.G.: Uppaal2k. Bulletin of the European Association for Theoretical Computer Science 70, 40–44 (2000)Google Scholar
  7. 7.
    Bozga, M., Graf, S., Ober, I., Ober, I., Sifakis, J.: The IF toolset. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 237–267. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  8. 8.
    Ledeczi, A., Bakay, A., Maroti, M., Volgyesi, P., Nordstrom, G., Sprinkle, J.: Composing Domain-Specific Design Environments. Computer, 44–51 (2001)Google Scholar
  9. 9.
    Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)zbMATHCrossRefMathSciNetGoogle Scholar
  10. 10.
    Madl, G., Abdelwahed, S., Schmidt, D.C.: Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking. The International Journal of Time-Critical Computing (accepted, 2006)Google Scholar
  11. 11.
    Schmidt, D.C., Stal, M., Rohnert, H., Buschmann, F.: Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects, vol. 2. Wiley & Sons, New York (2000)Google Scholar
  12. 12.
    Vestal, S.: Formal Verification of the MetaH Executive Using Linear Hybrid Automata. In: RTAS 2000: Proceedings of the Sixth IEEE Real Time Technology and Applications Symposium (RTAS 2000), p. 134. IEEE Computer Society, Washington (2000)CrossRefGoogle Scholar
  13. 13.
    Lee, E.A., Hylands, C., Janneck, J., Davis II, J., Liu, J., Liu, X., Neuendorffer, S., Stewart, S.S.M., Vissers, K., Whitaker, P.: Overview of the ptolemy project. Technical Report UCB/ERL M01/11, EECS Department, University of California, Berkeley (2001)Google Scholar
  14. 14.
    de Niz, D., Bhatia, G., Rajkumar, R.: Model-Based Development of Embedded Systems: The SysWeaver Approach. In: Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), pp. 231–242 (2006)Google Scholar
  15. 15.
    Hatcliff, J., Deng, X., Dwyer, M.B., Jung, G., Ranganath, V.P.: Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems. In: Proceedings of International Conference on Software Engineering (2003)Google Scholar
  16. 16.
    Gokhale, A., Balasubramanian, K., Balasubramanian, J., Krishna, A.S., Edwards, G.T., Deng, G., Turkay, E., Parsons, J., Schmidt, D.C.: Model Driven Middleware: A New Paradigm for Deploying and Provisioning Distributed Real-time and Embedded Applications. The Journal of Science of Computer Programming: Special Issue on Model Driven Architecture (to appear, 2005)Google Scholar
  17. 17.
    Stankovic, J., Zhu, R., Poornalingham, R., Lu, C., Yu, Z., Humphrey, M., Ellis, B.: VEST: An Aspect-based Composition Tool for Real-time Systems. In: Proceedings of the IEEE Real-time Applications Symposium (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Gabor Madl
    • 1
  • Nikil Dutt
    • 1
  1. 1.Center for Embedded Computer SystemsUniversity of CaliforniaIrvineUSA

Personalised recommendations