Domain-specific modeling of power aware distributed real-time embedded systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4017 LNCS, Issue , 2006, Pages 59-68

  Madl, Gabor ^a   Dutt, Nikil ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; ENERGY UTILIZATION; PRODUCT DESIGN; REAL TIME SYSTEMS;

ALDERIS PLATFORM; AUTOPILOT DRE DESIGN; DOMAIN-SPECIFIC MODELING LANGUAGES; EVENT-DRIVEN COMPONENT;

EMBEDDED SYSTEMS;

EID: 33746772060     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11796435_8     Document Type: Conference Paper

References (17)

1. Alberto Sangiovanni-Vincentelli: Defining Platform-based Design. EEDesign of EETimes (2002)
2. Schmidt, D.C.: Model-driven engineering. IEEE Computer 39(2) (2006)
3. Daniel D. Gajski and Allen C.-H. Wu and Viraphol Chaiyakul and Shojiro Mori and Tom Nukiyama and Pierre Bricaud: Essential Issues for IP Reuse. In: Asia and South Pacific Design Automation Conference (ASP-DAC 2000). (2000) 37 - 46
4. Sztipanovits, J., Karsai, G.: Model-Integrated Computing. IEEE Computer (1997) 110-112
5. Madl, G., Dutt, N.: Tutorial for the Open-source DREAM Tool. In: CECS Technical Report. (2006)
6. Pettersson, P., Larsen., K.G.: UPPAAL2k. Bulletin of the European Association for Theoretical Computer Science 70 (2000) 40-44
7. Bozga, M., Graf, S., Ober, I., Ober, I., Sifakis, J.: The IF Toolset. Formal Methods for the Design of Real-Time Systems, LNCS 3185 (2004) 237-267
8. Ledeczi, A., Bakay, A., Maroti, M., Volgyesi, P., Nordstrom, G., Sprinkle, J.: Composing Domain-Specific Design Environments. Computer (2001) 44-51
9. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2) (1994) 183-235
10. Madl, G., Abdelwahed, S., Schmidt, D.C.: Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking (accepted). The International Journal of Time-Critical Computing (2006)
11. Schmidt, D.C., Stal, M., Rohnert, H., Buschmann, F.: Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects, Volume 2. Wiley & Sons, New York (2000)
12. Vestal, S.: Formal Verification of the MetaH Executive Using Linear Hybrid Automata. In: RTAS '00: Proceedings of the Sixth IEEE Real Time Technology and Applications Symposium (RTAS 2000), Washington, DC, USA, IEEE Computer Society (2000) 134
13. Lee, E.A., Hylands, C., Janneck, J., II, J.D., 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)
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'06). (2006) 231-242
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)
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 (2005 (to appear))
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)