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 条
  • [31] Validation and verification of computer forensic software tools-Searching Function
    Guo, Yinghua
    Slay, Jill
    Beckett, Jason
    [J]. DIGITAL INVESTIGATION, 2009, 6 : S12 - S22
  • [32] Handover Experiments with UAVs: Software Radio Tools and Experimental Research Platform
    Powell, Keith
    Yingst, Andrew
    Rahman, Talha Faizur
    Marojevic, Vuk
    [J]. PROCEEDINGS OF THE FIFTEENTH ACM WORKSHOP ON WIRELESS NETWORK TESTBEDS, EXPERIMENTAL EVALUATION & CHARACTERIZATION, WINTECH 2021, 2021, : 39 - 45
  • [33] A Software Package and Hardware Tools for in situ Experiments in a Lagrangian Reference Frame
    Doglioli, Andrea M.
    Nencioli, Francesco
    Petrenko, Anne A.
    Rougier, Gilles
    Fuda, Jean-Luc
    Grima, Nicolas
    [J]. JOURNAL OF ATMOSPHERIC AND OCEANIC TECHNOLOGY, 2013, 30 (08) : 1940 - 1950
  • [34] A practical guide to controlled experiments of software engineering tools with human participants
    Ko, Andrew J.
    LaToza, Thomas D.
    Burnett, Margaret M.
    [J]. EMPIRICAL SOFTWARE ENGINEERING, 2015, 20 (01) : 110 - 141
  • [35] Verified software: Theories, tools, experiments vision of a grand challenge project
    Hoare, Tony
    Misra, Jay
    [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 1 - 18
  • [36] A practical guide to controlled experiments of software engineering tools with human participants
    Amy J. Ko
    Thomas D. LaToza
    Margaret M. Burnett
    [J]. Empirical Software Engineering, 2015, 20 : 110 - 141
  • [37] A study: selection of model metamodel and SPL tools for the verification of software product lines
    Khan F.Q.
    Musa S.
    Tsaramirsis G.
    Bakhsh S.T.
    [J]. International Journal of Information Technology, 2017, 9 (4) : 353 - 362
  • [38] Towards dependable development tools for embedded systems: a case study in software verification
    Petermann, U
    [J]. JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 2000, 12 (04) : 489 - 498
  • [39] Specification-based testing of reactive software: Tools and experiments - Experience report
    Jagadeesan, LJ
    Porter, A
    Puchol, C
    Ramming, JC
    Votta, LG
    [J]. PROCEEDINGS OF THE 1997 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1997, : 525 - 535
  • [40] Tools for software verification: Introduction to the special section from the seventeenth international conference on tools and algorithms for the construction and analysis of systems
    Abdulla P.A.
    Leino K.R.M.
    [J]. International Journal on Software Tools for Technology Transfer, 2013, 15 (2) : 85 - 88
12345