Keyword : safety


Safety Technologies in Autonomous Decentralized Railway Control System and its Future Studies
Shinichi RYOKI Takashi KUNIFUJI Toshihiro ITOH 
Publication:   
Publication Date: 2018/08/01
Vol. E101-B  No. 8 ; pp. 1768-1774
Type of Manuscript:  INVITED PAPER (Special Section on Autonomous Decentralized Systems Technologies and Approaches Innovation through Structure Change of Society and Life)
Category: 
Keyword: 
railwaysignalling systemnetworkautonomous decentralized technologysafetywirelessization
 Summary | Full Text:PDF(2.1MB)

Privacy-Enhancing Trust Infrastructure for Process Mining
Sven WOHLGEMUTH Kazuo TAKARAGI 
Publication:   
Publication Date: 2018/01/01
Vol. E101-A  No. 1 ; pp. 149-156
Type of Manuscript:  Special Section PAPER (Special Section on Cryptography and Information Security)
Category: 
Keyword: 
resiliencerisk managementsafetyaccountabilityopen data
 Summary | Full Text:PDF(2.2MB)

A Safe and Comprehensive Route Finding Algorithm for Pedestrians Based on Lighting and Landmark Conditions
Siya BAO Tomoyuki NITTA Masao YANAGISAWA Nozomu TOGAWA 
Publication:   
Publication Date: 2017/11/01
Vol. E100-A  No. 11 ; pp. 2439-2450
Type of Manuscript:  PAPER
Category: Intelligent Transport System
Keyword: 
pedestrianlightinglandmarkroad widthturning pointanxietysafetycomprehensiveness
 Summary | Full Text:PDF(4.1MB)

Timed Model-Based Formal Analysis of a Scheduler of Qplus-AIR, an ARINC-653 Compliance RTOS
Sanghyun YOON Dong-Ah LEE Eunji PAK Taeho KIM Junbeom YOO 
Publication:   
Publication Date: 2017/10/01
Vol. E100-D  No. 10 ; pp. 2644-2647
Type of Manuscript:  LETTER
Category: Software System
Keyword: 
Qplus-AIRmodel checkingreal-time operating systemsafety
 Summary | Full Text:PDF(446.6KB)

Safety Evaluation for Upgraded Avionics System
Chao ZHANG Xiaomu SHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2016/04/01
Vol. E99-A  No. 4 ; pp. 849-852
Type of Manuscript:  LETTER
Category: Reliability, Maintainability and Safety Analysis
Keyword: 
safetysafety evaluationupgraded avionicsintegrated avionics systemsynthetic communication
 Summary | Full Text:PDF(2MB)

An Algorithm for Allocating User Requests to Licenses in the OMA DRM System
Nikolaos TRIANTAFYLLOU Petros STEFANEAS Panayiotis FRANGOS 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2013/06/01
Vol. E96-D  No. 6 ; pp. 1258-1267
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Formal Methods
Keyword: 
mobile DRMOMAorder of rights object evaluationCafeOBJsafetyinvariant properties
 Summary | Full Text:PDF(275.7KB)

Effects on Productivity and Safety of Map and Augmented Reality Navigation Paradigms
Kyong-Ho KIM Kwang-Yun WOHN 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2011/05/01
Vol. E94-D  No. 5 ; pp. 1051-1061
Type of Manuscript:  PAPER
Category: Human-computer Interaction
Keyword: 
map navigationAR navigationproductivitysafetydriving performance and situation awareness
 Summary | Full Text:PDF(1.5MB)

RAMC: A RSU-Assisted Multi-Channel Coordination MAC Protocol for VANET
Kai LIU Jinhua GUO Ning LU Fuqiang LIU Xinhong WANG Ping WANG 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2011/01/01
Vol. E94-B  No. 1 ; pp. 203-214
Type of Manuscript:  PAPER
Category: Wireless Communication Technologies
Keyword: 
DSRCmulti-channelsafetynon-safetyMACbroadcast
 Summary | Full Text:PDF(1MB)

Consistency Checking of Safety and Availability in Access Control
Ruixuan LI Jianfeng LU Zhengding LU Xiaopu MA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2010/03/01
Vol. E93-D  No. 3 ; pp. 491-502
Type of Manuscript:  Special Section PAPER (Special Section on Trust, Security and Privacy for Pervasive Applications)
Category: 
Keyword: 
access controlavailabilityconsistency checkingsafetyseparation-of-duty
 Summary | Full Text:PDF(281.4KB)

A Static Bug Detector for Uninitialized Field References in Java Programs
Sunae SEO Youil KIM Hyun-Goo KANG Taisook HAN 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2007/10/01
Vol. E90-D  No. 10 ; pp. 1663-1671
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
Java object initializationsoftware verificationprogram analysissafety
 Summary | Full Text:PDF(278KB)

Railways and Space -- Their Assurance System
Shuichiro YAMANOUCHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2003/10/01
Vol. E86-D  No. 10 ; pp. 2063-2069
Type of Manuscript:  INVITED PAPER (IEICE/IEEE Joint Special Issue on Assurance Systems and Networks)
Category: 
Keyword: 
spacerailwayssafetyquality management
 Summary | Full Text:PDF(600.7KB)

The Future of EMC Technology
Shuichi NITTA 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2000/03/25
Vol. E83-B  No. 3 ; pp. 435-443
Type of Manuscript:  INVITED PAPER (Special Issue on Recent Progress in Electromagnetic Compatibility Technology)
Category: 
Keyword: 
EMC (electromagnetic compatibility)safety
 Summary | Full Text:PDF(411.2KB)

A New Verification Framework of Object-Oriented Design Specification for Small Scale Software
Eun Mi KIM Shinji KUSUMOTO Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1997/01/25
Vol. E80-D  No. 1 ; pp. 51-56
Type of Manuscript:  Special Section PAPER (Special Issue on Fault-Tolerant Computing)
Category: Verification
Keyword: 
safetycorrectnessobject-oriented designdesign review
 Summary | Full Text:PDF(525.7KB)

Present and Future Automotive Electronics
Shuji MIZUTANI 
Publication:   IEICE TRANSACTIONS on Electronics
Publication Date: 1993/12/25
Vol. E76-C  No. 12 ; pp. 1713-1716
Type of Manuscript:  INVITED PAPER (Special Issue on ASICs for Automotive Electronics)
Category: 
Keyword: 
automotive electronicspursuit of comfortenvironmental issuessafetyelectric automobileautomatic driving
 Summary | Full Text:PDF(398.6KB)

Design of Robust-Fault-Tolerant Multiple-Valued Arithmetic Circuits and Their Evaluation
Takeshi KASUGA Michitaka KAMEYAMA Tatsuo HIGUCHI 
Publication:   IEICE TRANSACTIONS on Electronics
Publication Date: 1993/03/25
Vol. E76-C  No. 3 ; pp. 428-435
Type of Manuscript:  Special Section PAPER (Special Issue on Multiple-Valued Integrated Circuits)
Category: 
Keyword: 
robust-fault-tolerant arithmetic circuitbitonic sorter three-valued distributed codingsafetyscaler multiple-valued current-mode circuit
 Summary | Full Text:PDF(758.4KB)