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 条

[31] Simulation for product life cycle management [J].

Xie, Xiaoling ;

Simon, Matthew .

JOURNAL OF MANUFACTURING TECHNOLOGY MANAGEMENT, 2006, 17 (04) :486-495

[32] THE EVOLUTION SUPPORT ENVIRONMENT SYSTEM [J].

RAMAMOORTHY, CV ;

USUDA, Y ;

PRAKASH, A ;

TSAI, WT .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (11) :1225-1234

[33] Meteorological Instruments Visualized Verification Integrated System [J].

Li Xindi .

SENSORS, MEASUREMENT AND INTELLIGENT MATERIALS II, PTS 1 AND 2, 2014, 475-476 :803-806

[34] SIMULATION ENVIRONMENT FOR ARTIFICIAL LIFE AGENTS [J].

Nahodil, Pavel ;

Kohout, Karel .

22ND EUROPEAN CONFERENCE ON MODELLING AND SIMULATION, PROCEEDINGS, 2008, :131-+

[35] Integrated modeling and simulation framework expedite operational Software Testing, Integration and Verification for System of Systems platform [J].

Jha, Uma S. ;

White, Aaron ;

Stucke, Amanda .

2017 IEEE AUTOTESTCON, 2017, :268-272

[36] An integrated Modelica environment for modeling, documentation and simulation [J].

Fritzson, P ;

Engelson, V ;

Gunnarsson, J .

PROCEEDINGS OF THE 1998 SUMMER COMPUTER SIMULATION CONFERENCE: SIMULATION AND MODELING TECHNOLOGY FOR THE TWENTY-FIRST CENTURY, 1998, :308-313

[37] An integrated approach combining process simulation and life cycle assessment for eco-efficient process design [J].

Morales-Mendoza, Luis F. ;

Azzaro-Pantel, Catherine ;

Belaud, Jean-Pierre ;

Pibouleau, Luc ;

Domenech, Serge .

22 EUROPEAN SYMPOSIUM ON COMPUTER AIDED PROCESS ENGINEERING, 2012, 30 :142-146

[38] Intelligent simulation based decision support environment [J].

Iassinovski, SI ;

Raczy, C ;

Artiba, A .

COMPUTERS & INDUSTRIAL ENGINEERING, 1999, 37 (1-2) :227-230

[39] Role of the Verification Team Throughout the ASIC Development Life Cycle [J].

Chesters, Eric .

DAC: 2009 46TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2009, :216-219

[40] Combining simulation and formal verification for integrated circuit design validation [J].

Li, Lun ;

Szygenda, Stephen A. ;

Thornton, Mitchell A. .

WMSCI 2005: 9TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL 4, 2005, :92-97

← 1 2 3 4 5 →