Model-driven Modeling for System Design of Complex Products:a Survey

Abstract

Abstract:

With the increase of functional complexity and wide distribution

of complex product systems,document-based systems engineering does not satisfy the

requirements of system modeling of the complex products.Model-driven system modeling and system design is becoming the emphasis of academy and industry. Many efforts have been conducted and several kinds of modeling languages and modeling approaches have been proposed.Due to the difficulty of this problem, there are still many problems with model-driven system modeling and sysem design for complex products.Herein,modeling languages for system modeling and system design were analyzed at first. Then four kinds of typical model-driven sytem modeling approaches were discussed in detail. Lastly, the existing problems and possible solution strategies were analyzed and explored. 

Key words:

model-driven, complex product, system design, model-based systems engineering

摘要：

复杂产品系统的功能复杂性与设计分布性大大增加,基于文件的系统工程已越来越不能满足复杂产品系统设计时建模的要求,模型驱动的系统设计建模方法正成为学术界和工业界关注的重点。由于该问题本身的难度,模型驱动的复杂产品系统设计建模仍然存在许多不足与问题。从模型驱动的角度出发,对面向复杂产品系统设计的建模语言进行了分析;对现有的四种模型驱动的复杂产品系统建模方法进行了较为全面的分析与评述。对模型驱动的复杂产品系统设计建模存在的不足与问题进行了分析与讨论,并探索给出其可能的发展方向。

关键词:

模型驱动, 复杂产品, 系统设计, 基于模型的系统工程

CLC Number:

LIU Yu-Sheng, JIANG Yu-Qin, GAO Shu-Meng.

Model-driven Modeling for System Design of Complex Products:a Survey

[J]. China Mechanical Engineering, 2010, 21(06): 741-749.

刘玉生, 蒋玉芹, 高曙明.

模型驱动的复杂产品系统设计建模综述

[J]. 中国机械工程, 2010, 21(06): 741-749.

References

