SOFTWARE TOOLS AND THEIR VERIFICATION BY EXPERIMENTS

被引：1
|
作者：
OSTERMEYER, GP
机构：
[1] Institut für Mechanik, TU Berlin, W-1000 Berlin 12
来源：
VEHICLE SYSTEM DYNAMICS | 1993年 / 22卷 / 3-4期
关键词：
D O I：
10.1080/00423119308969024
中图分类号：
TH [机械、仪表工业];
学科分类号：
0802 ;
摘要：
In the past years the tasks of simulation has changed rapidly in industrial practice. After static's and elastokinematics the dynamical simulation of complex mechatronic systems have to be done with the aim of precise prediction of vehicle behaviour, before it is realised in hardware. To save costs and time software tools has to be integrated in CAE-Chains, which connect research, development, production and management. The description of mechatronical components are done together with other companies. The supplying industry delivers the corresponding software models together with their hardware. This requires new technics of modelling, model handling, testing and verification and last but not least new structures of software tools.
引用
收藏
页码：123 / 139
页数：17
相关论文
共 50 条
  • [1] An Empirical Study in Software Verification Tools
    Jiang, Mengmeng
    Li, Xiaohong
    Xie, Xiaofei
    Zhang, Yao
    [J]. 2020 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2020), 2020, : 201 - 208
  • [2] Quality Verification Tools for Quality Software
    Bagnara, Roberto
    [J]. 2013 13TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC), 2013, : XVII - XVII
  • [3] Evaluating Automated Software Verification Tools
    Prause, Christian R.
    Gerlich, Rainer
    Gerlich, Ralf
    [J]. 2018 IEEE 11TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2018, : 343 - 353
  • [4] Software Verification and Validation Technologies and Tools
    Rodriguez, Moises
    Piattini, Mario
    Ebert, Christof
    [J]. IEEE SOFTWARE, 2019, 36 (02) : 13 - 24
  • [5] Verified software: Theories, tools and experiments
    Kroening, Daniel
    Margaria, Tiziana
    [J]. International Journal on Software Tools for Technology Transfer, 2010, 12 (06) : 405 - 408
  • [6] Modelling Program Verification Tools for Software Engineers
    Lathouwers, Sophie
    Zaytsev, Vadim
    [J]. PROCEEDINGS OF THE 25TH INTERNATIONAL ACM/IEEE CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2022, 2022, : 98 - 108
  • [7] Towards Automatic Synthesis of Software Verification Tools
    Rybalchenko, Andrey
    [J]. PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING, 2011, : 3 - 3
  • [8] Incremental Benchmarks for Software Verification Tools and Techniques
    Weide, Bruce W.
    Sitaraman, Murali
    Harton, Heather K.
    Adcock, Bruce
    Bucci, Paolo
    Bronish, Derek
    Heym, Wayne D.
    Kirschenbaum, Jason
    Frazier, David
    [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 5295 : 84 - +
  • [9] Some issues in the software engineering of verification tools
    Stevens, P
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1999, 1579 : 435 - 438
  • [10] Empirical software metrics for benchmarking of verification tools
    Demyanova, Yulia
    Pani, Thomas
    Veith, Helmut
    Zuleger, Florian
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2017, 50 (2-3) : 289 - 316
12345