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

Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, ICCPS 2013

Volumn , Issue , 2013, Pages 99-108

  Canedo, Arquimedes ^a   Schwarzenbach, Eric ^b   Al Faruque, Mohammad Abdullah ^c  

^a SIEMENS CORPORATE RESEARCH   (United States)

^b PRINCETON UNIVERSITY   (United States)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Behavioral modeling; Functional modeling; Simulation

Indexed keywords

BEHAVIORAL MODEL; CROSS-DOMAIN ENGINEERINGS; CYBER PHYSICAL SYSTEMS (CPSS); CYBER-PHYSICAL SYSTEMS (CPS); FUNCTIONAL MODEL; PHYSICAL MODELING LANGUAGES; SIMULATION; STATE-OF-THE-ART APPROACH;

COMPUTER SIMULATION; EMBEDDED SYSTEMS; HIGH PRESSURE ENGINEERING; TOOLS;

MODELS;

EID: 84883067170     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2502524.2502539     Document Type: Conference Paper

References (39)

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.
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.
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.
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.
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.
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.
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://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.
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.
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.
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.