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 条

[41] Development of a Scenario Simulation Platform to Support Autonomous Driving Verification [J].

Pilz, Christoph ;

Steinbauer, Gerald ;

Schratter, Markus ;

Watzenig, Daniel .

2019 8TH IEEE INTERNATIONAL CONFERENCE ON CONNECTED VEHICLES AND EXPO (IIEEE CCVE), 2019,

[42] An integrated optimization and sensitivity analysis approach to support the life cycle energy trade-off in building design [J].

Mukkavaara, Jani ;

Shadram, Farshid .

ENERGY AND BUILDINGS, 2021, 253

[43] Extending MagicGrid to Support Virtual Prototyping for Early System Performance Validation and Verification [J].

Cederbladh, Johan ;

Krems, Daniel ;

Cicchetti, Antonio .

ACM/IEEE 27TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS: COMPANION PROCEEDINGS, MODELS 2024, 2024, :287-298

[44] A Runtime Verification Framework for Control System Simulation [J].

Ciraci, Selim ;

Fuller, Jason C. ;

Daily, Jeff ;

Malchmalbaf, Atefe ;

Callahan, David .

2014 IEEE 38TH ANNUAL INTERNATIONAL COMPUTERS, SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2014, :75-84

[45] An integrated environment for the complete development cycle of an object-oriented distributed real-time system [J].

Becker, LB ;

Gergeleit, M ;

Nett, E ;

Pereira, CE .

COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2001, 16 (02) :89-96

[46] An integrated environment for the complete development cycle of an object-oriented distributed real-time system [J].

Becker, LB ;

Gergeleit, M ;

Nett, E ;

Pereira, CE .

2ND IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC'99), PROCEEDINGS, 1999, :165-171

[47] Integrated environmental monitoring and simulation system for use as a management decision support tool in urban areas [J].

Fatta, D ;

Naoum, D ;

Loizidou, M .

JOURNAL OF ENVIRONMENTAL MANAGEMENT, 2002, 64 (04) :333-343

[48] MAS2: an integrated modeling and simulation-based life cycle evaluation approach for sustainable manufacturing [J].

Lee, Ju Yeon ;

Kang, Hyoung Seok ;

Noh, Sang Do .

JOURNAL OF CLEANER PRODUCTION, 2014, 66 :146-163

[49] Study on Requirements Validation &Verification for Integrated and Complex System [J].

Yang Jianzhong ;

Wang Peng ;

Yan Fang .

PROCEEDINGS OF 2009 INTERNATIONAL SYMPOSIUM ON AIRCRAFT AIRWORTHINESS, 2009, :187-189

[50] Applying Life Cycle Assessment to Simulation-Based Decision Support: A Swedish Waste Collection Case Study [J].

Liu, Yu ;

Syberfeldt, Anna ;

Strand, Mattias .

ADVANCES AND NEW TRENDS IN ENVIRONMENTAL INFORMATICS: ICT FOR SUSTAINABLE SOLUTIONS, 2020, :165-178

← 1 2 3 4 5 →