Table of Contents

• Towards a Model-centric Approach for Developing Dependable Smart Grid ApplicationsMichael Fischinger, Norbert Egger, Christoph Binder, Christian Neureiter. 1-9 [doi]
• Selective Duplication and Selective Comparison for Data Flow Error DetectionVenu Babu Thati, Jens Vankeirsbilck, Jeroen Boydens, Davy Pissoort. 10-15 [doi]
• Applications of Graph Integration to Function Comparison and Malware ClassificationMichael A. Slawinski, Andy Wortman. 16-24 [doi]
• A Novel Software Reliability Growth Model of Safety-critical Software Considering Fault Severity ClassificationChao Guo, Shuqiao Zhou, Jianghai Li, Fan Chen, Duo Li, Xiaojin Huang. 25-29 [doi]
• Blockchain-Based Model for Software LicensingViktorija Stepanova, Ingars Erins. 30-34 [doi]
• Multi-Sensor Data Fusion for the Vessel Trim Analyzer and Optimization PlatformIoannis Filippopoulos, Zoran Lajic, Georgios Mitsopoulos, Alexandros Senteris, Mark Pearson. 35-40 [doi]
• Achieving Zero Collision Probability in Vehicle Platooning under Cyber Attacks via Machine LearningMaurizio Mongelli, Marco Muselli, E. Ferrari. 41-45 [doi]
• Condition Based Maintenance for Industrial Labeling MachineAntonio Acernese, Carmen Del Vecchio, Massimo Tipaldi, Luigi Glielmo. 46-50 [doi]
• Systems Modeling Using Big Data Analysis Techniques and EvidenceSebastian T. Glavind, Juan G. Sepulveda, Jianjun Qin, Michael H. Faber. 51-59 [doi]
• Data Reconstruction Accuracy of Compressive Sleeping Scheme with Modified S-MAC for Body Sensor NetworksElsa Nur Fitri Astuti, Ida Wahidah, Fiky Yosep Suratman. 60-65 [doi]
• Quantifying the Robustness of Network ControllabilityPeng Sun, Robert E. Kooij, Zhidong He, Piet Van Mieghem. 66-76 [doi]
• The Time Losses as a Reliability of Transport in the Municipal Network during the Mass EventMonika Ziemska, Leszek Smolarek. 77-80 [doi]
• A Reliable Lightweight Communication Method via Chain VerificationXuewei Feng, Jin Li. 81-85 [doi]
• Boosting IoT Efficiency and Security through Blockchain: Blockchain-based Car Insurance Process - A Case StudySalam Ismail Rasheed Khanji, Farkhund Iqbal, Zakaria Maamar, Hakim Hacid. 86-93 [doi]
• A Modified Layer of Protection Analysis for Cyber-Physical Systems SecurityAshraf Tantawy, Abdelkarim Erradi, Sherif Abdelwahed. 94-101 [doi]
• Reliability of Systems with Simultaneous and Consecutive FailuresTetsushi Yuge. 102-106 [doi]
• Comparative Analysis of Pseudorange Error of GPS and GLONASS Satellite SystemsJustyna Tomaszewska, Marta Woch, Jakub Krzyszkowski, Mariusz Zieja. 107-110 [doi]
• Availability Analysis of IP Multimedia Subsystem in Cloud EnvironmentsMario Di Mauro, Giovanni Galatro, Maurizio Longo, Fabio Postiglione, Marco Tambasco. 111-115 [doi]
• Credibility Analysis for Available Information Sources on the Web: A Review and a ContributionIrvin Dongo, Yudith Cardinale, Ana Isabel Aguilera. 116-125 [doi]
• Tool-Supported Dependability Analysis of Semi-Markov Processes with Application to Autonomous DrivingStefan Kaalen, Mattias Nyberg, Carl Bondesson. 126-135 [doi]
• Embedded Intrusion Detection System for Detecting Attacks over CAN-BUSMario Casillo, Simone Coppola, Massimo De Santo, Francesco Pascale, Emanuele Santonicola. 136-141 [doi]
• Lightweight Ciphers in Automotive Networks: A Preliminary ApproachArcangelo Castiglione, Francesco Palmieri 0002, Francesco Colace, Marco Lombardi, Domenico Santaniello. 142-147 [doi]
• VoI-Based Optimal Sensors Positioning and the Sub-Modularity IssueSeyed Mojtaba Hoseyni, Francesco Di Maio, Enrico Zio. 148-152 [doi]
• The Research of Traceability Algorithm for Hazardous Gas Leakage Based on the Trajectory of CentroidsHaili Wu, Lei Guan. 153-160 [doi]
• Health Monitoring by Physical Modeling and Statistical LearningClaire-Eleuthèriane Gerrer, Sylvain Girard. 161-165 [doi]
• Leakage Analysis of Copper Pipe for Air ConditionerWeiguo Hou, Tingting Yan, Chun Yuan, Dengke Pan. 166-170 [doi]
• Simulation Study of Reactor Protection System Periodic Test Using Monte Carlo MethodDuo Li, Shuqiao Zhou, Chao Guo, Wenbin Wei 0005. 171-174 [doi]
• Application of FTIR Method to Monitor the Service Condition of Used Diesel Engine Lubricant OilYue Liu, Ke Bao, Qiufang Wang, Enrico Zio. 175-180 [doi]
• Reliability and Maintenance Cost Forecasting for Systems with Multistate Components Using Artificial Neural NetworksPhuc Do, Benoît Iung, Cristiano Cavalcante. 181-185 [doi]
• Optimal Design of Constant-Stress Accelerated Degradation Test for Motorized SpindlesJinyan Guo, Zhaojun Yang, Chuanhai Chen, Hailong Tian. 186-192 [doi]
• Reliability Assessment of Protection Schemes for Series Compensated Transmission LinesMd. Tanbhir Hoq, Md Zakaria Habib, Ebrahim Shayesteh, Nathaniel Taylor. 193-197 [doi]
• Research on Extreme Value Distribution of Cutting Force in CNC Lathe Based on Generalized Extreme Value DistributionShengxu Wang, Guofa Li, Haiji Yang, Jialong He. 198-202 [doi]
• UAS Operators Safety and Reliability Survey: Emerging Technologies towards the Certification of Autonomous UASMatthew Osborne, Jennifer Lantair, Zain Shafiq, Xingyu Zhao 0001, Valentin Robu, David Flynn, John Perry. 203-212 [doi]
• Power Converter Maintenance Optimization Using a Model-Based Digital Reliability Twin ParadigmLukas Felsberger, Benjamin Todd, Dieter Kranzlmüller. 213-217 [doi]
• Reliability Assessment of Optoelectronic Systems with Stochastic Interactions under Accelerated Degradation TestingMinh-Tuan Truong, Phuc Do, Laurent Mendizabal, Benoit Iung. 218-223 [doi]
• Reliability and Maintainability Analysis of Material Handling Machinery in Golegohar Mine No. 1Mohammad Ali Nabizadeh, Seyed Mohammad Esmaeil Jalali, Abbas Soltani, Amir Khademian, Javad Barabady. 224-229 [doi]
• Automated Reliability Assessment of On-orbit Satellite Battery Pack Based on UMLPidong Wang, Lefei Li, Guanghao Li, Hongyi Li, Zongren Wang. 230-235 [doi]
• *Soheila Sheikh Bahaei, Barbara Gallina, Karin Laumann, Martin Rasmussen Skogstad. 236-245 [doi]
• A State-based Extension to STPA for Safety-Critical System-of-SystemsStephan Baumgart, Joakim Fröberg, Sasikumar Punnekkat. 246-254 [doi]
• A Collision Avoidance Manoeuvre and Ship Domain Based Model for Identifying Collision Risk Index between ShipsZihao Liu, Zhaolin Wu, Zhongyi Zheng. 255-261 [doi]
• Toward Optimum Resiliency: Practical Alignment of BCM and ERM ProcessesWael A. Althobaiti, Saleh A. Aloraini. 262-266 [doi]
• A Conceptual Modeling Framework for Evaluating the Performance of Predictive Maintenance for Modern, Real-World Production Systems using Potentials and Risks of Industry 4.0Clemens Gutschi, Nikolaus Furian, Johannes Pan, Siegfried Vössner. 267-274 [doi]
• *Soheila Sheikh Bahaei, Barbara Gallina. 275-282 [doi]
• Proposal of a Systematic Approach to Risk Assessment and Management in Space StationFulvio Enzo Ramundo, Lorenzo Fedele. 283-289 [doi]
• Modeling Risk Influencing Factors of Hydrocarbon Release Accidents in Maintenance Operations using FRAMBehnaz Hosseinnia, Nima Khakzad, Riccardo Patriarca, Nicola Paltrinieri. 290-294 [doi]
• Failure Mode ReasoningHamid Jahanian. 295-303 [doi]
• Fault Detection and Identification Method Based on Genetic Algorithms to Monitor Degradation of Electrohydraulic ServomechanismsMatteo D. L. Dalla Vedova, Pier Carlo Berri, Giuseppe Bonanno, Paolo Maggiore. 304-311 [doi]
• Application of Distributed Machine Learning Model in Fault Diagnosis of Air PreheaterHaokun Lei, Jian Liu, Chun Xian. 312-317 [doi]
• Generative Adversarial Network Based Multi-class Imbalanced Fault Diagnosis of Rolling BearingQianjun Liu, Guijun Ma, Cheng Cheng. 318-324 [doi]
• Research on Fault Diagnosis Method of Axial Flow Induced Draft Fan of Power Plant Based on Machine LearningPeng Tao, Jian Liu, Tianxi Liang. 325-330 [doi]
• Transformation of Vessel Performance System into Fault-tolerant Syste - Example of Fault Detection on Speed LogZoran Lajic, Alexandros Senteris, Ioannis Filippopoulos, Mark Pearson. 331-338 [doi]
• Adaptive Extended Kalman Filter for Actuator Fault DiagnosisMartin Skriver, Jannes Helck, Agus Hasan. 339-344 [doi]
• Data-Driven Fault Diagnosis of Once-through Benson BoilersMehdi Saman Azari, Francesco Flammini, Mauro Caporuscio, Stefania Santini. 345-354 [doi]
• Research on Accelerated Life Test Method of Electronic Products Base on Multidimensional Stress CouplingXinggao Zhu, Shijin Shi, Hailong Cheng, Baidong Jin. 355-358 [doi]
• Stress Intensity Factors for Thick-walled Cylinder under Interference FitJun Ying, Zhaojun Yang, Chuanhai Chen, Xiaoxu Li, Hailong Tian. 359-363 [doi]
• Research on Reliability and Working Life Assessment Method of Mechanical and Electrical Products in Weapon EquipmentShenggang Xu, Jin Li, Jiale Lu, Rushan Cai. 364-368 [doi]
• A Method to Empirically Set the Coefficients of an Analytical Model of Battery AgingAlberto Bocca. 369-373 [doi]
• A Method for Conservative Damage Estimation Based on Linear Damage AccumulationRan Ding, Qiang Li, Wenjing Wang, Hua Zou, Xincan Jin. 374-379 [doi]
• A Model Optimization Method for Accelerated Degradation Test DataXiaobing Li, Guangze Pan, Jun Ying, Xiaocui Zhu. 380-384 [doi]
• About Spare Parts Cannibalization for Rotable Items a Preliminary Approach for Inventory ControlGiulio Di Gravio, Luca Venanzi, Francesco Costantino, Riccardo Patriarca, Massimo Tronci. 385-389 [doi]
• Operation Assessment of Service Water Systems under Periodic Inspection and MaintenanceWei Wang, Linggang Zeng, Jun Zhao, Bo Li. 390-393 [doi]
• System of Systems Hazard Analysis Using HAZOP and FTA for Advanced Quarry ProductionFaiz Ul Muram, Muhammad Atif Javed, Sasikumar Punnekkat. 394-401 [doi]
• Resilience Assessment of China's Natural Gas Supply System Based on Ecological Network AnalysisXueyi Li, Jinjun Zhang, Huai Su, Enrico Zio. 402-406 [doi]
• Reliability Analysis of the Light Truck Frame Based on Statics Structure and Response Surface MethodologyChuanhai Chen, Junqi Long, Hailong Tian, Zhaojun Yang, Zhicheng Zhang, Xu Jia. 407-413 [doi]
• Implicit 4DVar Particle Filter State Estimation of Dynamic Power Systems: Preliminary ResultsBahri Uzunoglu. 414-420 [doi]
• Power Resilience Assessment from Physical and Socio-Demographic PerspectivesMehmet Baran Ulak, Anil Yazici, Eren Erman Ozguven, O. Arda Vanli, Reza Arghandeh. 421-428 [doi]
• Optimized Mesoscale Wind Farm Placement Constrained by Power System Including Earthquake Damage CostsAli Erduman, Bahri Uzunoglu. 429-435 [doi]
• Resilience Analysis of Multistate Systems Based on Markov Reward ProcessesShijia Du, Zhiguo Zeng, Yi-Ping Fang, Qingqing Zhai. 436-440 [doi]
• Natural Reliability Growth Trend Test Application on Electromechanical SystemXiaobing Li, Mingxi Cai, Jingyan Guo, Xiaocui Zhu. 441-445 [doi]
• Global Sensitivity Analysis for Power Systems via Quasi-Monte Carlo MethodsJamie Fox, Giray Ökten, Bahri Uzunoglu. 446-451 [doi]
• Accellerating PRISM Validation of Vehicle Platooning Through Machine LearningMaurizio Mongelli, Marco Muselli, Andrea Scorzoni, Enrico Ferrari. 452-456 [doi]
• Assisted Diagnostics Methodology for Complex High-Tech ApplicationsMarina Velikova, Carmen Bratosin, Alexander Ypma, Vera Lemmen, Robert Jan van Wijk. 457-463 [doi]
• Models of Margin: From the Mathematical Formulation to an Operational ImplementationAdrien Touboul, Romain Barbedienne, Jean-Michel Edaliti. 464-473 [doi]
• On the Benefit of Mixing Varied Professional Skills to Better Handle Improvisation Phases in Crisis Management: A Qualitative Survey Conducted in Geneva and Valais, SwitzerlandEmmanuel Fragnière, Dimitri Konstantas, Jean-Jaques Kohler. 474-478 [doi]
• Collision Response of a Cutting Energy Absorber and Its Application to Crashworthiness of Metro TrainsJiangfeng Ding, Xiaorui Wang. 479-483 [doi]
• A Safety Argumentation for Fail-Operational Automotive Systems in Compliance with ISO 26262Tobias Schmid, Stefanie Schraufstetter, Stefan Wagner 0001, Dominik Hellhake. 484-493 [doi]
• An Approach for Safety Assessment of Highly Automated Systems Applied to a Maritime Traffic Alert and Collision Avoidance SystemSebastian Vander Maelen, Matthias Büker, Birte Kramer, Eckard Böde, Sebastian Gerwinn, Georg Hake, Axel Hahn. 494-503 [doi]
• Actionable Safety Analyses in Socio-technical Systems with myFRAMGiulio Di Gravio, Francesco Costantino, Andrea Falegnami, Riccardo Patriarca. 504-508 [doi]
• Safety-Lifecycle of Modular Process Plants - Information Model and WorkflowAnselm Klose, Christian Bramsiepe, Stefanie Szmais, Christian Schäfer, Niclas Krink, Wolfgang Welscher, Leon Urbas. 509-517 [doi]
• Tool-Supported Requirement Engineering: A Categorization of the State of the Art and Research TrendsMariana Cadena-Romero, Jorge Octavio Ocharán-Hernández, María de los Ángeles Arenas-Valdés, Juan Carlos Pérez Arriaga. 514-523 [doi]
• Environmental Safety Evaluation Technology of Unmanned Aerial Vehicles Based on Quality Function DeploymentMing-Xi Cai, Xiao-Bing Li, Wen-An Mo, Sheng-Gang Xu, Jian-Feng Yang. 518-522 [doi]
• Extended Matrix Approach for Differential Calculus and Its Application to Reliability EngineeringMizuki Soeda, Masahiro Hayashi. 533-538 [doi]
• Semantic Mapping for Model Transformation Between AADL2 and HiP-HOPSZhibao Mian, Yaqing Gao, Xiaodong Shi, Cairong Tang. 539-543 [doi]
• Interval Type-2 Fuzzy Reliability Modeling for Recycling FacilityEsra Çakir, H. Ziya Ulukan. 544-548 [doi]
• A Cost Modeling Method Based on AADL2Zhibao Mian, Cairong Tang, Yaqing Gao, Shuli Jia, Xiaodong Shi, Junjie Chen. 549-553 [doi]
• Applying SafeComp, a Formal Integrated System Modeling Framework, to the Design of a Steam Generator ControllerBruno Monsuez, Michel Nakhlé. 554-560 [doi]
• Supply-at-Risk: Resilience Metric for Infrastructure Systems: Framework for assessing and comparing resilience of infrastructure systems in urban areasMateusz Iwo Dubaniowski, Hans Rudolf Heinimann. 561-565 [doi]
• Compiling Compression Load Spectrum of Servo Turret Based on Finite Element and Information Entropy MethodBo Sun, Zhaojun Yang, Chuanhai Chen, Hailong Tian, Wei Hu, Xu Jia. 566-571 [doi]
• Reliability Modelling Method of Computerized Numerical Control Machine Tools Based on the Improved Posterior DistributionXiaolei Li, Mingjun Chen, Chuanhai Chen, Tongtong Jin, Dong Zhu, Zhaojun Yang. 572-577 [doi]
• Rapid Modeling and Simulation for the Stiffness and Modal Analysis of the Stainless Steel Subway CarbodyJiangfeng Ding, Qiang Gao. 578-583 [doi]
• Reliability Modeling for Hydraulic Components of Heavy Duty Machine Tools Based on Degradation Path for Oil ContaminationChuanhai Chen, Junqi Long, Hailong Tian, Zhaojun Yang, Shizheng Li, Xinda Zhou, Dachuan Wang. 584-589 [doi]