More Web Proxy on the site http://driver.im/

research-article

Context-sensitive synthesis of executable functional models of cyber-physical systems

Authors:

Arquimedes Canedo,

Eric Schwarzenbach,

Mohammad Abdullah Al FaruqueAuthors Info & Claims

ICCPS '13: Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems

Pages 99 - 108

https://doi.org/10.1145/2502524.2502539

Published: 08 April 2013 Publication History

Abstract

The high complexity of cross-domain engineering in combination with the pressure for product innovation, higher quality, time-to-market, and budget constraints make it imperative for companies to use integrated engineering methods and tools. Computer engineering tools are mainly focused on a particular domain and therefore it is difficult to combine different tools for systemlevel analysis. This paper presents a novel approach and tool for integrated cyber-physical systems (CPS) design based on the FBS (Function-Behavior-State) methodology where multi-domain simulation models capturing both the behavioral-structural aspects of a system are automatically generated from its functional description. Our approach focuses on simulation-enabled FBS models using automatic and context-sensitive mappings of standard Functional Basis elementary functions to simulation components described in physical modeling languages (i.e. Modelica). Using a real electro-mechanical CPS application we demonstrate how our context-sensitive synthesis approach generates industry-quality executable functional models of higher quality than state-of-the-art approaches using manual mapping.

References

[1]

Aberdeen Group. System design: New product development for mechatronics. January 2008.

[2]

A. A. Alvarez Cabrera, M. S. Erden, and T. Tomiyama. On the potential of function-behavior-state (FBS) methodology for the integration of modeling tools. In Proc. of the 19th CIRP Design Conference âĂŞ Competitive Design, pages 412--419, 2009.

[3]

L. Bassi, C. Secchi, M. Bonfe, and C. Fantuzzi. A SysML-based methodology for manufacturing machinery modeling and design. Mechatronics, IEEE/ASME Transactions on, 16(6):1049--1062, Dec 2011.

[4]

A. Bhave, D. Garlan, B. Krogh, and B. Schmerl. Multi-domain modeling of cyber-physical systems using architectural views. In Proc. of the Embedded Real Time Software and Systems Conference (ERTS 2010), 2010.

[5]

C. R. Bryant, R. B. Stone, D. A. Mcadams, T. Kurtoglu, and M. I. Campbell. Concept generation from the functional basis of design. In Proc. of International Conference on Engineering Design, ICED 2005, pages 15--18, 2005.

[6]

J. E. Byrd and M. J. Perona. Kinetics of popping of popcorn. Cereal Chem., 82(1):53--59, 2005.

[7]

A. A. Cabrera, K. Woestenenk, and T. Tomiyama. An architecture model to support cooperative design for mechatronic products: A control design case. Mechatronics, 21(3):534--547, 2011.

[8]

F. E. Cellier. Continuous System Modeling. Springer-Verlag, 1991.

Digital Library

[9]

D. Dumbacher and S. R. Davis. Building operations efficiencies into nasa's ares i crew launch vehicle design. In 54th Joint JANNAF Propulsion Conference, 2007.

[10]

M. Erden, H. Komoto, T. V. Beek, V. D'Amelio, E. Echavarria, and T. Tomiyama. A review of funcion modeling: approaches and applications. Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 22:147--169, 2008.

Digital Library

[11]

D. Goswami, R. Schneider, and S. Chakraborty. Co-design of cyber-physical systems via controllers with flexible delay constraints. In Proc. of the 16th Asia and South Pacific Design Automation Conference, ASPDAC 2011, pages 225--230, 2011.

Digital Library

[12]

J. Hirtz, R. B. Stone, S. Szykman, D. A. McAdams, and K. L. Wood. A functional basis for engineering design: Reconciling and evolving previous efforts. Technical report, NIST, 2002.

[13]

H. Komoto and T. Tomiyama. A framework for computer-aided conceptual design and its application to system architecting of mechatronics products. Comput. Aided Des., 44(10):931--946, Oct. 2012.

Digital Library

[14]

B. Kruse, C. Muenzer, S. Wolkl, A. Canedo, and K. Shea. A model-based functional modeling and library approach for mechatronic systems in SysML. In ASME 2012 Intl. Design Engineering Technical Conferences (IDETC), 2012.

[15]

T. Kurtoglu and M. I. Campbell. Automated synthesis of electromechanical design configurations from empirical analysis of function to form mapping. Journal of Engineering Design, 19, 2008.

[16]

Lawrence Berkeley National Laboratory - Modelica Buildings Library. http://simulationresearch.lbl.gov/modelica.

[17]

E. Lee. Cyber physical systems: Design challenges. In Object Oriented Real-Time Distributed Computing, ISORC 2008, 11th IEEE International Symposium on, pages 363--369, May 2008.

Digital Library

[18]

