Open source software in critical systems - Motivation and challenges

被引：0

作者：

David, P ^{[1
]}

Waeselynck, H ^{[1
]}

Crouzet, Y ^{[1
]}

机构：

[1] European Space Agcy, Estec, NL-2200 AG Noordwijk, Netherlands

来源：

BUILDING THE INFORMATION SOCIETY | 2004年 / 156卷

关键词：

open source software; COTS; critical systems; certification; wrapping; validation;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

This paper summarizes the main conclusions and recommendations from a Working Group on "Open Source Software and Dependability". The Group was launched in the framework of a cooperative structure, a Network for Dependability Engineering, and gathered representatives of ten academic and industrial organizations.

引用

页码：667 / 677

页数：11

共 18 条

[1] A flexible run-time support for distributed dependable hard real-time applications [J].

Anceaume, E ;

Cabillic, G ;

Chevochot, P ;

Puaut, I .

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

[2]

[Anonymous], 1998, 615083 IEC

[3] Dependability of COTS microkernel-based systems [J].

Arlat, J ;

Fabre, JC ;

Rodríguez, M ;

Salles, F .

IEEE TRANSACTIONS ON COMPUTERS, 2002, 51 (02) :138-163

[4]

BERARD B, 1999, P 11 INT C COMP AID, V1633, P96

[5]

BERARD B, HERMES SCI

[6]

BEZROUKOV N, 1999, FIRST MONDAY, V14

[7]

*CENELEC, 2002, 50128 CENELEC EN

[8] Worst-case execution time analysis of the RTEMS real-time operating system [J].

Colin, A ;

Puaut, I .

13TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS, 2001, :191-198

[9]

*ECSS, 2002, ECSSQ4A

[10] Formal modeling and analysis of an audio/video protocol: An industrial case study using UPPAAL [J].

Havelund, K ;

Skou, A ;

Larsen, KG ;

Lund, K .

18TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1997, :2-13

← 1 2 →