高信頼RTミドルウエアの開発

Similar documents
2. IEC61508 ISO WD IEC6150 SIL( Safety Integrity Level ) ISO WD2626 ASIL( Automotive Safety Integrity Level ) SIL/ASIL (tolerable risk) (Residu

17 Proposal of an Algorithm of Image Extraction and Research on Improvement of a Man-machine Interface of Food Intake Measuring System

PowerPoint


Huawei G6-L22 QSG-V100R001_02

untitled


スライド 1

Vol. 48 No. 4 Apr LAN TCP/IP LAN TCP/IP 1 PC TCP/IP 1 PC User-mode Linux 12 Development of a System to Visualize Computer Network Behavior for L

Fig. 2 Signal plane divided into cell of DWT Fig. 1 Schematic diagram for the monitoring system

Vol.55 No (Jan. 2014) saccess 6 saccess 7 saccess 2. [3] p.33 * B (A) (B) (C) (D) (E) (F) *1 [3], [4] Web PDF a m

橡自動車~1.PDF

206“ƒŁ\”ƒ-fl_“H„¤‰ZŁñ

JIS Z 9001:1998JIS Z 9002:1998 ISO/IEC 17025ISO/IEC Guide 25

Vol. 48 No. 3 Mar PM PM PMBOK PM PM PM PM PM A Proposal and Its Demonstration of Developing System for Project Managers through University-Indus

258 5) GPS 1 GPS 6) GPS DP 7) 8) 10) GPS GPS ) GPS Global Positioning System


RAMS の認証とセーフティケース 1) 独立行政法人産業技術総合研究所, 2) 西日本旅客鉄道株式会社 相馬大輔 1) 田口研治 1), 西原秀明 1), 大岩寛 1), 矢田部俊介 2), 森崇 2) 1

untitled

GPGPU

特-11.indd


IEC :2014 (ed. 4) の概要 (ed. 2)


Design and Implementation of Centralized Financial Management system 厦门大学博硕士论文摘要库

THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS TECHNICAL REPORT OF IEICE.

1 Table 1: Identification by color of voxel Voxel Mode of expression Nothing Other 1 Orange 2 Blue 3 Yellow 4 SSL Humanoid SSL-Vision 3 3 [, 21] 8 325

モバイルネットワーク管理システム

Journal of Geography 116 (6) Configuration of Rapid Digital Mapping System Using Tablet PC and its Application to Obtaining Ground Truth

EQUIVALENT TRANSFORMATION TECHNIQUE FOR ISLANDING DETECTION METHODS OF SYNCHRONOUS GENERATOR -REACTIVE POWER PERTURBATION METHODS USING AVR OR SVC- Ju

Table 1 Utilization of Data for River Water Table 2 Utilization of Data for Groundwater Quality Analysis5,6,9,10,13,14) Quality Analysis5-13) Fig. 1 G

橡最終原稿.PDF

Web-ATMによる店舗向けトータルATMサービス

幅広い業種や業務に適応可能なRFIDソリューション

コーセーの発展史

3_39.dvi

1 UD Fig. 1 Concept of UD tourist information system. 1 ()KDDI UD 7) ) UD c 2010 Information Processing S

Fig. 1 Schematic construction of a PWS vehicle Fig. 2 Main power circuit of an inverter system for two motors drive

<95DB8C9288E397C389C88A E696E6462>

28 Docker Design and Implementation of Program Evaluation System Using Docker Virtualized Environment

企業の信頼性を通じたブランド構築に関する考察

73-5 大友

Tab 5, 11 Tab 4, 10, Tab 3, 9, 15Tab 2, 8, 14 Tab 1, 7, 13 2

Vol. 42 No MUC-6 6) 90% 2) MUC-6 MET-1 7),8) 7 90% 1 MUC IREX-NE 9) 10),11) 1) MUCMET 12) IREX-NE 13) ARPA 1987 MUC 1992 TREC IREX-N

