Automatic Generation of Simulation Workflows for System Verification using XDSM Representation

被引:0
|
作者
Hammadi, Moncef [1 ]
Patalano, Stanislao [2 ]
机构
[1] Supmeca Paris, Quartz EA7393, St Ouen, France
[2] Univ Naples Federico II, Naples, Italy
关键词
System verification; MSDO; XDSM; Speed Reducer; DESIGN STRUCTURE MATRIX; MULTIDISCIPLINARY DESIGN; MECHATRONIC SYSTEMS; OPTIMIZATION; METHODOLOGY;
D O I
暂无
中图分类号
T [工业技术];
学科分类号
08 ;
摘要
In this paper we present an approach for the automatic generation of simulation workflow diagrams used for system verifications. By using this approach, the system engineer can specify the verification components at the system development phases. The workflow description is generated with an algorithm that converts the system level specifications to XDSM diagrams. These diagrams help in the communication and collaboration between system engineers and other discipline engineers. They also help in implementing the verification process in dedicated MDO/MSDO software frameworks. An example of a speed reducer system is considered to illustrate the usefulness of the proposed approach.
引用
收藏
页码:347 / 352
页数:6
相关论文
共 50 条
  • [1] Automatic Generation of Functional Workflows Using a Semantic Specification
    Ionita, Costin
    Costan, Alexandru
    Cristea, Valentin
    [J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPLEX, INTELLIGENT AND SOFTWARE INTENSIVE SYSTEMS (CISIS 2010), 2010, : 496 - 501
  • [2] Program verification using automatic generation of invariants
    Rodríguez-Carbonell, E
    Kapur, D
    [J]. THEORETICAL ASPECTS OF COMPUTING - ICTAC 2004, 2005, 3407 : 325 - 340
  • [3] Constructing Toolchain for the Automatic Generation and Verification of System Model
    Lee, Seungmin
    Park, Young B.
    [J]. 2017 INTERNATIONAL CONFERENCE ON PLATFORM TECHNOLOGY AND SERVICE (PLATCON), 2017, : 70 - 73
  • [4] Automatic test software of verification and validation for simulation system
    [J]. 2000, Acta Simul System Sinica, Beijing, China (12):
  • [5] Completeness and realizability: Conditions for automatic generation of workflows
    Lu, SY
    Bernstein, AJ
    Lewis, PM
    [J]. INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2006, 17 (01) : 223 - 245
  • [6] A graphical simulation and automatic model generation system
    Hur, Y
    Szygenda, SA
    [J]. MODELLING AND SIMULATION 1996, 1996, : 278 - 282
  • [7] Automatic workflow verification and generation
    Lu, SY
    Bernstein, A
    Lewis, P
    [J]. THEORETICAL COMPUTER SCIENCE, 2006, 353 (1-3) : 71 - 92
  • [8] DSP core verification using automatic test case generation
    Glökler, T
    Bitterlich, S
    Meyr, H
    [J]. 2000 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, PROCEEDINGS, VOLS I-VI, 2000, : 3271 - 3274
  • [9] SIMULATION AND AUTOMATIC VERIFICATION BY ASML
    Nabiullin, O. R.
    Babkin, E. A.
    [J]. BIZNES INFORMATIKA-BUSINESS INFORMATICS, 2008, 6 (04): : 56 - 63
  • [10] Towards automatic generation of semantic types in scientific workflows
    Bowers, S
    Ludäscher, B
    [J]. WEB INFORMATION SYSTEMS ENGINEERING - WISE 2005 WORKSHOPS, PROCEEDINGS, 2005, 3807 : 207 - 216