Static analysis and diversity in the software development process - Experiences with the use of SPARK

被引：0

作者：

Thornley, JP ^{[1
]}

机构：

[1] British Aerosp Mil Aircraft, Preston PR4 1AX, Lancs, England

来源：

RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE '97 | 1997年 / 1251卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

This paper discusses the need for diversity in any development process used for high integrity software and describes some ways in which differing levels of diversity can be created. A summary of the SPARK language is given and experience with-the use of SPARK in creating the highest level of diversity for safety critical software is described. Current best practice for the use of SPARK is then described as well as potential future developments in its use.

引用

页码：266 / 277

页数：12

共 50 条

[1] Integrating static analysis into a secure software development process
Kleidermacher, David N.
[J]. 2008 IEEE CONFERENCE ON TECHNOLOGIES FOR HOMELAND SECURITY, VOLS 1 AND 2, 2008, : 367 - 371
[2] Diversity in the software development process
Hilford, V
Lyu, MR
Cukic, B
Jamoussi, A
Bastani, FB
[J]. THIRD INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, 1997, : 129 - 136
[3] Process diversity in software development
Lindvall, M
Rus, I
[J]. IEEE SOFTWARE, 2000, 17 (04) : 14 - 18
[4] A comparison of software development process experiences
Gittins, R
Bass, J
Hope, S
[J]. EXTREME PROGRAMMING AND AGILE PROCESSES IN SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3092 : 231 - 236
[5] Use of static analysis in the V&V process for critical embedded software
Leydier, C
[J]. DASIA 2000: DATA SYSTEMS IN AEROSPACE, PROCEEDINGS, 2000, 457 : 323 - 330
[6] Process diversity in software development: an industrial study
Utku, Semih
Sahin, Serra
[J]. IET SOFTWARE, 2019, 13 (04) : 260 - 267
[7] USE OF UML IN THE ANALYSIS PHASE OF A DEVELOPMENT PROCESS FOR EDUCATIONAL SOFTWARE
Duran-Blandon, Edwin
[J]. INGENIERIA SOLIDARIA, 2011, 7 (12-13): : 83 - 91
[8] Use of Software Process in Research Software Development: A Survey
Eisty, Nasir U.
Thiruvathukal, George K.
Carver, Jeffrey C.
[J]. PROCEEDINGS OF EASE 2019 - EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING, 2019, : 276 - 282
[9] Use of Software Metrics in Agile Software Development Process
Padmini, K. V. Jeeva
Bandara, H. M. N. Dilum
Perera, Indika
[J]. 2015 MORATUWA ENGINEERING RESEARCH CONFERENCE (MERCON), 2015, : 312 - 317
[10] On the use of process trails to understand software development
Cerulo, Luigi
[J]. 13TH WORKING CONFERENCE ON REVERSE ENGINEERING PROCEEDINGS, 2006, : 303 - +

← 1 2 3 4 5 →