[1]Dennis M B. The Engineering Design of Systems: Models and Methods [M]. 2ed. Hoboken, NJ: A. John Wiley & Sons Inc. ,2009.
[2]Michelle B, David H. System Design: New Product Development for Mechatronics. Benchmark Report [R]. Boston, MA : Aberdeen Group, 2008.
[3]Fisher J. Model-- based Systems Engineering : a New Paradigm[J]. INCOSE Insight, 1998,1 (3) : 3-16.
[4]Micouin P. Toward a Property Based Requirements Theory:System Requirements Structured as a Semilattice[J]. Systems Engineering, 2008,11 ( 3 ) :235 - 245.
[5]Cornford S L,Feather M S, Heron V,et al. Fusing Quantitative Requirements Analysis with Model based Systems Engineering[C]//the 14th IEEE International Requirements Engineering Conference. Minneapolis, MN, 2006 : 279-284.
[6]Nugroho A,Chaudron R V. A Survey into the Rigor of UML Use and Its Perceived Impact on Quality and Productivity[C]//Proceding of the 2nd ACM-- IEEE International Symposium on Empirical Software Engineering and Measurement. Kaiserslautern, Germany, 2008 : 90-99.
[7]Douglass B P. Real--time UML: Developing Efficient Objects for Embedded Systems[M]. Boston, MA: Addison- Wesley Longman Publishing Co. Inc. ,1997.
[8]OMG. SysML Specification ES/OL]. Needham, MA:OMG Organization, 2007 [2009-04-12]. http://www.omgsysml.org.
[9]Thomas A J. Integrating Models and Sumulations of Continuous Dynamics System Behavior into SysML[D]. Atlanta: Georgia Institute of Technology, 2008.
[10]蒋彩云[1],王维平[1],李群[1].SysML：一种新的系统建模语言[J].系统仿真学报,2006,18(6):1483-1487.
[11]吴娟[1],王明哲[1].DoDAF产品集的SySML模型支持[J].兵工自动化,2006,25(2):13-15.
[12]石福丽[1],黄炎焱[1],朱一凡[1],杨峰[1].基于SysML的无人侦察机需求描述方法研究[J].计算机仿真,2007,24(6):53-56.
[13]Thomas A J, Jonathan M J, Paredis C J J, et al. Modeling Continuous System Dynamics in SysML [C]//Proceeding of the International Mechanics Conference and Exhibition. Seattle,2007 : 1-11.
[14]Thomas A J, Paredis C J J, Roger B. Integrating Models and Simulations of Continuous Dynamics into Sysml[C]//Proceeding of the 6th International Modelica Conference. Bielefeld, Germany, 2008: 1-10.
[15]SEOR. System/Safety Analysis [EB/OL]. Washington D. C.: Georgia Mason University, 2009 [2009-04-12]. http://catsr. Ite. gmu. edu/re search. html.
[16]Burmester S, Giese H, Tichy M. Model- driven Development of Reconfigurable Meehatronic Systems with Mechatronic UML[J]. Lecture Notes in Computer Science,2005,3599:47-61.
[17]Robert K. Telescope Systems Modeling[C]//The 18th Annual International Symposium of INCOSE 2008. Utrecht, Netherland, 2008 : 1-8.
[18]Burmester S, Giese H, Klein F. Synthesis of Parameterized UML Real time Patterns from Multiple Parameterized Real--timed Scenarios[J]. Lecture Notes in Computer Science, 2005,3371: 193-211.
[19]Nytsch G C. The Use of UML within the Modelling Process of Modelica- Models [C]//Interna tional Workshop on Equation based Object--oriented I.anguages and Tools. Berlin: Linkoping Universlty Electronic Press, 2007 : 1-25.
[20]Burmester S,Giese H, Oberschelp O. Hybrid UML Components for the Design of Complex Self--optimizing Mechatronic Systems [M]. Informatics in Control, Automation and Robotics. Dordrecht : Kluwer Academic Publishers, 2005 : 281-288.
[21]Burmester S, Giese H, Seibel A, et al. Worst-- case Execution Time Optimization of Story Patterns for Hard Real--time Systems[C]//Proceedings of the 3rd International Fujaba Days 2005. Paderborn, Germany, 2005 : 71-78.
[22]Berkenkotter K, Bisanz S, Hannemann U, et al. Executable Hybrid UML and Its Application to Train Control Systems[J]. Lecture Notes in Computer Science, 2004,3147 : 145-173.
[23]Alur R,Dang T, Esposito J. Hierarchical Modeling and Analysis of Embedded Systems [J]. Proceedings of the IEEE,2003,91(1) :11-28.
[24]Howard L, Sanford F, Meilich A. Adapting UML for an Object- oriented Systems Engineering Method(OOSEM) [C]//Proceedings of the INCOSE 2000 International Symposium. Minneapolis,MN,2000 : 1-8.
[25]Estefan A J. Survey of Model--based Systems Engineering(MBSE) Methodologies[R]. Seattle: INCOSE MBSE Focus Group,2007.
[26]Secchi C, Bonfe M, Fantuzzi C. On the Use of UML for Modeling Mechatronic Systems [ J]. IEEE Transaction on Automation Science and Engineering,2007,4(1) :105-113.
[27]Sanford F, Alan M, Steiner R. Practical Guide to SysML: Systems Modeling Language [M]. San Francisco: Morgan Kaufmann Publishers, Inc. ,2008.
[28]Thramboulidis K C. Using UML in Control and Automation: a Model Driven Approach [C]//2nd IEEE International Conference on Industrial Informatics' 04. Berlin, 2004 : 1-8.
[29]Secchi C,Bonfe M,Fantuzzi C,et al. Object--oriented Modeling of Complex Mecharonie Components for the Manufacturing Industry[J]. IEEE Trans. on Mechatronics, 2007,12 (6) : 696-702.
[30]Childers S R,James E L. A Concurrent Methodology for the System Engineering Design Process, Vitech Corporation White Paper [ R]. Vienna: Vitech Corporation, 2004.
[31]Thramboulidis K C,Tranoris C. Developing a CASE Tool for Distributed Control Applications[J]. Internationl Journal of Advanced Manufacturing Technology, 2004,24(1/2) : 24-31.
[32]Long J E. MBSE in Practice: Developing Systems with CORE, Viteeh Briefing Slides. Vitech Corporation White Paper[R]. Vienna:Viteeh Corporation,2007.
[33]Skipper J F. A Systems Engineer's Position on the Unified Modeling Language. Vitech Corporation White Paper [ R]. Vienna: Vitech Corporation, 2003.
[34]Baker L, Long J E. Role of System Engineering Across the System Life Cycle. Vitech Corporation White Paper [ R]. Vienna:Vitech Corporation, 2000.
[35]Childers R S,Long J E. A Concurrent Methodology for the System Engineering Design Process. Vitech Corporation White Paper[R]. Vienna: Vitech Corporation,2004.
[36]Jaco V. RUP SE:the Rational Unified Process for Systems Engineering. INCOSE Newsletter, Issue 01 : Q4[R]. Pretoria : INCOSE, 2003.
[37]Baker L, Long J E. Role of System Engineering Across the System Life Cycle. Vitech Corporation White Paper[R]. Vienna : Vitech Corporation, 2000.
[38]Balmelli L,Brown D,Cantor M,et al. Model--driven Systems Development [J]. IBM Systems Jour nal,2006,45(3) :569-585.
[39]Cantor M. RUP SE: the Rational Unified Process for Systems Engineering[R]. New York:IBM Ra tionat Edge, 2001.
[40]Yevgeny Y,Valeriya P,Dov D. OPM Model Based Simulation Environment for Systems Engineering Conceptualization Phase[C]//INCOSE Conference of Model- based Systems Engineering. Haifa, Israel,2009 : 1-12.
[41]Ingham M D, Rasmussen R D,Bennett M B,et al. Generating Requirements for Complex Embedded Systems Using State Analysis[J]. Acta Astronautica,2006,58(12) : 648-661.
[42]Dori D. Object-process Methodology: a Holistic Systems Paradigm [M]. Berlin : Springer- Verlag, 2002.
[43]Dori D,Roman F,Arnon S. From Conceptual Models to Schemata: an Object-- process-- based Data Warehouse Construction Method[M]. Information System, 2008,33 (6) : 567-593.
[44]Leveson N G. A New Approach to Hazard Analysis for Complex Systems[C]//International Con ference of the System Safety Society. Ottawa,Canada. 2003:1-12.
[45]Leveson N G. Intent Specifications:an Approach to Building Human centered Specifications[J]. IEEE Transaction on Software Engineering, 2000,26 ( 1 ) :15-35.
[46]Kordon M, Wall S, Stone H, et al. Model-- based Engineering Design Pilots at JPL[C]//IEEE Proceeding of Aerospace Conference. Big Sky, MT, 2007:1-20.
[47]Weiss K A. Engineering Spacecraft Mission Soft ware Using a Model- based and Safety- driven Design Methodology [J]. Journal of Aerospace Computing,Informaiton and Communication, 2006 (3) :562-586.
[48]Maplesoft Inc. Maplesim : High- Performance Multidomain Modeling and Simulation[EB/OL]. Waterloo, Ontario,Canada: Maplesoft Inc. , 2009[2009-10-05]. http://www. maplesoft. com/products/maplesim/index.aspx.
[49]The Mathworks Inc. Simscape 3.2:Model and Simu late Multidomain Physical Systems[EB/OL]. Natick, MT: The Mathworks Inc. , 2009 [2009- 10- 05]. http: / / www. mathworks.com/products/simscape/.
[50]Dassault Systems Inc. Dymola : Multi- Engineering Modeling and Simulation[EB/OL]. Velizy--Villa coublay, France: Dassault Systems Inc., 2009 [2009-10-05]. http:/www. 3ds. com/produets/catia/portfolio/dymola.