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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
(1999) EIA-632 Processes for Engineering a System. Electronic Industries Alliance
(2005) 1220-IEEE Standard for Application and Management of the Systems Engineering Process. IEEE
(2007) System Engineering Handbook Version 3.1. International Council on Systems Engineering
(2010) International council on systems engineering (INCOSE). http://www.incose.org/
(2010) OMG Systems Modeling Language Specification Version 1.2. Object Management Group
(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
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
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
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
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
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
Estefan J (2009) MBSE methodology survey. Insight 12(4):16–18
Gajski D, Abdi S, Gerstlauer A, Schirner G (2009) Embedded System Design. Springer
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
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
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
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
Hamon J, Esteve D, Pampagnin P (2004) High level system design using HiLeS Designer. International Forum on Design Languages (FDL’04), Lille, France
Johnson T, Paredis C, Burkhart R (2008) Integrating models and simulations of continuous dynamics into SysML. In: Modelica’2008 International Conference
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
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
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
Meservy T, Fenstermacher K (2005) Transforming software development: an MDA road map. Computer 38(9):52–58
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
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
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
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
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
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
Sangiovanni-Vincentelli A (2008) Is a unified methodology for system-level design possible? Design Test of Computers, IEEE 25(4):346–357
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
Wagenhals L, Haider S, Levis A (2003) Synthesizing executable models of object oriented architectures. Systems Engineering 6(4):266–300
Weilkiens T (2008) Systems Engineering with SysML/UML Modeling, Analysis, Design. Morgan Kaufmann Publishers
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights 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)