I. Lee, O. Sokolsky, S. Chen, J. Hatcliff, E. Jee, B. Kim, A. L. King, M. Mullen-Fortino, S. Park, A. Roederer, and K. K. Venkatasubramanian. Challenges and research directions in medical cyber-physical systems. Proceedings of the IEEE, 100(1):75--90, 2012.

[19]

Mathworks. Simscape. http://www.mathworks.com/products/simscape/.

[20]

S. J. Mellor and M. Balcer. Executable UML: A Foundation for Model-Driven Architectures. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2002.

Digital Library

[21]

Oregon State University, Design Engineering Lab, Design Repository. http://designengineeringlab.org/.

[22]

Modelica Association, Modelica. https://modelica.org/.

[23]

Modelica Association, Modelica Standard Library. https://modelica.org/libraries/Modelica/.

[24]

Modelon - Vehicle Dynamics Library. http://www.modelon.com/.

[25]

OMG Systems Modeling Language (SysML). http://http://www.omgsysml.org/.

[26]

M. Otter, K.-E. Årzén, and I. Dressler. Stategraph---A Modelica library for hierarchical state machines. In Modelica 2005 Proceedings, 2005.

[27]

G. Pahl, W. Beitz, J. Feldhusen, and K. Grote. Engineering Design - A Systematic Approach. Springer, 3rd edition, 2007.

[28]

R. R. Rajkumar, I. Lee, L. Sha, and J. Stankovic. Cyber-physical systems: the next computing revolution. In Proceedings of the 47th Design Automation Conference, DAC '10, pages 731--736, New York, NY, USA, 2010. ACM.

Digital Library

[29]

D. L. Rosenband. Hardware synthesis from guarded atomic actions with performance specifications. In Proc. of the 2005 IEEE/ACM International conference on Computer-aided design, ICCAD 2005, pages 784--791, 2005.

Digital Library

[30]

S. Rudov-Clark and J. Stecki. The language of FMEA: on the effective use and reuse of FMEA data. In AIAC-13 Thirteenth Australian International Aerospace Congress, 2009.

[31]

A. Sangiovanni-Vincentelli. Quo vadis SLD: Reasoning about trends and challenges of system-level design. Proceedings of the IEEE, 95(3):467--506, March 2007.

[32]

P. Schwarz. Physically oriented modeling of heterogeneous systems. Math. Comput. Simul., 53(4-6):333--344, Oct. 2000.

Digital Library

[33]

R. B. Stone and K. L. Wood. Development of a functional basis for design. Journal of Mechanical Design, 122(4):359--370, 2000.

[34]

J. Sztipanovits, X. Koutsoukos, G. Karsai, N. Kottenstette, P. Antsaklis, V. Gupta, B. Goodwine, J. Baras, and S. Wang. Toward a science of cyber-physical system integration. Proceedings of the IEEE, 100(1):29--44, 2012.

[35]

T. Tomiyama, V. D'Amelio, J. Urbanic, and W. ElMaraghy. Complexity of multi-disciplinary design. CIRP Annals - Manufacturing Technology, 56(1):185--188, 2007.

[36]

S. Uckun. Meta ii: Formal co-verification of correctness of large-scale cyber-physical systems during design. Technical report, Palo Alto Research Center, September 2011.

[37]

Y. Umeda, H. Takeda, T. Tomiyama, and H. Yoshikawa. Function, behaviour, and structure. Applications of artificial intelligence in engineering V, 1:177--194, 1990.

[38]

T. J. van Beek, M. S. Erden, and T. Tomiyama. Modular design of mechatronic systems with function modeling. Mechatronics, 20(8):850--863, 2010.

[39]

S. Wölkl and K. Shea. A computational product model for conceptual design using SysML. ASME Conference Proc., 2009(48999):635--645, 2009.

Cited By

Horváth L(2024)Integration of Scientific Research and Industrial Engineering Modeling2024 IEEE 6th International Symposium on Logistics and Industrial Informatics (LINDI)10.1109/LINDI63813.2024.10820402(41-46)Online publication date: 23-Oct-2024
https://doi.org/10.1109/LINDI63813.2024.10820402
Horváth L(2024)Engineering Related Research in Collaborative Space Developing All-in-One Model2024 IEEE 28th International Conference on Intelligent Engineering Systems (INES)10.1109/INES63318.2024.10629144(000121-000126)Online publication date: 17-Jul-2024
https://doi.org/10.1109/INES63318.2024.10629144
Eichmann OLamm JMelzer SWeilkiens TGod R(2024)Development of functional architectures for cyber‐physical systems using interconnectable modelsSystems Engineering10.1002/sys.2176127:6(993-1011)Online publication date: 6-May-2024
https://doi.org/10.1002/sys.21761
Show More Cited By

Index Terms

Context-sensitive synthesis of executable functional models of cyber-physical systems
1. Computing methodologies
  1. Artificial intelligence
    1. Knowledge representation and reasoning
  2. Modeling and simulation
    1. Model development and analysis
    2. Simulation theory
      1. Systems theory

