Pub Date : 2018-11-01DOI: 10.1109/ICSRS.2018.8688870
Loay Abdelrazek, Marianne A. Azer
Current security issues in mobile networks have great impact on user privacy. With the focus directed to signaling protocols security, network security and air interface encryption, critical configurations and design flaws that would impact user privacy can be overlooked. The leakage of IMSI on the broadcast channels during network paging is a privacy issue worth considering. In this paper, we present an experimental analysis for the IMSI leakage in the GSM broadcast channels during the paging procedure and the impact of this type of passive attack on user's privacy.
{"title":"User Privacy in Legacy Mobile Network Protocols","authors":"Loay Abdelrazek, Marianne A. Azer","doi":"10.1109/ICSRS.2018.8688870","DOIUrl":"https://doi.org/10.1109/ICSRS.2018.8688870","url":null,"abstract":"Current security issues in mobile networks have great impact on user privacy. With the focus directed to signaling protocols security, network security and air interface encryption, critical configurations and design flaws that would impact user privacy can be overlooked. The leakage of IMSI on the broadcast channels during network paging is a privacy issue worth considering. In this paper, we present an experimental analysis for the IMSI leakage in the GSM broadcast channels during the paging procedure and the impact of this type of passive attack on user's privacy.","PeriodicalId":166131,"journal":{"name":"2018 3rd International Conference on System Reliability and Safety (ICSRS)","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134429621","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-11-01DOI: 10.1109/ICSRS.2018.8688880
Rafi M. Saied, S. Thouta
With increasing demand of IoT device and Autonomous driving technology, the need for high performance designs to perform reliably under extreme conditions has become an absolute necessity. In addition to the harsh conditions, the devices must be able to work at high speeds to meet the performance demands. This means the hardware must work in very high temperatures and harsh environmental conditions quickly and reliably. This causes increasing challenges in Reliability verification of hardware designs to ensure the machine is both robust and reliable. There are various reliability aspects such as latch-up, electrostatic discharge (ESD), hot carrier effects and electromigration that are observed in IC design. Several factors impact the reliability verification of design such as process technology used, library design, routing, frequency, voltage and the usage conditions. In order to model all of this correctly, Sign off RV is run in final stages of design when all the layout and design collaterals have stabilized and this effort spent on fixing RV has an impact on Time to Market. In this paper we mainly show how some of the electromigration challenges can be addressed in design early on through correct by construction approach.
随着物联网设备和自动驾驶技术的需求不断增加，对在极端条件下可靠运行的高性能设计的需求已经成为绝对必要的。除了恶劣的条件，设备必须能够在高速下工作，以满足性能要求。这意味着硬件必须在非常高的温度和恶劣的环境条件下快速可靠地工作。这给硬件设计的可靠性验证带来了越来越大的挑战，以确保机器既坚固又可靠。在集成电路设计中，存在各种可靠性方面，如锁存、静电放电(ESD)、热载子效应和电迁移。影响设计可靠性验证的因素有工艺技术、库设计、布线、频率、电压和使用条件等。为了正确建模所有这些内容，Sign off RV在设计的最后阶段运行，此时所有布局和设计附属品都已稳定，并且用于修复RV的工作对上市时间有影响。在本文中，我们主要展示了如何通过正确的施工方法在设计早期解决一些电迁移挑战。
{"title":"Design for Reliability with Early Design Approach","authors":"Rafi M. Saied, S. Thouta","doi":"10.1109/ICSRS.2018.8688880","DOIUrl":"https://doi.org/10.1109/ICSRS.2018.8688880","url":null,"abstract":"With increasing demand of IoT device and Autonomous driving technology, the need for high performance designs to perform reliably under extreme conditions has become an absolute necessity. In addition to the harsh conditions, the devices must be able to work at high speeds to meet the performance demands. This means the hardware must work in very high temperatures and harsh environmental conditions quickly and reliably. This causes increasing challenges in Reliability verification of hardware designs to ensure the machine is both robust and reliable. There are various reliability aspects such as latch-up, electrostatic discharge (ESD), hot carrier effects and electromigration that are observed in IC design. Several factors impact the reliability verification of design such as process technology used, library design, routing, frequency, voltage and the usage conditions. In order to model all of this correctly, Sign off RV is run in final stages of design when all the layout and design collaterals have stabilized and this effort spent on fixing RV has an impact on Time to Market. In this paper we mainly show how some of the electromigration challenges can be addressed in design early on through correct by construction approach.","PeriodicalId":166131,"journal":{"name":"2018 3rd International Conference on System Reliability and Safety (ICSRS)","volume":"15 4","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114039688","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-11-01DOI: 10.1109/ICSRS.2018.8688859
Tobias Schmid, Stefanie Schraufstetter, S. Wagner
Introducing highly automated driving requires to overcome many challenges. Regarding functional safety, the shift from a fail-safe to a fail-operational vehicle control system is necessary to resume the driving task even in the case of a failure. This necessitates a completely new, multi-channel vehicle architecture including enhanced methods for safety analysis and the collating of single analyses on the system level. We introduce an approach based on a system level fault-tree analysis to ensure completeness of the safety analysis and to deduce suitable methods for detailed analysis of each type of fault, such as random hardware or systematic faults, correlating with branches of the fault-tree. Furthermore, we identify components with the necessity of absence of common cause failures.
{"title":"An Approach for Structuring a Highly Automated Driving Multiple Channel Vehicle System for Safety Analysis","authors":"Tobias Schmid, Stefanie Schraufstetter, S. Wagner","doi":"10.1109/ICSRS.2018.8688859","DOIUrl":"https://doi.org/10.1109/ICSRS.2018.8688859","url":null,"abstract":"Introducing highly automated driving requires to overcome many challenges. Regarding functional safety, the shift from a fail-safe to a fail-operational vehicle control system is necessary to resume the driving task even in the case of a failure. This necessitates a completely new, multi-channel vehicle architecture including enhanced methods for safety analysis and the collating of single analyses on the system level. We introduce an approach based on a system level fault-tree analysis to ensure completeness of the safety analysis and to deduce suitable methods for detailed analysis of each type of fault, such as random hardware or systematic faults, correlating with branches of the fault-tree. Furthermore, we identify components with the necessity of absence of common cause failures.","PeriodicalId":166131,"journal":{"name":"2018 3rd International Conference on System Reliability and Safety (ICSRS)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134417031","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-11-01DOI: 10.1109/ICSRS.2018.8688853
M. Hayashi
This paper proposes a new way to evaluate the time-specific failure/success frequencies of a system; such measures are important when designing telecommunications networks as they affect the telecom customers' satisfaction level. Our approach used a 3 by 3 matrix that enables the algorithm for evaluating the availability of system to be transformed into one for evaluating the corresponding time-specific failure/success frequencies by replacing the parameters and operations of the algorithm with matrix parameters and operations. The computational complexity of the algorithm after transformation is the same as (linear with respect to) that of the original availability algorithm. This implies that our method can be easily used in actual situations.
{"title":"Transformation from Availability Expression to Time-Specific Failure/Success Frequency Expressions","authors":"M. Hayashi","doi":"10.1109/ICSRS.2018.8688853","DOIUrl":"https://doi.org/10.1109/ICSRS.2018.8688853","url":null,"abstract":"This paper proposes a new way to evaluate the time-specific failure/success frequencies of a system; such measures are important when designing telecommunications networks as they affect the telecom customers' satisfaction level. Our approach used a 3 by 3 matrix that enables the algorithm for evaluating the availability of system to be transformed into one for evaluating the corresponding time-specific failure/success frequencies by replacing the parameters and operations of the algorithm with matrix parameters and operations. The computational complexity of the algorithm after transformation is the same as (linear with respect to) that of the original availability algorithm. This implies that our method can be easily used in actual situations.","PeriodicalId":166131,"journal":{"name":"2018 3rd International Conference on System Reliability and Safety (ICSRS)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123256079","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-11-01DOI: 10.1109/ICSRS.2018.8688845
Zhiguo Zeng, E. Zio
In this paper, an optimization model is developed for optimal design of the safety barriers in a nuclear power plant. By applying the developed model, safety barriers of different natures, i.e., the prevention, mitigation, emergency and recovery measures, can be optimized jointly for business continuity. A hierarchical numerical optimization method based on golden search and genetic algorithm is developed to obtain the optimal solutions. A numerical case study regarding the allocation of resources among the safety barriers prevention, mitigation and emergency in a nuclear power plant is worked out to maximize business continuity against the threat of steam generator tube ruptures.
{"title":"Joint Optimization of Business Continuity by Designing Safety Barriers for Accident Prevention, Mitigation and Emergency Responses","authors":"Zhiguo Zeng, E. Zio","doi":"10.1109/ICSRS.2018.8688845","DOIUrl":"https://doi.org/10.1109/ICSRS.2018.8688845","url":null,"abstract":"In this paper, an optimization model is developed for optimal design of the safety barriers in a nuclear power plant. By applying the developed model, safety barriers of different natures, i.e., the prevention, mitigation, emergency and recovery measures, can be optimized jointly for business continuity. A hierarchical numerical optimization method based on golden search and genetic algorithm is developed to obtain the optimal solutions. A numerical case study regarding the allocation of resources among the safety barriers prevention, mitigation and emergency in a nuclear power plant is worked out to maximize business continuity against the threat of steam generator tube ruptures.","PeriodicalId":166131,"journal":{"name":"2018 3rd International Conference on System Reliability and Safety (ICSRS)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124995305","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-11-01DOI: 10.1109/ICSRS.2018.8688829
Yoni Huaynacho, Abel S. Huaynacho
The improvement of software processes plays an important role in the developing of systems that obtain a higher quality product. Redesigning software takes a considerable amount of time. Even making a small change is a difficult task and it takes a long time to obtain better results. Moreover, if the software tools that help this change are not properly managed, the improvement in the development of the System could be stopped. This paper presents a process of changing a web system which uses an initial complex design to another one that uses a simpler and improved development tools such as the ZK and Hibernate Framework, which final result is indeed improved Software.
{"title":"Application of the ZK and Hibernate Framework for the Development of an Educational Web System Using a Local Server","authors":"Yoni Huaynacho, Abel S. Huaynacho","doi":"10.1109/ICSRS.2018.8688829","DOIUrl":"https://doi.org/10.1109/ICSRS.2018.8688829","url":null,"abstract":"The improvement of software processes plays an important role in the developing of systems that obtain a higher quality product. Redesigning software takes a considerable amount of time. Even making a small change is a difficult task and it takes a long time to obtain better results. Moreover, if the software tools that help this change are not properly managed, the improvement in the development of the System could be stopped. This paper presents a process of changing a web system which uses an initial complex design to another one that uses a simpler and improved development tools such as the ZK and Hibernate Framework, which final result is indeed improved Software.","PeriodicalId":166131,"journal":{"name":"2018 3rd International Conference on System Reliability and Safety (ICSRS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125910882","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-11-01DOI: 10.1109/ICSRS.2018.8688875
Z. Lajic, Ioannis Filippopoulos, A. Senteris, M. Pearson
In this paper a new adaptive GLR (generalized likelihood ratio) detector which is able to detect the stable periods of the operation of a vessel has been presented. To assess the performance of a vessel, the stable periods of navigation can be used only. Therefore, having only sensor measurements from the stable periods as the inputs to the system is crucial for proper functioning of an auto logged vessel performance monitoring system. Removing the “contaminated” signals by ship maneuvering, changes in the weather condition or vessel speed would lead to an increase of the reliability of the system. The results from two VLCCs (Very Large Crude Carrier) with high and low frequency data will be shown.
{"title":"Adaptive GLR Change Detector for Increasing Reliability of Vessel Performance System","authors":"Z. Lajic, Ioannis Filippopoulos, A. Senteris, M. Pearson","doi":"10.1109/ICSRS.2018.8688875","DOIUrl":"https://doi.org/10.1109/ICSRS.2018.8688875","url":null,"abstract":"In this paper a new adaptive GLR (generalized likelihood ratio) detector which is able to detect the stable periods of the operation of a vessel has been presented. To assess the performance of a vessel, the stable periods of navigation can be used only. Therefore, having only sensor measurements from the stable periods as the inputs to the system is crucial for proper functioning of an auto logged vessel performance monitoring system. Removing the “contaminated” signals by ship maneuvering, changes in the weather condition or vessel speed would lead to an increase of the reliability of the system. The results from two VLCCs (Very Large Crude Carrier) with high and low frequency data will be shown.","PeriodicalId":166131,"journal":{"name":"2018 3rd International Conference on System Reliability and Safety (ICSRS)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121320828","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-11-01DOI: 10.1109/icsrs.2018.8688714
{"title":"Reviewers ICSRS 2018","authors":"","doi":"10.1109/icsrs.2018.8688714","DOIUrl":"https://doi.org/10.1109/icsrs.2018.8688714","url":null,"abstract":"","PeriodicalId":166131,"journal":{"name":"2018 3rd International Conference on System Reliability and Safety (ICSRS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131115824","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Industrial Internet of things is becoming a boon to Original Equipment Manufacturers (OEMs) offering after-sales services such as condition-based maintenance and extended warranty for their products. These companies leverage novel digital information infrastructures to improve daily industrial activities, including data collection, remote monitoring and advanced condition-based maintenance services. The emergence of digital infrastructure and new business prospects via servi-tization and quality services encourage companies to collect vast amounts of data that have been generated in different stages of product lifecycles. Despite of the potential benefits, companies are unable to fully harness the opportunities presented by digital information infrastructure because there exist several platforms with variations in technologies and standards resulting in interoperability challenges. This becomes particularly critical when a company sells its products to several clients with different technologies. To overcome such challenges, we investigate the Open Messaging Interface (O-MI) and Open Data Format (O-DF), flexible messaging and data exchange standards that enable seamless integration of different systems. These standards enable interoperability and support time-centric, event-centric, and rate-centric modes of data exchange.
{"title":"Data Exchange Standard for Industrial Internet of Things","authors":"Manik Madhikermi, Narges Yousefnezhad, Kary Främling","doi":"10.1109/ICSRS.2018.8688847","DOIUrl":"https://doi.org/10.1109/ICSRS.2018.8688847","url":null,"abstract":"Industrial Internet of things is becoming a boon to Original Equipment Manufacturers (OEMs) offering after-sales services such as condition-based maintenance and extended warranty for their products. These companies leverage novel digital information infrastructures to improve daily industrial activities, including data collection, remote monitoring and advanced condition-based maintenance services. The emergence of digital infrastructure and new business prospects via servi-tization and quality services encourage companies to collect vast amounts of data that have been generated in different stages of product lifecycles. Despite of the potential benefits, companies are unable to fully harness the opportunities presented by digital information infrastructure because there exist several platforms with variations in technologies and standards resulting in interoperability challenges. This becomes particularly critical when a company sells its products to several clients with different technologies. To overcome such challenges, we investigate the Open Messaging Interface (O-MI) and Open Data Format (O-DF), flexible messaging and data exchange standards that enable seamless integration of different systems. These standards enable interoperability and support time-centric, event-centric, and rate-centric modes of data exchange.","PeriodicalId":166131,"journal":{"name":"2018 3rd International Conference on System Reliability and Safety (ICSRS)","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132736802","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-11-01DOI: 10.1109/icsrs.2018.8688841
Fatima Sifou, M. Marwan, A. Hammouch
Security and privacy are the main challenges in the internet of things (IoT) environment. With devices are interconnected and connected to the internet in this open environment, unauthorized alteration, access to confidential data, or even denial of service frequently occurr. To address those vulnerabilities, it is necessary to implement an access. Previous research shows that OM-AM is appropriate for architecture handling security problems in a dynamic environment such as IoT. This framework comprises four layers, i.e. objective, model, architecture and mechanism. Our contribution consists in applying OM-AM to an Attribute-based access control (ABAC) model to protect IoT device ‘data in cloud resources.
{"title":"Applying OM-AM Reference to an ABAC Model for Securing Cloud-Enabled Internet of Things","authors":"Fatima Sifou, M. Marwan, A. Hammouch","doi":"10.1109/icsrs.2018.8688841","DOIUrl":"https://doi.org/10.1109/icsrs.2018.8688841","url":null,"abstract":"Security and privacy are the main challenges in the internet of things (IoT) environment. With devices are interconnected and connected to the internet in this open environment, unauthorized alteration, access to confidential data, or even denial of service frequently occurr. To address those vulnerabilities, it is necessary to implement an access. Previous research shows that OM-AM is appropriate for architecture handling security problems in a dynamic environment such as IoT. This framework comprises four layers, i.e. objective, model, architecture and mechanism. Our contribution consists in applying OM-AM to an Attribute-based access control (ABAC) model to protect IoT device ‘data in cloud resources.","PeriodicalId":166131,"journal":{"name":"2018 3rd International Conference on System Reliability and Safety (ICSRS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129873686","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：