APPROACH FOR SCENARIO-BASED TEST SPECIFICATIONS FOR VIRTUAL COMMISSIONING

被引：0
|
作者：
Schneider, M. [1 ]
Gausemeier, J. [1 ]
Schmuedderrich, T. [1 ]
Traechtler, A. [1 ]
机构：
[1] Univ Paderborn, Heinz Nixdorf Inst, Furstenallee 11, D-33102 Paderborn, Germany
来源：
DS 77: PROCEEDINGS OF THE DESIGN 2014 13TH INTERNATIONAL DESIGN CONFERENCE, VOLS 1-3 | 2014年
关键词：
production system development; test specifications; virtual commissioning; simulation-based design;
D O I：
暂无
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
引用
收藏
页码：1339 / 1347
页数：9
相关论文
共 50 条
  • [1] Verifying scenario-based aspect specifications
    Katz, E
    Katz, S
    [J]. FM 2005: FORMAL METHODS, PROCEEDINGS, 2005, 3582 : 432 - 447
  • [2] Synthesis from scenario-based specifications
    Harel, David
    Segall, Itai
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2012, 78 (03) : 970 - 980
  • [3] Mining Hierarchical Scenario-Based Specifications
    Lo, David
    Maoz, Shahar
    [J]. 2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 359 - 370
  • [4] Temporal logic for scenario-based specifications
    Kugler, H
    Harel, D
    Pnueli, A
    Lu, Y
    Bontemps, Y
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2005, 3440 : 445 - 460
  • [5] Efficient composition of scenario-based hardware specifications
    de Gennaro, Alessandro
    Stankaitis, Paulius
    Mokhov, Andrey
    [J]. IET COMPUTERS AND DIGITAL TECHNIQUES, 2019, 13 (02): : 57 - 69
  • [6] Towards Succinctness in Mining Scenario-Based Specifications
    Lo, David
    Maoz, Shahar
    [J]. 2011 16TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2011, : 231 - 240
  • [7] Semantically Configurable Analysis of Scenario-Based Specifications
    Cohen, Barak
    Maoz, Shahar
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2014, 2014, 8411 : 185 - 199
  • [8] TASS: Timing Analyzer of Scenario-Based Specifications
    Pan, Minxue
    Bu, Lei
    Li, Xuandong
    [J]. COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2009, 5643 : 689 - 695
  • [9] Verification of Scenario-based Specifications using Templates
    Palshikar, Girish Keshav
    Bhaduri, Purandar
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 118 : 37 - 55
  • [10] Model checking conformance with scenario-based specifications
    Glusman, M
    Katz, S
    [J]. COMPUTER AIDED VERIFICATION, 2003, 2725 : 328 - 340
12345