An integrated simulation and verification environment in support of the system life cycle

被引：0
|
作者：
Rennie, M [1 ]
Fernandez, V [1 ]
Caramagno, A [1 ]
机构：
[1] Deimos Space SL, Madrid 28760, Spain
来源：
2nd International Industrial Simulation Conference 2004 | 2004年
关键词：
software life cycle; simulation; verification; real-time test bench;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper describes the simulation and verification framework under which the activities of the DEIMOS Real-Time Laboratory have been initiated. This framework is intended to support the development, verification and validation of flight systems and software, according to a combined systems and software engineering life cycle. It aims at optimising the collaboration between the systems engineers and software developers, and at maximising the re-use of software and tools between the phases of a project, as well as between different projects.
引用
收藏
页码：392 / 396
页数：5
相关论文
共 50 条
  • [1] System for DASH support verification in HbbTV environment
    Nikic, Nemanja
    Herceg, Marijan
    Pekovic, Vukota
    Soskic, Nenad
    2017 IEEE 7TH INTERNATIONAL CONFERENCE ON CONSUMER ELECTRONICS - BERLIN (ICCE-BERLIN), 2017, : 212 - 215
  • [2] Simulation-based decision support for manufacturing system life cycle management
    De Vin, Leo J.
    Ng, Amos H.C.
    Oscarsson, Jan
    Journal of Advanced Manufacturing Systems, 2004, 3 (02) : 115 - 128
  • [3] Life cycle simulation system for life cycle process planning
    Takata, S
    Kimura, T
    CIRP ANNALS-MANUFACTURING TECHNOLOGY, 2003, 52 (01): : 37 - 40
  • [4] Simulation in production system life cycle
    Kosturiak, J
    Gregor, M
    COMPUTERS IN INDUSTRY, 1999, 38 (02) : 159 - 172
  • [5] EDPEPPS: an integrated environment for the parallel development life-cycle
    Delaitre, T
    Zemerly, MJ
    Justo, GR
    Audo, O
    Winter, SC
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2000, 16 (06): : 585 - 595
  • [6] Simulation and optimization as decision support system in relation to life cycle cost of new aircraft carriers
    Bruzzone, Agostino G.
    Briano, Chiara
    Massei, Marina
    Poggi, Simonluca
    PROCEEDINGS OF THE SIXTH IASTED INTERNATIONAL CONFERENCE ON MODELLING, SIMULATION, AND OPTIMIZATION: SCIENCE AND TECHNOLOGY FOR DEVELOPMENT IN THE 21ST CENTURY, 2006, : 133 - +
  • [7] Simulation and verification of an embedded system
    Augé, P
    Rozoy, B
    Maurin, T
    Reynaud, R
    Bouchefra, K
    COMPUTERS AND THEIR APPLICATIONS, 2001, : 272 - 275
  • [8] Development of Simulation Platform for Physicochemical Regenerative Environment Control and Life Support System in Space Station
    Lv, Mingbo
    Li, Yunhua
    Liu, Wei
    Guo, Rui
    Yang, Liman
    Pang, Liping
    Li, Yunze
    Wang, Jun
    PROCEEDINGS OF THE 2016 IEEE 11TH CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS (ICIEA), 2016, : 1145 - 1150
  • [9] A comprehensive simulation and test environment for prototype VLSI verification
    Kobayashi, K
    Onodera, H
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2004, E87D (03): : 630 - 636
  • [10] A Method for Simulating an Information System with Life Cycle Simulation
    Tamura, Tomoyuki
    Odagaki, Ryota
    Kishita, Yusuke
    Umeda, Yasushi
    Miyake, Gaku
    Matsuda, Genichiro
    Tajima, Akio
    INTERNATIONAL JOURNAL OF AUTOMATION TECHNOLOGY, 2024, 18 (06) : 774 - 785
12345