The DECOS Tool-Chain: Model-Based Development of Distributed Embedded Safety-Critical Real-Time Systems

被引：0

作者：

Herzner, Wolfgang ^{[1
]}

Huber, Bernhard ^{[2
]}

Csertan, Gyoergy ^{[3
]}

Balogh, Andras ^{[3
]}

机构：

[1] AARIT, ARC Seibersdorf Res, Vienna, Austria

[2] Vienna Univ Technol, Vienna, Austria

[3] Budapest Univ Technol & Econ, Budapest, Hungary

来源：

ERCIM NEWS | 2006年 / 67期

关键词：

D O I：

暂无

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

'Smart systems' applications like adaptive cruise control or brake-by-wire, rely on predictable and reliable embedded system platforms as infrastructure. For the development of such dependable applications, it is therefore of crucial interest to avoid faults during design and development. Besides intensive testing, an important way of minimising the risk of faults is by controlling the design and development process, as well as maximising the coherence of the resulting system with the initial requirements. The model-based tool-chain developed by the DECOS project is described.

引用

页码：22 / 24

页数：3

共 50 条

[21] Special section on real-time safety-critical systems
Zalewski, Janusz
[J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2009, 5 (02) : 95 - 96
[22] Model-Based Testing of Real-Time Distributed Systems
Vain, Jueri
Halling, Evelin
Kanter, Gert
Anier, Aivo
Pal, Deepak
[J]. DATABASES AND INFORMATION SYSTEMS, DB&IS 2016, 2016, 615 : 272 - 286
[23] Quality requirements for real-time safety-critical systems
Kirner, TG
[J]. CONTROL ENGINEERING PRACTICE, 1997, 5 (07) : 965 - 973
[24] REAL-TIME SAFETY-CRITICAL SYSTEMS - ANALYSIS AND SYNTHESIS
BURNS, A
MCDERMID, JA
[J]. SOFTWARE ENGINEERING JOURNAL, 1994, 9 (06): : 267 - 281
[25] Isolating Real-Time Safety-Critical Embedded Systems via SGX-based Lightweight Virtualization
De Simone, Luigi
Mazzeo, Giovanni
[J]. 2019 IEEE 30TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2019), 2019, : 308 - 313
[26] Functional Uncertainty in Real-Time Safety-Critical Systems
Baruah, Sanjoy
Burns, Alan
Griffin, David
[J]. PROCEEDINGS OF THE 30TH INTERNATIONAL CONFERENCE ON REAL-TIME NETWORKS AND SYSTEMS, RTNS 2022, 2022, : 1 - 11
[27] EXPERT SYSTEMS TECHNOLOGY FOR SAFETY-CRITICAL REAL-TIME SYSTEMS
THEURETZBACHER, N
[J]. ELECTRICAL COMMUNICATION, 1986, 60 (02): : 147 - 153
[28] Development of safety-critical systems and model-based risk analysis with UML
Jürjens, J
Houmb, SH
[J]. DEPENDABLE COMPUTING, 2003, 2847 : 364 - 365
[29] A flexible environment for rapid prototyping and analysis of distributed real-time safety-critical systems
Thompson, H. A.
Ramos-Hernandez, D. N.
Fu, J.
Jiang, L.
Choi, I.
Cartledge, K.
Fortune, J.
Brown, A.
[J]. CONTROL ENGINEERING PRACTICE, 2007, 15 (01) : 77 - 94
[30] A Flexible Communication Protocol With Guaranteed Determinism for Distributed, Safety-Critical Real-Time Systems
Raja, Fawad Riasat
Chen, David
Hexel, Rene
[J]. IEEE ACCESS, 2022, 10 : 48049 - 48070

← 1 2 3 4 5 →