Components, platforms and possibilities: Towards generic automation for MDA

Embedded Systems Week 2010 - Proceedings of the 10th ACM International Conference on Compilers, Architecture and Synthesis for Embedded Systems, EMSOFT'10

Volumn , Issue , 2010, Pages 39-48

  Jackson, Ethan K ^a   Kang, Eunsuk ^b   Dahlweid, Markus ^a   Seifert, Dirk ^a   Santen, Thomas ^a  

^a MICROSOFT RESEARCH   (United States)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Algorithms; Design

Indexed keywords

AUTOMATED TECHNIQUES; COMPLEX SOFTWARE SYSTEMS; HARDWARE AND SOFTWARE; INDUSTRIAL SETTINGS; MODEL BASED APPROACH; MODEL-DRIVEN ARCHITECTURE; OPEN PROBLEMS; STATE-OF-THE-ART APPROACH;

ALGORITHMS; AUTOMATION; EMBEDDED SOFTWARE; PROGRAM COMPILERS; SOFTWARE ARCHITECTURE;

EMBEDDED SYSTEMS;

EID: 78650636542     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1879021.1879027     Document Type: Conference Paper

References (25)

1. K. Anastasakis, B. Bordbar, G. Georg, and I. Ray. UML2Alloy: A Challenging Model Transformation. In MoDELS, pages 436-450, 2007.
2. D. S. Batory. Feature Models, Grammars, and Propositional Formulas. In SPLC, pages 7-20, 2005.
3. A. Benveniste, L. P. Carloni, P. Caspi, and A. L. Sangiovanni- Vincentelli. Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. In Proceedings of the International Conference on Embedded Software (EMSOFT 2003), pages 35-50, 2003.
4. B. Best, J. Jürjens, and B. Nuseibeh. Model-Based Security Engineering of Distributed Information Systems Using UMLsec. In Proceedings of the International Conference on Software Engineering (ICSE 2007), pages 581-590, 2007.
5. B. Bordbar and K. Anastasakis. MDA and Analysis of Web Applications. In TEAA, pages 44-55, 2005.
6. M. Broy. Challenges in automotive software engineering. In Proceedings of the International Conference on Software Engineering (ICSE 2006), pages 33-42, 2006.
7. R. E. Bryant. Graph-Based Algorithms for Boolean Function Manipulation. IEEE Trans. Computers, 35(8):677-691, 1986.
8. E. Dantsin, T. Eiter, G. Gottlob, and A. Voronkov. Complexity and expressive power of logic programming. ACM Comput. Surv., 33(3):374-425, 2001.
9. L. M. de Moura and N. Bjørner. Z3: An Efficient SMT Solver. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS'08), pages 337-340, 2008.
10. M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Programming. In ICLP/SLP, pages 1070-1080, 1988.
11. M. Gries. Methods for evaluating and covering the design space during early design development. Integration, 38(2):131-183, 2004.
12. C. Hammerschmidt. Vector, TTTech win Audi Autosar software contract. EE Times Europe, (222900943), July 2010.
13. H. Heinecke, W. Damm, B. Josko, A. Metzner, H. Kopetz, A. L. Sangiovanni-Vincentelli, and M. D. Natale. Software Components for Reliable Automotive Systems. In DATE 2008, pages 549-554, 2008.
14. T. A. Henzinger, B. Horowitz, and C. M. Kirsch. Giotto: a time-triggered language for embedded programming. Proceedings of the IEEE, 91(1):84-99, 2003.
15. M. Herrmannsdoerfer, S. Benz, and E. Jürgens. COPE - Automating Coupled Evolution of Metamodels and Models. In ECOOP 2009, pages 52-76, 2009.
16. D. Jackson. Software Abstractions: Logic, language, and Analysis. MIT Press, 2006.
17. E. K. Jackson, D. Seifert, M. Dahlweid, T. Santen, N. Bjørner, and W. Schulte. Specifying and Composing Non-functional Requirements in Model-Based Development. In Proceedings of the International Conference on Software Composition (SC 2009), pages 72-89, 2009.
18. E. K. Jackson and J. Sztipanovits. Towards a formal foundation for domain speci-c modeling languages. In Proceedings of the International Conference on Embedded Software (EMSOFT 2006), pages 53-62, 2006.
19. O. Kindel and M. Friedrich. Software Engineering with AUTOSAR. dpunkt, Heidelberg, 2009.
20. P. Manolios, D. Vroon, and G. Subramanian. Automating component-based system assembly. In ISSTA, pages 61-72, 2007.
21. E. Neema, J. Sztipanovits, and G. Karsai. Constraint-based design-space exploration and model synthesis. In EMSOFT, pages 290-305, 2003.
22. Object Management Group. MDA Guide Version 1.0.1, 2003.
23. T. Syrjänen and I. Niemelä. The Smodels System. In LPNMR 2001, pages 434-438, 2001.
24. A. Tiberghien, P. Merle, and L. Seinturier. Specifying Self-configurable Component-Based Systems with FracToy. In ABZ, pages 91-104, 2010.
25. E. Torlak and D. Jackson. Kodkod: A Relational Model Finder. In TACAS, pages 632-647, 2007.