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

  • Andrea Sindico
  • Marco Di Natale
  • Alberto Sangiovanni-Vincentelli
Part of the Lecture Notes in Computer Science book series (LNCS, 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.

Keywords

System Engineering Model-Driven Architecture Model- Based Design Platform-Based Design 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Elettronica S.p.A.: http://www.elt-roma.com
  2. 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)CrossRefGoogle Scholar
  3. 3.
    The Object Management Group: http://www.omg.org
  4. 4.
    Mukerji, J., Miller, J.: Overview and Guide to OMG’s Architecture, http://www.omg.org/cgi-bin/doc?omg/03-06-01
  5. 5.
    Paterno, F.: Model-Based Design and Evaluation of Interactive Applications. Springer, London (1999)Google Scholar
  6. 6.
    The Meta Object Facility (MOF): http://www.omg.org/spec/MOF/2.4.1
  7. 7.
  8. 8.
  9. 9.
  10. 10.
    Modeling Analysis of Real Time Embedded Systems (MARTE) profile: http://www.omg.org/spec/MARTE/1.0/PDF/
  11. 11.
    The Eclipse Modeling Framework: http://www.eclipse.org/modeling/emf/
  12. 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. 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. 14.
  15. 15.
  16. 16.
    MOF Models to Text Transformation Language: http://www.omg.org/spec/MOFM2T/1.0/
  17. 17.
    Query View Transformation Language: http://www.omg.org/spec/QVT/1.0/
  18. 18.
  19. 19.
  20. 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. 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. 22.
  23. 23.
  24. 24.
  25. 25.
    The Requirement Interchange Format: http://www.omg.org/spec/ReqIF/1.0.1/
  26. 26.
    The Object Constraint Language: http://www.omg.org/spec/OCL/2.0/
  27. 27.
  28. 28.
    Vakin, S.A., Shustov, L.N., Dunwell, R.H.: Fundamentals of Electronic Warfare. Artech House Radar Library (2001)Google Scholar
  29. 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. 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. 31.
    The Center of Systems and Software Engineering:Google Scholar
  32. 32.
    Boehm, B.: Software Engineering Economics. Prentice-Hall, Englewood Cliffs (1981) ISBN 0-13-822122-7 MATHGoogle Scholar
  33. 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. 34.
    Autosar, specifications 4.0 (2010), http://www.autosar.org/
  35. 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. 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)CrossRefGoogle Scholar
  37. 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. 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. 39.
    D. B. F.I.T.T., Eda survey results (2005)Google Scholar
  40. 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. 41.
    Berry, G., Gonthier, G.: The synchronous programming language ESTEREL: Design, semantics, implementation. Science of Computer Programming 19(2) (1992)Google Scholar
  42. 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. 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. 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. 45.
    de Alfaro, L., Henzinger, T.: Interface automata. In: Proceedings of the 8th European Software Engineering Conference, Vienna, Austria (2001)Google Scholar
  46. 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. 47.
    Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Andrea Sindico
    • 1
  • Marco Di Natale
    • 2
  • Alberto Sangiovanni-Vincentelli
    • 3
  1. 1.Elettronica SpARomaItaly
  2. 2.Scuola Superiore S. AnnaTECIP InstitutePisaItaly
  3. 3.EECS DeptUniversity of California at BerkeleyUSA

Personalised recommendations