Skip to main content

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

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.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-642-26004-9_11
  • Chapter length: 22 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   149.00
Price excludes VAT (USA)
  • ISBN: 978-3-642-26004-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   199.99
Price excludes VAT (USA)
Hardcover Book
USD   219.99
Price excludes VAT (USA)
Fig. 11.1
Fig. 11.2
Fig. 11.3
Fig. 11.4
Fig. 11.5
Fig. 11.6
Fig. 11.7
Fig. 11.8
Fig. 11.9
Fig. 11.10

References

  • (1999) EIA-632 Processes for Engineering a System. Electronic Industries Alliance

    Google Scholar 

  • (2005) 1220-IEEE Standard for Application and Management of the Systems Engineering Process. IEEE

    Google Scholar 

  • (2007) System Engineering Handbook Version 3.1. International Council on Systems Engineering

    Google Scholar 

  • (2010) International council on systems engineering (INCOSE). http://www.incose.org/

  • (2010) OMG Systems Modeling Language Specification Version 1.2. Object Management Group

    Google Scholar 

  • (2010) TOPCASED project. http://www.topcased.org/

  • 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–282

    Google Scholar 

  • Albert V, Nketsa A, Pascal JC (2005) Towards a metal-model based approach for hierarchical petri net transformations to vhdl. Porto, Portugal, pp 531–536

    Google Scholar 

  • 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–271

    Google Scholar 

  • Baker L, Clemente P, Cohen B, Permenter LPB, Pete S (2000) Foundational concepts for model driven system design. INCOSE Model Driven System Design Interest Group

    Google Scholar 

  • 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–124

    Google Scholar 

  • 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 8590

    Google Scholar 

  • Estefan J (2009) MBSE methodology survey. Insight 12(4):16–18

    Google Scholar 

  • Gajski D, Abdi S, Gerstlauer A, Schirner G (2009) Embedded System Design. Springer

    Google Scholar 

  • 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, France

    Google Scholar 

  • 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, USA

    Google Scholar 

  • 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, Colombia

    Google Scholar 

  • 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, France

    Google Scholar 

  • Hamon J, Esteve D, Pampagnin P (2004) High level system design using HiLeS Designer. International Forum on Design Languages (FDL’04), Lille, France

    Google Scholar 

  • Johnson T, Paredis C, Burkhart R (2008) Integrating models and simulations of continuous dynamics into SysML. In: Modelica’2008 International Conference

    Google Scholar 

  • 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–28

    Google Scholar 

  • 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–1543

    Google Scholar 

  • Martin J (2000) Processes for engineering a system: An overview of the ANSI/EIA-632 standard and its heritage. Systems Engineering 3(1):1–26

    MATH  CrossRef  Google Scholar 

  • Meservy T, Fenstermacher K (2005) Transforming software development: an MDA road map. Computer 38(9):52–58

    CrossRef  Google Scholar 

  • 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–6

    Google Scholar 

  • 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–298

    Google Scholar 

  • 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–349

    Google Scholar 

  • 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, USA

    Google Scholar 

  • 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, USA

    Google Scholar 

  • Sangiovanni-Vincentelli A (2007) Quo vadis, sld? reasoning about the trends and challenges of system level design. Proceedings of the IEEE 95(3):467–506

    Google Scholar 

  • Sangiovanni-Vincentelli A (2008) Is a unified methodology for system-level design possible? Design Test of Computers, IEEE 25(4):346–357

    Google Scholar 

  • 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–337

    Google Scholar 

  • Wagenhals L, Haider S, Levis A (2003) Synthesizing executable models of object oriented architectures. Systems Engineering 6(4):266–300

    CrossRef  Google Scholar 

  • Weilkiens T (2008) Systems Engineering with SysML/UML Modeling, Analysis, Design. Morgan Kaufmann Publishers

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Carlos Gomez .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gomez, C., Esteban, P., Pascal, JC., Jimenez, F. (2012). From Embedded Systems Requirements to Physical Representation: A Model-Based Methodology in Accordance with the EIA-632 Standard. In: Mejía, G., Velasco, N. (eds) Production Systems and Supply Chain Management in Emerging Countries: Best Practices. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-26004-9_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-26004-9_11

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: EngineeringEngineering (R0)