Advertisement

From Embedded Systems Requirements to Physical Representation: A Model-Based Methodology in Accordance with the EIA-632 Standard

  • Carlos Gomez
  • Philippe Esteban
  • Jean-Claude Pascal
  • Fernando Jimenez
Conference paper

Abstract

The concept of system level, introduced in Electronic System Level(ESL), offers a system-model representation before thinking about the partition between software and hardware. One ESL initiative is model-based systems engineering (MBSE), whose objective is to reduce ambiguity of specification interpretation, to verify specification in early design steps and to generate code automatically. In this work, we propose a new design methodology that follows the principles of MBSE. Our methodology obeys the EIA-632 standard that defines the systems engineering best practices. It uses SysML as the system description language and HiLeS Designer as a verification tool. We illustrate our methodology in the design of an intelligent remote keyless entry system and apply it to specify and develop new products for a Colombian company that specializes in the commercialization and distribution of electric energy.

Keywords

Sequence Diagram Abstraction Level Sleep Mode Functional Block Virtual Prototype 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. (1999) EIA-632 Processes for Engineering a System. Electronic Industries AllianceGoogle Scholar
  2. (2005) 1220-IEEE Standard for Application and Management of the Systems Engineering Process. IEEEGoogle Scholar
  3. (2007) System Engineering Handbook Version 3.1. International Council on Systems EngineeringGoogle Scholar
  4. (2010) International council on systems engineering (INCOSE). http://www.incose.org/
  5. (2010) OMG Systems Modeling Language Specification Version 1.2. Object Management GroupGoogle Scholar
  6. (2010) TOPCASED project. http://www.topcased.org/
  7. Abdurohman M, Kuspriyanto S, Sasongko A (2009) Transaction level modeling for early verification on embedded system design. International Conference on Computer and Information Science (ICIS 2009), Washington, DC, USA, pp 277–282Google Scholar
  8. Albert V, Nketsa A, Pascal JC (2005) Towards a metal-model based approach for hierarchical petri net transformations to vhdl. Porto, Portugal, pp 531–536Google Scholar
  9. Andrade E, Maciel P, Callou G, Nogueira B (2009) A methodology for mapping SysML activity diagram to time Petri net for requirement validation of embedded real-time systems with energy constraints. In: Digital Society, 2009. ICDS’09. Third International Conference on, pp 266–271Google Scholar
  10. Baker L, Clemente P, Cohen B, Permenter LPB, Pete S (2000) Foundational concepts for model driven system design. INCOSE Model Driven System Design Interest GroupGoogle Scholar
  11. Berthomieu B, Vernadat F (2006) Time Petri nets analysis with TINA. Third Int. Conf. on The Quantitative Evaluation of Systems (QEST 2006), Riverside, CA, USA, pp 123–124Google Scholar
  12. Esteban P, Ouardani A, Paludetto M, Pascal JC (2005) A component based approach for system design and virtual prototyping. European Concurrent Engineering Conference, Toulouse, France, p 8590Google Scholar
  13. Estefan J (2009) MBSE methodology survey. Insight 12(4):16–18Google Scholar
  14. Gajski D, Abdi S, Gerstlauer A, Schirner G (2009) Embedded System Design. SpringerGoogle Scholar
  15. Gomez C, Pascal JC, Esteban P, Deleris Y, J-RDevatine (2010a) Embedded systems requirements verification using HiLeS designer. In: Real Time Software and Systems 2010 (ERTS2 2010), Toulouse, FranceGoogle Scholar
  16. Gomez C, Pascal JC, Jimenez F, Esteban P (2010b) Heterogeneous systems verification on HiLeS designer tool. In: IECON 2010 - 36th Annual Conference on IEEE Industrial Electronics Society, Phoenix, USAGoogle Scholar
  17. Gomez C, Pascal JC, Jimenez F, Esteban P (2010c) HiLeS Designer: A modeling tool for embedded systems design validation. In: Production Research, 5th Americas International Conference on, Bogota, ColombiaGoogle Scholar
  18. Hamon J (2005) Mthodes et outils de la conception amont pour les systmes et les microsystmes. PhD dissertation, Institut National Polytechnique, Ecole doctorale de Gnie Electrique, Electronique, Tlcommunications, Toulouse, FranceGoogle Scholar
  19. Hamon J, Esteve D, Pampagnin P (2004) High level system design using HiLeS Designer. International Forum on Design Languages (FDL’04), Lille, FranceGoogle Scholar
  20. Johnson T, Paredis C, Burkhart R (2008) Integrating models and simulations of continuous dynamics into SysML. In: Modelica’2008 International ConferenceGoogle Scholar
  21. Kawahara R, Nakamura H, Dotan D, Kirshin A, Sakairi T, Hirose S, Ono K, Ishikawa H (2009) Verification of embedded system’s specification using collaborative simulation of sysml and simulink models. In: Model-Based Systems Engineering, 2009. MBSE’09. International Conference on, pp 21–28Google Scholar
  22. Keutzer K, Newton A, Rabaey J, Sangiovanni-Vincentelli A (2000) System-level design: orthogonalization of concerns and platform-based design. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on 19(12):1523–1543Google Scholar
  23. Martin J (2000) Processes for engineering a system: An overview of the ANSI/EIA-632 standard and its heritage. Systems Engineering 3(1):1–26zbMATHCrossRefGoogle Scholar
  24. Meservy T, Fenstermacher K (2005) Transforming software development: an MDA road map. Computer 38(9):52–58CrossRefGoogle Scholar
  25. Morris T, Srivastava A, Reaves B, Pavurapu K, Abdelwahed S, Vaughn R, McGrew W, Dandass Y (2009) Engineering future cyber-physical energy systems: Challenges, research needs, and roadmap. pp 1–6Google Scholar
  26. Nketsa A, Pascal JC, Anreu D, Esteban P (2004) Simulation and detection of some properties of hybrid system based differential predicate-transition Petri nets by means of vhdl-ams. Paris, France, pp 294–298Google Scholar
  27. Ouardani A, Esteban P, Paludetto M, Pascal JC (2006) A meta-modeling approach for sequence diagrams to Petri nets transformation within the requirements validation process. Toulouse, France, pp 345–349Google Scholar
  28. Peak R, Burkhart R, Friedenthal S, Wilson M, Bajaj M, Kim I (2007a) Simulation-based design using SysMLpart 1: A parametrics primer. INCOSE Intl. Symposium, San Diego, CA, USAGoogle Scholar
  29. Peak R, Burkhart R, Friedenthal S, Wilson M, Bajaj M, Kim I (2007b) Simulation-based design using SysMLpart 2: Celebrating diversity by example. INCOSE Intl. Symposium, San Diego, CA, USAGoogle Scholar
  30. Sangiovanni-Vincentelli A (2007) Quo vadis, sld? reasoning about the trends and challenges of system level design. Proceedings of the IEEE 95(3):467–506Google Scholar
  31. Sangiovanni-Vincentelli A (2008) Is a unified methodology for system-level design possible? Design Test of Computers, IEEE 25(4):346–357Google Scholar
  32. Shukla S, Pixley C, Smith G (2006) Guest editors introduction: The true state of the art of ESL design. IEEE Design and Test of Computers pp 335–337Google Scholar
  33. Wagenhals L, Haider S, Levis A (2003) Synthesizing executable models of object oriented architectures. Systems Engineering 6(4):266–300CrossRefGoogle Scholar
  34. Weilkiens T (2008) Systems Engineering with SysML/UML Modeling, Analysis, Design. Morgan Kaufmann PublishersGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Carlos Gomez
    • 1
  • Philippe Esteban
    • 2
  • Jean-Claude Pascal
    • 2
  • Fernando Jimenez
    • 3
  1. 1.LAAS-CNRSToulouseFrance
  2. 2.UPS, INSA, INP, ISAELAAS-CNRSUniversité de ToulouseToulouseFrance
  3. 3.Universidad de Los AndesBogotáColombia

Personalised recommendations