research-article

Components, platforms and possibilities: towards generic automation for MDA

Authors:

Ethan K. Jackson,

Markus Dahlweid,

Thomas SantenAuthors Info & Claims

EMSOFT '10: Proceedings of the tenth ACM international conference on Embedded software

Pages 39 - 48

https://doi.org/10.1145/1879021.1879027

Published: 24 October 2010 Publication History

Abstract

Model-driven architecture (MDA) is a model-based approach for engineering complex software systems. MDA is particularly attractive for designing embedded systems because models can be easily evolved as hardware and software requirements evolve. However, efforts to apply MDA in industrial settings expose several open problems surrounding tooling: Engineers need automated techniques that are scalable, general, and extensible. In this paper we describe the formula framework as a novel approach towards general automation for MDA. We develop a running example and benchmarks to compare our tools with other state-of-theart approaches.

References

[1]

K. Anastasakis, B. Bordbar, G. Georg, and I. Ray. UML2Alloy: A Challenging Model Transformation. In MoDELS, pages 436--450, 2007.

Digital Library

[2]

D. S. Batory. Feature Models, Grammars, and Propositional Formulas. In SPLC, pages 7--20, 2005.

Digital Library

[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. Jurjens, 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.

Digital Library

[5]

B. Bordbar and K. Anastasakis. MDA and Analysis of Web Applications. In TEAA, pages 44--55, 2005.

Digital Library

[6]

M. Broy. Challenges in automotive software engineering. In Proceedings of the International Conference on Software Engineering (ICSE 2006), pages 33--42, 2006.

Digital Library

[7]

R. E. Bryant. Graph-Based Algorithms for Boolean Function Manipulation. IEEE Trans. Computers, 35(8):677--691, 1986.

Digital Library

[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.

Digital Library

[9]

L. M. de Moura and N. Bjorner. Z3: An Efficient SMT Solver. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS'08), pages 337--340, 2008.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[15]

M. Herrmannsdoerfer, S. Benz, and E. Jürgens. COPE - Automating Coupled Evolution of Metamodels and Models. In ECOOP 2009, pages 52--76, 2009.

Digital Library

[16]

D. Jackson. Software Abstractions: Logic, language, and Analysis. MIT Press, 2006.

Digital Library

[17]

E. K. Jackson, D. Seifert, M. Dahlweid, T. Santen, N. Bjorner, 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.

Digital Library

[18]

E. K. Jackson and J. Sztipanovits. Towards a formal foundation for domain specific modeling languages. In Proceedings of the International Conference on Embedded Software (EMSOFT 2006), pages 53--62, 2006.

Digital Library

[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.

Digital Library

[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. Syrjanen and I. Niemela. The Smodels System. In LPNMR 2001, pages 434--438, 2001.

Digital Library

[24]

A. Tiberghien, P. Merle, and L. Seinturier. Specifying Self-configurable Component-Based Systems with FracToy. In ABZ, pages 91--104, 2010.

Digital Library

[25]

E. Torlak and D. Jackson. Kodkod: A Relational Model Finder. In TACAS, pages 632--647, 2007.

Digital Library

Cited By

Haubelt CRausch A(2022)Improving Symbolic System-Level Synthesis by Solver Coordination and Domain-Specific HeuristicsElectronics10.3390/electronics1112188811:12(1888)Online publication date: 16-Jun-2022
https://doi.org/10.3390/electronics11121888
Daneth HAli NHong J(2019)Automatic Identifying Interaction Components in Collaborative Cyber-Physical Systems2019 26th Asia-Pacific Software Engineering Conference (APSEC)10.1109/APSEC48747.2019.00035(197-203)Online publication date: Dec-2019
https://doi.org/10.1109/APSEC48747.2019.00035
Pérez B(2019)Reasoning about Clinical Guidelines based on Algebraic Data Types and Constraint Logic ProgrammingJournal of Biomedical Informatics10.1016/j.jbi.2019.103134(103134)Online publication date: Mar-2019
https://doi.org/10.1016/j.jbi.2019.103134
Show More Cited By

Index Terms

Components, platforms and possibilities: towards generic automation for MDA
1. Software and its engineering
  1. Software organization and properties
    1. Software system structures
      1. Software architectures

Recommendations

Relationships between UML Sequence Diagrams and the Topological Functioning Model for Backward Transformation

Abstract The software system needs to be analyzed and designed before the program code is written. A Computation Independent Model CIM and a Platform Independent Model/ Platform Specific Model PIM/PSM from Model-Driven Architecture MDA will be partially ...
Integrating software architecture into a MDA framework
EWSA'06: Proceedings of the Third European conference on Software Architecture

Model Driven Development (MDD) is one of the main trends in Software Engineering nowadays. Its main feature is to consider models as first-class concepts. Model Driven Architecture (MDA), the MDD proposal by the OMG, defines an infrastructure which ...
MDA Redux: Practical Realization of Model Driven Architecture
ICCBSS '08: Proceedings of the Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008)

Models and model-based transformations are a key part of effective automated software development approaches. Unfortunately, early enthusiasm for Model Driven Architecture (MDA) has dissipated to the point that many people are openly skeptical of the ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

EMSOFT '10: Proceedings of the tenth ACM international conference on Embedded software

October 2010

318 pages

ISBN:9781605589046

DOI:10.1145/1879021

Program Chairs:
Luca Carloni
Columbia University, USA
,
Stavros Tripakis
University of California, Berkeley, USA

Copyright © 2010 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

In-Cooperation

CEDA
IEEE CAS
IEEE CS

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 24 October 2010

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ESWeek '10

Sponsor:

ESWeek '10: Sixth Embedded Systems Week

October 24 - 29, 2010

Arizona, Scottsdale, USA

Acceptance Rates

Overall Acceptance Rate 60 of 203 submissions, 30%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

46
Total Citations
View Citations
359
Total Downloads

Downloads (Last 12 months)7
Downloads (Last 6 weeks)0

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Haubelt CRausch A(2022)Improving Symbolic System-Level Synthesis by Solver Coordination and Domain-Specific HeuristicsElectronics10.3390/electronics1112188811:12(1888)Online publication date: 16-Jun-2022
https://doi.org/10.3390/electronics11121888
Daneth HAli NHong J(2019)Automatic Identifying Interaction Components in Collaborative Cyber-Physical Systems2019 26th Asia-Pacific Software Engineering Conference (APSEC)10.1109/APSEC48747.2019.00035(197-203)Online publication date: Dec-2019
https://doi.org/10.1109/APSEC48747.2019.00035
Pérez B(2019)Reasoning about Clinical Guidelines based on Algebraic Data Types and Constraint Logic ProgrammingJournal of Biomedical Informatics10.1016/j.jbi.2019.103134(103134)Online publication date: Mar-2019
https://doi.org/10.1016/j.jbi.2019.103134
Zayan DSarkar AAntkiewicz MMaciel RCzarnecki K(2019)Example-driven modelingSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0652-318:3(2213-2239)Online publication date: 1-Jun-2019
https://dl.acm.org/doi/10.1007/s10270-017-0652-3
Zarrin BBaumeister HSarjoughian H(2019)An Integrated Framework to Develop Domain-Specific Languages: Extended Case StudyModel-Driven Engineering and Software Development10.1007/978-3-030-11030-7_8(159-184)Online publication date: 1-Feb-2019
https://doi.org/10.1007/978-3-030-11030-7_8
Meyers BDenil JVanherpen KVangheluwe HD'Ambrogio ADurak USeck M(2018)Enabling design-space exploration for domain-specific modellingProceedings of the Model-driven Approaches for Simulation Engineering Symposium10.5555/3213214.3213219(1-13)Online publication date: 15-Apr-2018
https://dl.acm.org/doi/10.5555/3213214.3213219
Bagheri HTang CSullivan K(2017)Automated Synthesis and Dynamic Analysis of Tradeoff Spaces for Object-Relational MappingIEEE Transactions on Software Engineering10.1109/TSE.2016.258764643:2(145-163)Online publication date: 1-Feb-2017
https://dl.acm.org/doi/10.1109/TSE.2016.2587646
El-Hassany ATsankov PVanbever LVechev M(2017)Network-Wide Configuration SynthesisComputer Aided Verification10.1007/978-3-319-63390-9_14(261-281)Online publication date: 13-Jul-2017
https://doi.org/10.1007/978-3-319-63390-9_14
Pinto ASangiovanni Vincentelli A(2017)CSL4PSystems Engineering10.1002/sys.2138620:3(220-234)Online publication date: 1-May-2017
https://dl.acm.org/doi/10.1002/sys.21386
Biewer AAndres BGladigau JSchaub THaubelt CNebel WAtienza D(2015)A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solvingProceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition10.5555/2755753.2755834(357-362)Online publication date: 9-Mar-2015
https://dl.acm.org/doi/10.5555/2755753.2755834
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten