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 条

[31] A model-based Software Development Process for Safety-critical embedded Systems in industrial Measurement Technology UML-Framework for the Modeling of safety-critical Software
Kuschnerus, Dirk
Gerding, Michael
Bilgic, Attila
Musch, Thomas
[J]. AUTOMATION 2012, 2012, 2171 : 55 - 58
[32] Criteria for software tools evaluation in the development of safety-critical real-time systems
Kornecki, AJ
Zalewski, J
[J]. PROBABILISTIC SAFETY ASSESSMENT AND MANAGEMENT, VOL 1- 6, 2004, : 2364 - 2370
[33] Experimental evaluation of software development tools for safety-critical real-time systems
Kornecki, Andrew J.
Zalewski, Janusz
[J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2005, 1 (02) : 176 - 188
[34] Process-based experiment for design tool assessment in real-time safety-critical software development
Kornecki, AJ
Zalewski, J
[J]. 29th Annual IEEE/NASA Software Engineering Workshop, Proceedings, 2005, : 193 - 200
[35] Table driven proportional access based real-time Ethernet for safety-critical real-time systems
Kim, DY
Doh, YM
Lee, YH
[J]. 2001 PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, 2001, : 356 - 363
[36] Model-based specification and execution of embedded real-time systems
Schattkowsky, T
Mueller, W
[J]. DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2004, : 1392 - 1393
[37] Model-Based Real-Time Testing of Embedded Automotive Systems
Skruch, Pawel
Buchala, Gabriel
[J]. SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-ELECTRONIC AND ELECTRICAL SYSTEMS, 2014, 7 (02): : 337 - 344
[38] Distributed real-time task monitoring in the safety-critical system melody
Wedde, HF
Lind, JA
Segbert, G
[J]. PROCEEDINGS OF THE 11TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, 1999, : 158 - 165
[39] Scheduling and Timing Analysis for SAFETY-CRITICAL REAL-TIME SYSTEMS
Burns, Alan
Dale, Chris
[J]. ELECTRONICS WORLD, 2010, 116 (1886): : 18 - 20
[40] HADES: A middleware support for distributed safety-critical real-time applications
Anceaume, E
Cabillic, G
Chevochot, P
Puaut, I
[J]. 18TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 1998, : 344 - 351

← 1 2 3 4 5 →