Recommendations

Enabling Model Testing of Cyber-Physical Systems
MODELS '18: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems

Applying traditional testing techniques to Cyber-Physical Systems (CPS) is challenging due to the deep intertwining of software and hardware, and the complex, continuous interactions between the system and its environment. To alleviate these challenges ...
Towards Integrated Simulation of Cyber-Physical Systems: A Case Study on Intelligent Water Distribution
DASC '09: Proceedings of the 2009 Eighth IEEE International Conference on Dependable, Autonomic and Secure Computing

In cyber-physical systems (CPSs), embedded computing systems and communication capability are used to streamline and fortify the operation of a physical system. Intelligent critical infrastructure systems are among the most important CPSs and also prime ...
A cyber-physical system-based approach for industrial automation systems

System-based approach for the development of industrial automation systems.UML modeling of the software part of Mechatronic component.Semi-automatic transformation to object oriented IEC 61131.Semi-automatic transformation to Java code as alternative to ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

ICCPS '13: Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems

April 2013

278 pages

ISBN:9781450319966

DOI:10.1145/2502524

General Chair:
Chenyang Lu
Washington University
,
Program Chairs:
P. R. Kumar
Texas A&M University
,
R. Stoleru
Texas A&M University

Copyright © 2013 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

IEEE-CS\TCRT: TC on Real-Time Systems
SIGBED: ACM Special Interest Group on Embedded Systems

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 08 April 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ICCPS '13

Sponsor:

IEEE-CS\TCRT
SIGBED

ICCPS '13: ACM/IEEE 4th International Conference on Cyber-Physical Systems

April 8 - 11, 2013

Pennsylvania, Philadelphia

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

74
Total Citations
View Citations
326
Total Downloads

Downloads (Last 12 months)8
Downloads (Last 6 weeks)0

Reflects downloads up to 15 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Horváth L(2024)Integration of Scientific Research and Industrial Engineering Modeling2024 IEEE 6th International Symposium on Logistics and Industrial Informatics (LINDI)10.1109/LINDI63813.2024.10820402(41-46)Online publication date: 23-Oct-2024
https://doi.org/10.1109/LINDI63813.2024.10820402
Horváth L(2024)Engineering Related Research in Collaborative Space Developing All-in-One Model2024 IEEE 28th International Conference on Intelligent Engineering Systems (INES)10.1109/INES63318.2024.10629144(000121-000126)Online publication date: 17-Jul-2024
https://doi.org/10.1109/INES63318.2024.10629144
Eichmann OLamm JMelzer SWeilkiens TGod R(2024)Development of functional architectures for cyber‐physical systems using interconnectable modelsSystems Engineering10.1002/sys.2176127:6(993-1011)Online publication date: 6-May-2024
https://doi.org/10.1002/sys.21761
Hu MCao EHuang HZhang MChen XChen M(2023)AIoTML: A Unified Modeling Language for AIoT-Based Cyber–Physical SystemsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2023.326478642:11(3545-3558)Online publication date: Nov-2023
https://doi.org/10.1109/TCAD.2023.3264786
Horváth L(2023)Model Mediated Research in Collaborative Space for Lifecycle on the Cloud2023 IEEE 23rd International Symposium on Computational Intelligence and Informatics (CINTI)10.1109/CINTI59972.2023.10381936(000243-000248)Online publication date: 20-Nov-2023
https://doi.org/10.1109/CINTI59972.2023.10381936
Awotunde JOguns YAmuda KNigar NAdeleke TOlagunju KAjagbe S(2023)Cyber-Physical Systems Security: Analysis, Opportunities, Challenges, and Future ProspectsBlockchain for Cybersecurity in Cyber-Physical Systems10.1007/978-3-031-25506-9_2(21-46)Online publication date: 24-Apr-2023
https://doi.org/10.1007/978-3-031-25506-9_2
Horváth LRudas I(2022)Intelligent Computing Methods for Contextual Driving in Smart Engineering Model SystemsElectronics10.3390/electronics1111172811:11(1728)Online publication date: 30-May-2022
https://doi.org/10.3390/electronics11111728
Aich JSultana M(2022)Cyber Physical System—The Gen ZConvergence of Deep Learning In Cyber‐IoT Systems and Security10.1002/9781119857686.ch19(397-413)Online publication date: 4-Nov-2022
https://doi.org/10.1002/9781119857686.ch19
Lersch LSchreter IOukid ILehner W(2020)Enabling low tail latency on multicore key-value storesProceedings of the VLDB Endowment10.14778/3384345.338435613:7(1091-1104)Online publication date: 1-Mar-2020
https://dl.acm.org/doi/10.14778/3384345.3384356
Liu JChen SWang L(2020)LB+TreesProceedings of the VLDB Endowment10.14778/3384345.338435513:7(1078-1090)Online publication date: 1-Mar-2020
https://dl.acm.org/doi/10.14778/3384345.3384355
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents