Skip to main content
SpringerLink
Log in
Book cover

International Conference on Model Driven Engineering Languages and Systems

MODELS 2012: Model Driven Engineering Languages and Systems pp 810–826Cite as

An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 7590))

Abstract

We present an industrial model-driven engineering process for the design and development of complex distributed embedded systems. We outline the main steps in the process and the evaluation of its use in the context of a radar application. We show the methods and tools that have been developed to allow interoperability among requirements management, SysML modeling and MBD simulation and code generation.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Elettronica S.p.A.: http://www.elt-roma.com

  2. Sangiovanni-Vincentelli, A.: Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design. Proceedings of the IEEE 95(3), 467–506 (2007)

    Article  Google Scholar 

  3. The Object Management Group: http://www.omg.org

  4. Mukerji, J., Miller, J.: Overview and Guide to OMG’s Architecture, http://www.omg.org/cgi-bin/doc?omg/03-06-01

  5. Paterno, F.: Model-Based Design and Evaluation of Interactive Applications. Springer, London (1999)

    Google Scholar 

  6. The Meta Object Facility (MOF): http://www.omg.org/spec/MOF/2.4.1

  7. The UML Superstructure: http://www.omg.org/spec/UML/2.1.2/Superstructure/PDF/

  8. The UML Infrastructure: http://www.omg.org/spec/UML/2.1.2/Infrastructure/PDF/

  9. The System Modeling Language: http://www.sysml.org/docs/specs/OMGSysML-v1.1-08-11-01.pdf

  10. Modeling Analysis of Real Time Embedded Systems (MARTE) profile: http://www.omg.org/spec/MARTE/1.0/PDF/

  11. The Eclipse Modeling Framework: http://www.eclipse.org/modeling/emf/

  12. Popp, P., Di Natale, M., Giusto, P., Kanajan, S., Pinello, C.: Towards a Methodology for the Quantitative Evaluation of Automotive Architectures. In: Proceedings of the Design Automation and Test in Europe Conference, Nice, April 15-18 (2007)

    Google Scholar 

  13. Zhu, Q., Yang, Y., Di Natale, M., Scholte, E., Sangiovanni-Vincentelli, A.: Optimizing the Software Architecture for Extensibility in Hard Real-time Distributed Systems. IEEE Transactions on Industrial Informatics 6(3) (2010)

    Google Scholar 

  14. TopCased: http://www.topcased.org

  15. Acceleo: http://www.acceleo.org/pages/home/en

  16. MOF Models to Text Transformation Language: http://www.omg.org/spec/MOFM2T/1.0/

  17. Query View Transformation Language: http://www.omg.org/spec/QVT/1.0/

  18. MATLAB: http://www.mathworks.it/products/matlab/

  19. SIMULINK: http://www.mathworks.it/products/simulink/

  20. Sindico, A., Tortora, S., Chiarini Petrelli, A., Fasano, M.V.: An Electronic Warfare Meta-Model for Network Centric Systems. In: Cognitive Information Processing, CIP (2010)

    Google Scholar 

  21. Sindico, A., Di Natale, M., Panci, G.: Integrating SysML With SIMULINK Using Open Source Model Transformations. In: SIMULTECH 2011, pp. 45–56 (2011)

    Google Scholar 

  22. IBM DOORS: http://www-01.ibm.com/software/awdtools/doors/

  23. System Engineering Handbook: http://www.incose.org/ProductsPubs/products/sehandbook.aspx

  24. The MIL-STD-498 Standard: http://www.letu.edu/people/jaytevis/Software-Engineering/MIL-STD-498/498-STD.pdf

  25. The Requirement Interchange Format: http://www.omg.org/spec/ReqIF/1.0.1/

  26. The Object Constraint Language: http://www.omg.org/spec/OCL/2.0/

  27. Boost: http://www.boost.org/

  28. Vakin, S.A., Shustov, L.N., Dunwell, R.H.: Fundamentals of Electronic Warfare. Artech House Radar Library (2001)

    Google Scholar 

  29. Tortora, S., Sindico, A., Severino, A.: A Data Fusion Architecture for an Electronic Warfare Multi-Sensor Suite. In: Cognitive Information Processing, CIP 2010 (2010)

    Google Scholar 

  30. Bohem, B., Clark, B., Horowitx, E., Westland, C., Madachy, R., Selby, R.: Cost models for future software life cycle processes: COCOMO 2.0. In: Annals of Software Engineering, vol. 1(1), pp. 57–94.

    Google Scholar 

  31. The Center of Systems and Software Engineering:

    Google Scholar 

  32. Boehm, B.: Software Engineering Economics. Prentice-Hall, Englewood Cliffs (1981) ISBN 0-13-822122-7

    MATH  Google Scholar 

  33. Kienhuis, B., Deprettere, E.F., van der Wolf, P., Vissers, K.A.: A methodology to design programmable embedded systems - the y-chart approach. In: Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation - SAMOS, pp. 18–37. Springer, London (2002)

    Google Scholar 

  34. Autosar, specifications 4.0 (2010), http://www.autosar.org/

  35. Mellor, S.J., Kendall, S., Uhl, A., Weise, D.: MDA Distilled. Addison Wesley Longman Publishing Co., Inc., Redwood City, CA (2004)

    Google Scholar 

  36. Koudri, A., Cuccuru, A., Gerard, S., Terrier, F.: Designing Heterogeneous Component Based Systems: Evaluation of MARTE Standard and Enhancement Proposal. In: Whittle, J., Clark, T., Kühne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 243–257. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  37. Wozniak, E., Mraidha, C., Gerard, S., Terrier, F.: A Guidance Framework for the Generation of Implementation Models in the Automotive Domain. In: EUROMICRO-SEAA 2011, pp. 468–476 (2011)

    Google Scholar 

  38. Vanderperren, Y., Dehaene, W.: From uml/sysml to matlab/simulink: current state and future perspectives. In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Leuven, Belgium, pp. 93–93 (2006)

    Google Scholar 

  39. D. B. F.I.T.T., Eda survey results (2005)

    Google Scholar 

  40. Benveniste, A., Caspi, P., Edwards, S., Halbwachs, N., Le Guernic, P., de Simone, R.: The synchronous languages 12 years later. Proceedings of the IEEE 91(1) (January 2003)

    Google Scholar 

  41. Berry, G., Gonthier, G.: The synchronous programming language ESTEREL: Design, semantics, implementation. Science of Computer Programming 19(2) (1992)

    Google Scholar 

  42. Karsai, G., Maroti, M., Ledeczi, A., Gray, J., Sztipanovits, J.: Composition and cloning in modeling and meta-modeling. IEEE Transactions on Control System Technology (special issue on Computer Automated Multi-Paradigm Modeling) 12, 263–278 (2004)

    Google Scholar 

  43. Balarin, F., Lavagno, L., Passerone, C., Watanabe, Y.: Processes, interfaces and platforms. embedded software modeling in metropolis. In: Proceedings of the Second International Conference on Embedded Software. EMSOFT, pp. 407–416. Springer, London (2002)

    Google Scholar 

  44. Eker, J., Janneck, J.W., Lee, E.A., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming Heterogeneity—the Ptolemy Approach. Proceedings of the IEEE 91(2) (January 2003)

    Google Scholar 

  45. de Alfaro, L., Henzinger, T.: Interface automata. In: Proceedings of the 8th European Software Engineering Conference, Vienna, Austria (2001)

    Google Scholar 

  46. Benveniste, A., Caillaud, B., Carloni, L.P., Sangiovanni-Vincentelli, A.: Tag Machines. In: Proceedings of the ACM International Conference on Embedded Software (EMSOFT 2005), Jersey City, NJ, USA (September 2005)

    Google Scholar 

  47. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Elettronica SpA, Roma, Italy

    Andrea Sindico

  2. Scuola Superiore S. Anna, TECIP Institute, Pisa, Italy

    Marco Di Natale

  3. EECS Dept, University of California at Berkeley, USA

    Alberto Sangiovanni-Vincentelli

Authors
  1. Andrea Sindico
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marco Di Natale
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Alberto Sangiovanni-Vincentelli
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Colorado State University, 80523, Fort Collins, CO, USA

    Robert B. France

  2. Healthcare Services International, Managed Services, Siemens AG, Hartmannstr. 16, 91052, Erlangen, Germany

    Jürgen Kazmeier

  3. Institute of Computer Science, University of Innsbruck, Technikerstr. 21a, 6020, Innsbruck, Austria

    Ruth Breu

  4. Software Engineering Group, A5, 6, University of Mannheim, 68131, Mannheim, Germany

    Colin Atkinson

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sindico, A., Di Natale, M., Sangiovanni-Vincentelli, A. (2012). An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds) Model Driven Engineering Languages and Systems. MODELS 2012. Lecture Notes in Computer Science, vol 7590. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33666-9_51

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-33666-9_51

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-33665-2

  • Online ISBN: 978-3-642-33666-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation