Abstract
Cyber physical systems (CPS) design has become more challenging due to the tight integration of the cyber and physical worlds and the use of cross-domain engineering practices. Moreover, competition in the market in terms of quality, innovation, cost, and time-to-market makes CPS design even harder for the engineers. These challenges advocate for the adoption of integrated engineering methods and tools by CPS design engineers. In addition, state-of-the-art engineering tools are very domain specific, making it difficult to integrate different tools for system-level analysis. This chapter discusses a novel multi-disciplinary systems engineering methodology and related design automation techniques for a complex CPS presented in Wan et al. (IEEE Syst J 11(4):2028–2039, 2017). Instead of domain-specific architecture/simulation models, this method directly targets the early design stage at the functional level. It enables the coupling of systems engineering principles with high-level synthesis techniques from the field of design automation. This blend results in a functional modeling synthesis tool capable of generating high-fidelity simulation models for the design space exploration and validation of multiple cyber-physical architectures. Using real-world automotive use-cases, it is demonstrated how functional models capturing integrated cyber-physical requirements are synthesized into high-fidelity multi-domain simulation models.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Abelein, U., Lochner, H., Hahn, D., & Straube, S. (2012, March). Complexity, quality and robustness-the challenges of tomorrow’s automotive electronics. In Design, Automation & Test in Europe Conference & Exhibition (DATE), 2012 (pp. 870–871). Piscataway: IEEE.
Al Faruque, M., Regazzoni, F., & Pajic, M. (2015, October). Design methodologies for securing cyber-physical systems. In Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis (pp. 30–36). New York: IEEE Press.
Alvarez Cabrera, A. A., Erden, M. S., & Tomiyama, T. (2009). On the potential of function-behavior-state (FBS) methodology for the integration of modeling tools. In Proceedings of the 19th CIRP Design Conference Competitive Design. Bedford: Cranfield University Press.
ANSYS Tool Kits for Automotive Solutions. http://www.ansys.com/Industries/Automotive/
AUTOSAR Automotive Open System Architecture. https://www.autosar.org/
Bassi, L., Secchi, C., Bonfe, M., & Fantuzzi, C. (2011). A SysML-based methodology for manufacturing machinery modeling and design. IEEE/ASME Transactions on Mechatronics, 16(6), 1049–1062.
Boucher, M., & Houlihan, D. (2008). System design: New product development for mechatronics. Boston: Aberdeen Group.
Broy, M., Gleirscher, M., Kluge, P., Krenzer, W., Merenda, S., & Wild, D. (2009). Automotive architecture framework: Towards a holistic and standardised system architecture description. White paper. IBM Corporation. Technical Report, Technische Universitt Mnchen. TUM-I0915.
Broy, M., Kruger, I. H., Pretschner, A., & Salzmann, C. (2007). Engineering automotive software. Proceedings of the IEEE, 95(2), 356–373.
Bryant, C. R., Stone, R. B., McAdams, D. A., Kurtoglu, T., & Campbell, M. I. (2005). Concept generation from the functional basis of design. In ICED 05: 15th International Conference on Engineering Design: Engineering Design and the Global Economy (p. 1702). Barton: Engineers Australia.
Canedo, A., Schwarzenbach, E., & Al Faruque, M. A. (2013, April). Context-sensitive synthesis of executable functional models of cyber-physical systems. In Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (pp. 99–108). New York: ACM.
Canedo, A., Wan, J., & Al Faruque, M. A. (2014, November). Functional modeling compiler for system-level design of automotive cyber-physical systems. In 2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), (pp. 39–46). Piscataway: IEEE.
Charette, R. N. (2009). This car runs on code. IEEE Spectrum, 46(3), 3.
Christen, E., & Bakalar, K. (1999). VHDL-AMS-a hardware description language for analog and mixed-signal applications. IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing, 46(10), 1263–1272.
Cooprider, A. (2014). Automotive embedded systems tutorial-part I. In Proceedings of the 51th Design Automation Conference, DAC (Vol. 2014).
Dahmus, J. B., Gonzalez-Zugasti, J. P., & Otto, K. N. (2001). Modular product architecture. Design Studies, 22(5), 409–424.
Derler, P., Lee, E. A., & Vincentelli, A. S. (2012). Modeling cyberphysical systems. Proceedings of the IEEE, 100(1), 13–28.
Erden, M. S., Komoto, H., van Beek, T. J., D’Amelio, V., Echavarria, E., & Tomiyama, T. (2008). A review of function modeling: Approaches and applications. Ai Edam, 22(2), 147–169.
Fortney, G. (2014, August). Model based systems engineering using validated executable specifications as an enabler for cost and risk reduction. In Proceedings of the 2014 Ground Vehicle Systems Engineering and Technology Symposium (GVSETS).
Helms, B., & Shea, K. (2012). Computational synthesis of product architectures based on object-oriented graph grammars. Journal of Mechanical Design, 134(2), 021008.
Hirtz, J., Stone, R. B., McAdams, D. A., Szykman, S., & Wood, K. L. (2002). A functional basis for engineering design: Reconciling and evolving previous efforts. Research in Engineering Design, 13(2), 65–82.
Komoto, H., & Tomiyama, T. (2012). A framework for computer-aided conceptual design and its application to system architecting of mechatronics products. Computer-Aided Design, 44(10), 931–946.
Kruse, B., Mnzer, C., Wlkl, S., Canedo, A., & Shea, K. (2012, August). A model-based functional modeling and library approach for mechatronic systems in SysML. In ASME 2012 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference (pp. 1217–1227). New York: American Society of Mechanical Engineers.
Kurtoglu, T., & Campbell, M. I. (2009). Automated synthesis of electromechanical design configurations from empirical analysis of function to form mapping. Journal of Engineering Design, 20(1), 83–104.
LabVIEW System Design Software. http://www.ni.com/labview/
Lawrence Berkeley National Laboratory - Modelica Buildings Library. http://simulationresearch.lbl.gov/modelica
Lee, E. A. (2008, May). Cyber physical systems: Design challenges. In 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing (ISORC) (pp. 363–369). Piscataway: IEEE.
LMS Imagine.Lab AMESim. http://www.lmsintl.com/
McFarland, M. C., Parker, A. C., & Camposano, R. (1990). The high-level synthesis of digital systems. Proceedings of the IEEE, 78(2), 301–318.
Mellor, S. J., Balcer, M., & Foreword By-Jacoboson, I. (2002). Executable UML: A foundation for model-driven architectures. Boston: Addison-Wesley Longman Publishing Co.
Modelica Association, Modelica Standard Library. https://modelica.org/libraries/Modelica/
Modelon - Vehicle Dynamics Library. http://www.modelon.com/
OMG Systems Modeling Language (SysML). http://www.omgsysml.org/
Oregon State University, Design Engineering Lab, Design Repository. http://designengineeringlab.org/
Pahl, G., & Beitz, W. (2013). Engineering design: A systematic approach. New York: Springer Science & Business Media.
Rudov-Clark, S. D., & Stecki, J. (2009, March). The language of FMEA: On the effective use and reuse of FMEA data. In Sixth DSTO International Conference on Health & Usage Monitoring (pp. 9–12).
Sangiovanni-Vincentelli, A., Damm, W., & Passerone, R. (2012). Taming Dr. Frankenstein: Contract-based design for cyber-physical systems. European Journal of Control, 18(3), 217–238.
Stone, R. B., & Wood, K. L. (2000). Development of a functional basis for design. Journal of Mechanical Design, 122(4), 359–370.
Uckun, S. (2011). Meta II: Formal co-verification of correctness of large-scale cyber-physical systems during design. Palo Alto Research Center, Technical Report, 1–43.
Vincentelli, A. S. (2002). Defining platform-based design. EEDesign of EETimes.
Wan, J., Canedo, A., & Al Faruque, M. A. (2015, September). Security-aware functional modeling of cyber-physical systems. In 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA) (pp. 1–4). Piscataway: IEEE.
Wan, J., Canedo, A., & Al Faruque, M. A. (2017). Cyberphysical codesign at the functional level for multidomain automotive systems. IEEE Systems Journal, 11(4), 2949–2959.
Wan, J., Canedo, A., & Al Faruque, M. A. (2017). Functional model-based design methodology for automotive cyber-physical systems. IEEE Systems Journal, 11(4), 2028–2039.
Wolkl, S., & Shea, K. (2009, January). A computational product model for conceptual design using SysML. In ASME 2009 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference (pp. 635–645). New York: American Society of Mechanical Engineers.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Wan, J., Rashid, N., Canedo, A., Faruque, M.A.A. (2019). Concept Design: Modeling and Synthesis from Requirements to Functional Models and Simulation. In: Al Faruque, M., Canedo, A. (eds) Design Automation of Cyber-Physical Systems. Springer, Cham. https://doi.org/10.1007/978-3-030-13050-3_1
Download citation
DOI: https://doi.org/10.1007/978-3-030-13050-3_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-13049-7
Online ISBN: 978-3-030-13050-3
eBook Packages: EngineeringEngineering (R0)