Fig.l Music score for ensemble Fig.Z Definition of each indicator Table I Correlation coefficient between hitting lag variation /,(n) and hitting cycl

Vol.53 No (Mar. 2012) 1, 1,a) 1, 2 1 1, , Musical Interaction System Based on Stage Metaphor Seiko Myojin 1, 1,a

ユーザーズマニュアル

Vol. 42 No. SIG 8(TOD 10) July HTML 100 Development of Authoring and Delivery System for Synchronized Contents and Experiment on High Spe

IPSJ SIG Technical Report Vol.2016-CE-137 No /12/ e β /α α β β / α A judgment method of difficulty of task for a learner using simple

Windows Azure Platformを活用したPaaSサービス:FGCP/A5

6 2. AUTOSAR 2.1 AUTOSAR AUTOSAR ECU OSEK/VDX 3) OSEK/VDX OS AUTOSAR AUTOSAR ECU AUTOSAR 1 AUTOSAR BSW (Basic Software) (Runtime Environment) Applicat

Virtual Window System Virtual Window System Virtual Window System Virtual Window System Virtual Window System Virtual Window System Social Networking

IPSJ SIG Technical Report Vol.2014-IOT-27 No.14 Vol.2014-SPT-11 No /10/10 1,a) 2 zabbix Consideration of a system to support understanding of f

013858,繊維学会誌ファイバー1月/報文-02-古金谷

ÿþ

,,,,., C Java,,.,,.,., ,,.,, i

Appropriate Disaster Preparedness Education in Classrooms According to Students Grade, from Kindergarten through High School Contrivance of an Educati

JOURNAL OF THE JAPANESE ASSOCIATION FOR PETROLEUM TECHNOLOGY VOL. 66, NO. 6 (Nov., 2001) (Received August 10, 2001; accepted November 9, 2001) Alterna

WikiWeb Wiki Web Wiki 2. Wiki 1 STAR WARS [3] Wiki Wiki Wiki 2 3 Wiki 5W1H Wiki Web 2.2 5W1H 5W1H 5W1H 5W1H 5W1H 5W1H 5W1H 2.3 Wiki 2015 Informa

& Vol.5 No (Oct. 2015) TV 1,2,a) , Augmented TV TV AR Augmented Reality 3DCG TV Estimation of TV Screen Position and Ro

1. 1 DBMS Unix (USP ) ( )[3] 20 UNIX [2] KISS UNIX 1. 2 (Tukubai ) Unix OS Unix USP Tukubai Tukubai 1. 3 Unix SQL Tukubai usp Tukubai Open usp Tukubai

Fig. 3 Flow diagram of image processing. Black rectangle in the photo indicates the processing area (128 x 32 pixels).

3_23.dvi

MmUm+FopX m Mm+Mop F-Mm(Fop-Mopum)M m+mop MSuS+FX S M S+MOb Fs-Ms(Mobus-Fex)M s+mob Fig. 1 Particle model of single degree of freedom master/ slave sy

1. 緒言 p 問題の所在 ) p

植物23巻2号

206“ƒŁ\”ƒ-fl_“H„¤‰ZŁñ

特-2.indd

大学における原価計算教育の現状と課題

Table 1. Main specifications of VAD plant. Fig. 2. Typical operating pattern of low alloy steel.

IPSJ SIG Technical Report Vol.2014-CE-127 No /12/7 1,a) 2,3 2,3 3 Development of the ethological recording application for the understanding of

Vol.54 No (July 2013) [9] [10] [11] [12], [13] 1 Fig. 1 Flowchart of the proposed system. c 2013 Information

評論・社会科学 98号(P)☆/1.鰺坂

KII, Masanobu Vol.7 No Spring


Introduction ur company has just started service to cut out sugar chains from protein and supply them to users by utilizing the handling technology of

DEIM Forum 2010 D Development of a La

IPSJ SIG Technical Report Vol.2014-EIP-63 No /2/21 1,a) Wi-Fi Probe Request MAC MAC Probe Request MAC A dynamic ads control based on tra

P2P P2P peer peer P2P peer P2P peer P2P i

null element [...] An element which, in some particular description, is posited as existing at a certain point in a structure even though there is no

_念3)医療2009_夏.indd

0401489‐工芸‐医用画像22‐1/12[論文]柳田

特-3.indd

関西福祉大学紀要 12号(P)/1.太田


LAN LAN LAN LAN LAN LAN,, i

橡

JFE.dvi

Core Ethics Vol.

Table 1 Table 2

I N S T R U M E N T A T I O N & E L E C T R I C A L E Q U I P M E N T STW Symbol Symbol otary switch) 05 otary switch Symbol angle of notch 181

大学論集第42号本文.indb

渡辺(2309)_渡辺(2309)

06’ÓŠ¹/ŒØŒì

130 Oct Radial Basis Function RBF Efficient Market Hypothesis Fama ) 4) 1 Fig. 1 Utility function. 2 Fig. 2 Value function. (1) (2)

YC41S213.ec Jpn Pharmacol Ther vol. 41 supplement 2013 A Proposal for Optimization of Clinical Trial by Central Monitoring System Consolidat

36 Theoretical and Applied Linguistics at Kobe Shoin No. 20, 2017 : Key Words: syntactic compound verbs, lexical compound verbs, aspectual compound ve

XML Tool to Check the Consistency both Software Documents Using XML and Source Programs 1 Summary. Generally, a software consists of source programs a

RTM RTM Risk terrain terrain RTM RTM 48

日本看護管理学会誌15-2

Transcription:

P04 RT,,,,,,,,,,,, Development of Dependable RT-Middleware Noriaki Ando, Geoffrey Biggs, Yoshihiro Nakabo, Daichi Mizuguchi, Kiyoshi Fujiwara, Isao Hara, Tetsuo Kotoku, AIST, Masayoshi Kondo, Mitsuhiro Toyoda, Akihiro Ikezoe, Hiroyki Nakamoto, Yasutoshi Kusama, Masayuki Nagase, SEC Co.,Ltd., Hajime Saito, General Robotix, Inc., Takeshi Sakamoto, Global Assist Co., Ltd. Abstract Dependable RT-Middleware (d-rtm) is implemented to realize component based safety RT-system development in this paper. RT-system which can be harmful to human beings should be dependable and be guaranteed its safety. The d-rtm, which provides RT-Component framework with safety functionalities, is developed according to the IEC 61508 standard for functional safety. Its safety concepts, safety requirement specifications are shown with examples of actual coding with d-rtm. Key Words: Functional safety, dependable systems, RT-Middleware, RT-Component 1. RT RT (Functional Safety) ( : Safety Related System, SRS) (E/E/PES: Electric/Electronic/Programable Electronic IEC 61508[1] RT IEC 61508 (SIL: Safety Integrity Level) [2] 3 RT (Dependable RT-Middleware: d-rtm) d-rtm IEC61508 d-rtm d-rtm Non-safety related systems RTC RTC RTC Communication middleware LwRTC LwRTC LwRTC RT-Middleware Communication middleware Certified real-time OS Safety related systems (certified) Fig.1 RTC based non-srs and LwRTC based SRS architecture. 2. IEC61508 IEC61508 RT P04(

1 Concept 2 Overall scope definition 3 Hazard and risk analysis 4 Overall safety requirements 5 Safety requirements allocation 6 Overall operation and maintainane 7 Overall Overall safety validation 8 Overall installation and commissioning 9 Safaety related systems:e/e/pes Realization (see E/E/PES safety lifecycle) 10 Safety related systems: other technology Realization 11 External risk reduction facilities Realization 12 Overall installation and commisioning 13 Overall safety validation Back to appropriate overall safety lifecycle phase 14 Overall operation, maintenance and repair 15 Overall modification and retrofit 16 Decommissioning or disposal Fig.3 Safety Development Lifecycle. (IEC 1 646/98) RTC Specification d-rtm LightweightRTC Execution Semantics Introspection OpenRTM SDOPackage Fig.2 Supported packages of OMG RTC specification by OpenRTM-aist and RTMSafety. 2 1 RTM (d-rtm) [2]( 1) RT : OpenRTM-aist[4], OpenRTM.NET[5] ( OpenRTM ) [3] [3] LightweigtRTC 2 2 OMG RTC d-rtm OMG RTC 2 3 (LightweightRTC, Execution Semantics, Introspection) 1 (SDOPackage) OpenRTM (RT ) d-rtm d-rtm LightweightRTC Execution Semantics 3. IEC 61508 3 ( ) 3 1, 4 5 3 1 ( 3 1 (Concept) ) d-rtm RTC 1) d-rtm Package, 2) Library Package, 3) Network (N/W) Protocol Library 3 RT OpenRTMaist d-rtm 4 P04(2

d-rtm Package LightweightRTC RTC Library d-rtm OS RTC N/W Protocol Library RTC RTC CORBA CDR (Common Data Representation) RTC RTC RTC RTC RTC LwRTC LwRTC LwRTC LwRTC OpenRTM CORBA OS (a) Conventional RT-Middleware RTMSafety Protocol Library Self check Safety Function Library Safety Function Safety OS Communication with non-safety RTC (b) d-rtm Monitoring Fig.4 Structure comparison between OpenRTM-aist and d-rtm. d-rtm (10 ) SIL3 RTC RTC 3 2 45 ( 3 4 (Overall safety requirements) ) RTC d- RTM RTC OS OS IEC61508 3 3 OS RTC Table 1 d-rtm specification µitron, QNX Neutorino RTOS Safe Kernel C RT + 1 16 0 8 /RTC, InPort/OutPort 1 OutPort 4 µitron: 5ms 1s, QNX: 1ms 1s ( 3 5 (Safety requirements allocation) ) 1 9 RTC RTC Action Activity RTC RTObject RTObject Data Port Data Port Execution Context Execution Context 4. d-rtm OS µitron OS QNX Neutrino RTOS Safe Kernel IEC61508 SIL3 C ( ) C d-rtm 1 d-rtm RT RTC ComponentAction RTC RTC (EC) 5 Component Action on execute C ( MyRtc ) InPort read() P04(

RT Product Only product specific evidence is newly prepared by developer. Original Software Certification Body RTM Safety OS Certified Software of these parts are provided by OS vendor and RTM safety Certification ReturnCode_t MyRtc_on_execute( void ) { : ( ) retval = InPort_read(&gsDataPort_Input, temp, sizeof(temp), &datainfo); retval = Marshalizer_demarshalUShort(temp, &position, datainfo.byteorder, &data); : ( ) return RTC_OK; } Fig.5 An example of on execute function implementation. ReturnCode_t MyRtc_create(MyRtc_t* pself, const ObjectKey_t* psrtcid, const ObjectKey_t* psdataportids) { /* RTC ID */ pself->psrtcid = psrtcid; /* DataPort */ pself->psdataportids = psdataportids; /* */ pself->oninitialize = InputRtc_on_initialize; pself->onfinalize = InputRtc_on_finalize; pself->onstartup : ( ) Fig.7 Certification process by using certified OS and d-rtm. = InputRtc_on_startup; Fig.6 An example of RT-Component construction function. Marshalizer demarshallushort() unsigend short data API OpenRTM d-rtm C C++ OpenRTM 6 RTC OpenRTM 4 1 d-rtm 3 () 7 OS d-rtm OS 5. d-rtm d-rtm IEC61508 [1] Functional safety of electrical / electronic / programmable electronic safety-related systems, IEC 61508, 2005 [2],, Geoffrey BIGGS,, RT, 2010 (SI2010), pp.87-88, 2010.12 [3] OMG Specification, Robotic Technology Component Specification, formal/08-04-04 [4] OpenRTM-aist, http://www.openrtm.org [5] OpenRTM.NET, http://www.sec.co.jp/robot P04(4