Application of SOA in Safety-Critical Embedded Systems

被引：0

作者：

Rodrigues, Douglas ^{[1
]}

Pires, Rayner de Melo ^{[1
]}

Estrella, Julio Cezar ^{[1
]}

Vieira, Marco ^{[2
]}

Correa, Mario ^{[3
]}

Camargo Junior, Joao Batista ^{[3
]}

Jaquie Castelo Branco, Kalinka Regina Lucas ^{[1
]}

Trindade Junior, Onofre ^{[1
]}

机构：

[1] Univ Sao Paulo, Inst Math & Comp Sci, Sao Carlos, SP, Brazil

[2] Univ Coimbra, Coimbra, Portugal

[3] Univ Sao Paulo, Sao Paulo, Brazil

来源：

CONVERGENCE AND HYBRID INFORMATION TECHNOLOGY | 2011年 / 206卷

关键词：

Safety-Critical Embedded Systems; Unmanned Aerial Vehicles; Service-Oriented Architecture;

D O I：

暂无

中图分类号：

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

学科分类号：

0812 ;

摘要：

Service-Oriented Architecture (SOA) are having a widespread use in enterprise computing applications, being Web services the most common implementation. The use of SOA has also been proposed for embedded systems, although very little could be found in the literature on the use of SOA for Safety-Critical Embedded Systems. This paper discusses the use of SOA for the development of this class of systems. Safety-critical embedded systems have specific requirements such as high reliability and real time response, making the use of SOA more challenging than for standard applications. To make concepts clear, a case study on Avionics for Unmanned Aerial Vehicles (UAVs) is presented. This is a complex application based on a reference model proposed by the authors. SOA shows to be a promising approach to implement parts of this reference model, especially in what concerns the missions played by the aircraft.

引用

页码：345 / +

页数：3

共 50 条

[21] SAFETY-CRITICAL SYSTEMS
RUDALL, BH
ROBOTICA, 1990, 8 : 184 - 184
[22] Application of Accelerated Processing Units in Safety-Critical Systems
Trawczynski, Dawid
Zalewski, Janusz
SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-ELECTRONIC AND ELECTRICAL SYSTEMS, 2013, 6 (01): : 93 - 101
[23] Testing of Safety-Critical Systems: An Aerospace Launch Application
Gario, Ahmed
Andrews, Anneliese
Hagerman, Seana
2014 IEEE AEROSPACE CONFERENCE, 2014,
[24] Specifying safety-critical embedded systems with statecharts and Z:: A case study
Büssow, R
Geisler, R
Klar, M
FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 1998, 1382 : 71 - 87
[25] Development of a framework for automated systematic testing of safety-critical embedded systems
Kandl, Susanne
Kirner, Raimund
Puschner, Peter
PROCEEDINGS OF THE FOURTH INTERNATIONAL WORKSHOP ON INTELLIGENT SOLUTIONS IN EMBEDDED SYSEMS, 2006, : 65 - +
[26] Dependable polygon-processing algorithms for safety-critical embedded systems
Brandt, J
Schneider, K
EMBEDDED AND UBIQUITOUS COMPUTING - EUC 2005, 2005, 3824 : 405 - 417
[27] SEnSE - An Architecture for a Safe and Secure Integration of Safety-Critical Embedded Systems
Hoefig, Kai
Klug, Amir
2018 26TH INTERNATIONAL CONFERENCE ON SOFTWARE, TELECOMMUNICATIONS AND COMPUTER NETWORKS (SOFTCOM), 2018, : 263 - 267
[28] Design and Implementation of an Escape Analysis in the Context of Safety-Critical Embedded Systems
Lang, Clemens
Stilkerich, Isabella
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2020, 19 (01)
[29] Validation and certification of safety-critical embedded systems -: The DECOS test bench
Schoitsch, Erwin
Althammer, Egbert
Eriksson, Henrik
Vinter, Jormy
Goenczy, Laszlo
Pataricza, Andras
Csertan, Gyoergy
COMPUTER SAFETY, RELIABILTIY, AND SECURITY, PROCEEDINGS, 2006, 4166 : 372 - 385
[30] Improving Methods and Processes for the Development of Safety-Critical Automotive Embedded Systems
Krammer, Martin
Marko, Nadja
Armengaud, Eric
Geyer, Dirk
Griessnig, Gerhard
2010 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2010,

← 1 2 3 4 5 →