Model-driven architecture for embedded software: A synopsis and an example

Science of Computer Programming

Volumn 73, Issue 1, 2008, Pages 26-38

  Karsai, Gabor ^a   Neema, Sandeep ^a   Sharp, David ^b  

^a VANDERBILT UNIVERSITY   (United States)

^b BOEING COMPANY   (United States)

Author keywords

Domain specific modeling; Embedded systems; Model driven development

Indexed keywords

INTEGRATED CIRCUITS; INTERFACES (COMPUTER);

DOMAIN-SPECIFIC MODELING; EMBEDDED SOFTWARE DEVELOPMENT; MODEL-DRIVEN DEVELOPMENT; SOFTWARE DEVELOPMENT;

EMBEDDED SYSTEMS;

EID: 51549111153     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2008.05.006     Document Type: Article

References (26)

1. Gabor Karsai, Automotive Software: A Challenge and Opportunity for Model-Based Software Development, LNCS 4147, Automotive Software-Connected Services in Mobile Networks, 2006
2. Sztipanovits J., and Karsai G. Model-integrated computing. IEEE Computer April (1997) 110-112
3. Lee E. What's ahead for embedded software?. IEEE Computer September (2000) 18-26
4. Schmidt D. In: Stal M., Rohnert H., and Buschmann F. (Eds). Pattern-Oriented Software Architecture, Volume 2: Patterns for Concurrent and Networked Objects (2000), John-Wiley
5. http://www.omg.org
6. Tony Clark, Andy Evans, Stuart Kent: Engineering Modeling Languages: A Precise Meta-Modelling Approach, FASE 2002, 159-173
7. MDA Guide Version 1.0.1, http://www.omg.org/docs/omg/03-06-01.pdf
8. Edward A. Lee, Embedded Software - An Agenda for Research, ERL Technical Report UCB/ERL No. M99/63, Dept. EECS, University of California, Berkeley, CA 94720, December 15, 1999
9. Powel Douglass B. Real-Time UML, Second Edition: Developing Efficient Objects for Embedded Systems (1999), Addison-Wesley
10. Selic B. Real-time Object Oriented Modeling (1994), John-Wiley
11. Ledeczi A., Bakay A., Maroti M., Volgyesi P., Nordstrom G., Sprinkle J., and Karsai G. Composing domain-specific design environments. Computer November (2001) 44-51
12. E.A. Lee, A. Sangiovanni-Vincentelli, A denotational framework for comparing models of computation, ERL Memorandum UCB/ERL M97/11, University of California, Berkeley, CA 94720, January 30, 1997
13. Harrison T., Levine D., and Schmidt D.C. The design and performance of a real-time CORBA event service. Proceedings of OOPSLA '97 (October 6-7,1997), ACM, Atlanta, GA
14. Chris Gill, David Levine, Douglas C. Schmidt, The design and performance of a real-time CORBA scheduling service, Real-time Systems, The International Journal of Time-Critical Computing Systems, special issue on Real-Time Middleware, Kluwer Academic Publishers, guest editor Wei Zhao, Volume 20, Number 2, March 2001
15. www.rational.com
16. Automatic Integration of Reusable Embedded Software, at http://kabru.eecs.umich.edu/aires/
17. Adaptive Service Coordination, at http://www.swri.edu/4org/d10/softeng/embed/home.htm
18. Personal communication with Mr. Mark Schulte, Boeing, April, 2002
19. R. Alur, T. Dang, J. Esposito, R. Fierro, Y. Hur, F. Ivancic, V. Kumar, I. Lee, P. Mishra, G. Pappas, O. Sokolsky, Hierarchical hybrid modeling of embedded systems, in: First Workshop on Embedded Software, 2001
20. R. Grosu, M. Broy, B. Selic, G. Stefanescu, Towards a calculus for UML-RT specifications, in: Proc. of the 7th OOPSLA Workshop on Behavioral Semantics of OO Business and System Specifications, Vancouver, October, 19th, 1998
21. I. Kurtev, K.G. van den Berg, A synthesis-based approach to transformations in an MDA software development process, in: A. Rensink, Model Driven Architecture: Foundations and Applications, CTIT Technical Report TR-CTIT-03-27, University of Twente, 2003
22. J.R. Burch, R. Passerone, A.L. Sangiovanni-Vincentelli, Using Multiple levels of abstraction in embedded software design, in: Proceedings of the First International Workshop on Embedded Software, Tahoe City, California, October 8-10, 2001
23. Bruce Powel Douglass: Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems (2002), Addison Wesley Professional
24. Joseph Sifakis, Modeling real-time systems-challenges and work directions, EMSOFT01, Tahoe City, October 2001, in: Lecture Notes in Computer Science, vol. 2211
25. J. Stankovic, VEST: A toolset for constructing and analyzing component based operating systems for embedded and real-time systems, University of Virginia TR CS-2000-19, July 2000
26. http://www.tik.ee.ethz.ch/~moses/