ADA tasking for high-integrity systems

被引：0

作者：

Humphris, D ^{[1
]}

Dobbing, B ^{[1
]}

机构：

[1] Aonix Europe Ltd, Henley On Thames RG9 1HG, Oxon, England

来源：

LESSONS IN SYSTEM SAFETY | 2000年

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：113 / 133

页数：21

共 50 条

[21] LOW-COST HIGH-INTEGRITY LOOP COMMUNICATION-SYSTEMS
SMITH, M
[J]. MICROPROCESSORS AND MICROSYSTEMS, 1981, 5 (08) : 357 - 362
[22] An Approach for Designing Knowledge-based Systems for High-Integrity Applications
Martin, Luke
Romanovsky, Alexander
[J]. 2017 13TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2017), 2017, : 107 - 110
[23] Error-minimized display of information about high-integrity systems
Hickling, E.M.
[J]. IEE Conference Publication, 1999, (463): : 173 - 178
[24] High-integrity precision casting process
Wallbank, Jim
[J]. Foundry Management and Technology, 1993, 121 (04):
[25] An MDE Methodology for the Development of High-Integrity Real-Time Systems
Mazzini, Silvia
Puri, Stefano
Vardanega, Tullio
[J]. DATE: 2009 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3, 2009, : 1154 - +
[26] The error-minimised display of information about high-integrity systems
Hickling, EM
[J]. PEOPLE IN CONTROL, 1999, (463): : 173 - 178
[27] The Rampart toolkit for building high-integrity services
Reiter, MK
[J]. THEORY AND PRACTICE IN DISTRIBUTED SYSTEMS, 1995, 938 : 99 - 110
[28] High-integrity systems development for integrated modular avionics using VxWorks and GNAT
Parkinson, P
Gasperoni, F
[J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2002, 2002, 2361 : 163 - 178
[29] High-Integrity GPU Designs for Critical Real-Time Automotive Systems
Alcaide, Sergi
Kosmidis, Leonidas
Hernandez, Carles
Abella, Jaume
[J]. 2019 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2019, : 824 - 829
[30] THE ADA TASKING MODEL
不详
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 262 : 9 - 26

← 1 2 3 4 5 →