2021 10th Latin-American Symposium on Dependable Computing (LADC)最新文献_第2页

Characterizing and Injecting Faults in Executable Models Specified with fUML 在用uml指定的可执行模型中描述和注入错误

2021 10th Latin-American Symposium on Dependable Computing (LADC) Pub Date : 2021-11-01 DOI: 10.1109/ladc53747.2021.9672596

Guilherme W. Lopes, Leonardo Montecchi

{"title":"Characterizing and Injecting Faults in Executable Models Specified with fUML","authors":"Guilherme W. Lopes, Leonardo Montecchi","doi":"10.1109/ladc53747.2021.9672596","DOIUrl":"https://doi.org/10.1109/ladc53747.2021.9672596","url":null,"abstract":"Fault Injection (FI) is a well-known system verification technique, in which faults are artificially introduced into a system, to assess its behavior in exceptional conditions. FI can be applied at different levels, including physical, hardware and software. FI has also been applied at model level, although the amount of work in this direction is limited. However, the importance of models in the development of complex systems is growing, pushing towards model-level verification and sim-ulations. The Foundational UML (fUML) is a specific subset of UML, released as an OMG standard, that has a precise execution semantics and can therefore be executed. In this paper we investigate the application of FI to executable models specified with fUML. We first characterize the kind of fault that may be applied to fUML models, and then we realize an injection mechanisms based on automated model transformation. We apply the methodology to a simple example in the space domain, adapted from a real satellite system. We believe this is an important first step for the adoption of FI techniques on fUML models, for an early detection of design flaws. We conclude discussing some challenges and directions for future work.","PeriodicalId":376642,"journal":{"name":"2021 10th Latin-American Symposium on Dependable Computing (LADC)","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126714495","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}

引用次数: 0

CAST Applied to Covid-19 Pandemic in Brazil CAST在巴西Covid-19大流行中的应用

2021 10th Latin-American Symposium on Dependable Computing (LADC) Pub Date : 2021-11-01 DOI: 10.1109/ladc53747.2021.9672568

E. R. Bortoloto, Talitha C. De Oliveira, C. Lahoz, F. Abrahão

引用次数: 0

Towards a Robustness Assessment Methodology for IoT Systems 迈向物联网系统稳健性评估方法

2021 10th Latin-American Symposium on Dependable Computing (LADC) Pub Date : 2021-11-01 DOI: 10.1109/ladc53747.2021.9672573

Bruno A. Jesus, Glauber Leite, Nuno Antunes

{"title":"Towards a Robustness Assessment Methodology for IoT Systems","authors":"Bruno A. Jesus, Glauber Leite, Nuno Antunes","doi":"10.1109/ladc53747.2021.9672573","DOIUrl":"https://doi.org/10.1109/ladc53747.2021.9672573","url":null,"abstract":"Internet-based systems are definitely present in people's daily lives, helping to perform various activities and providing greater comfort and ease in communication. In this context of diversification, every day more devices have access to the network, further increasing the reach and distribution of information around the world, including IoT systems, which are critical in some scenarios. In this context, this paper proposes a methodology to assess the robustness of an IoT System, based on a scenario with an automated system for growing vegetables that was initially designed for residential scale but which can be adapted for industrial scale. We use components commonly used in IoT systems, which facilitates scalability and allows for robustness testing. We aim to test the robustness of these components by creating a test case methodology and performing many test cases for each endpoint. From this analysis we intend to improve security mechanisms in IoT environments with characteristics similar to the proposed scenario. Finally, we will check the behavior of the software components in the presence of errors and problems with the data sent.","PeriodicalId":376642,"journal":{"name":"2021 10th Latin-American Symposium on Dependable Computing (LADC)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129398233","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}

引用次数: 0

A Proposal of a Dynamic Routing Multicast Protocol for Visible Light Communication Networks 一种可见光通信网络动态路由组播协议的提出

2021 10th Latin-American Symposium on Dependable Computing (LADC) Pub Date : 2021-11-01 DOI: 10.1109/ladc53747.2021.9672566

Frederico O. Sales, E. F. Silva, A. Vieira, M. Vieira, L. Vieira

引用次数: 1

Applying STAMP to Support the Synthesis of Controller Logic considering Safety Concerns 考虑安全问题，应用STAMP支持控制器逻辑的综合

2021 10th Latin-American Symposium on Dependable Computing (LADC) Pub Date : 2021-11-01 DOI: 10.1109/ladc53747.2021.9672587

Bráulio Marques Horta, Juliana de Melo Bezerra, C. Hirata

{"title":"Applying STAMP to Support the Synthesis of Controller Logic considering Safety Concerns","authors":"Bráulio Marques Horta, Juliana de Melo Bezerra, C. Hirata","doi":"10.1109/ladc53747.2021.9672587","DOIUrl":"https://doi.org/10.1109/ladc53747.2021.9672587","url":null,"abstract":"Controllers are key components of safety-critical systems. They are responsible for ensuring many of the system requirements through monitoring and action over other components. The traditional approach for designing controllers encompasses careful understanding, analysis, and manual definition of the behavior of the controller. We propose a correct-by-construction method to synthesize the logic of controllers, based on supervisory control theory. In this paper, we focus on using STAMP to support the controller synthesis. STAMP is an accident causation model based on systems theory, which treats accidents and unacceptable losses as a dynamic control problem. Here STAMP aids to capture the system description, supporting the steps related to the definition of components and their interfaces, the specification of components' behavior, the identification of assumptions, and the determination of functional and safety properties. We provide an overview of the method, contextualizing the methods steps with the system of an automatic door. Later, we present a real system of a Nuclear Power Plant and discuss its outcomes.","PeriodicalId":376642,"journal":{"name":"2021 10th Latin-American Symposium on Dependable Computing (LADC)","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134281223","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}

引用次数: 0

WAFERS: Program 晶片:程序

2021 10th Latin-American Symposium on Dependable Computing (LADC) Pub Date : 2021-11-01 DOI: 10.1109/ladc53747.2021.9672555

引用次数: 0

On Building a Vulnerability Dataset with Static Information from the Source Code 基于源代码静态信息构建漏洞数据集的研究

2021 10th Latin-American Symposium on Dependable Computing (LADC) Pub Date : 2021-11-01 DOI: 10.1109/ladc53747.2021.9672589

José D’Abruzzo Pereira, João Henggeler Antunes, M. Vieira

{"title":"On Building a Vulnerability Dataset with Static Information from the Source Code","authors":"José D’Abruzzo Pereira, João Henggeler Antunes, M. Vieira","doi":"10.1109/ladc53747.2021.9672589","DOIUrl":"https://doi.org/10.1109/ladc53747.2021.9672589","url":null,"abstract":"Software vulnerabilities are weaknesses in software systems that can have serious consequences when exploited. Examples of side effects include unauthorized authentication, data breaches, and financial losses. Due to the nature of the software industry, companies are increasingly pressured to deploy software as quickly as possible, leading to a large number of undetected software vulnerabilities. Static code analysis, with the support of Static Analysis Tools (SATs), can generate security alerts that highlight potential vulnerabilities in an application's source code. Software Metrics (SMs) have also been used to predict software vulnerabilities, usually with the support of Machine Learning (ML) classification algorithms. Several datasets are available to support the development of improved software vulnerability detection techniques. However, they suffer from the same issues: they are either outdated or use a single type of information. In this paper, we present a methodology for collecting software vulnerabilities from known vulnerability databases and enhancing them with static information (namely SAT alerts and SMs). The proposed methodology aims to define a mechanism capable of more easily updating the collected data.","PeriodicalId":376642,"journal":{"name":"2021 10th Latin-American Symposium on Dependable Computing (LADC)","volume":"113 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115131412","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}

引用次数: 0

Classification of Denial of Service Attacks on Wi-Fi-based Unmanned Aerial Vehicle 基于wi - fi的无人机拒绝服务攻击分类

2021 10th Latin-American Symposium on Dependable Computing (LADC) Pub Date : 2021-11-01 DOI: 10.1109/ladc53747.2021.9672561

G. Bertoli, L. A. P. Júnior, O. Saotome

引用次数: 3

Techniques for Evaluating the Robustness of Deep Learning Systems: A Preliminary Review 评估深度学习系统鲁棒性的技术:初步综述

2021 10th Latin-American Symposium on Dependable Computing (LADC) Pub Date : 2021-11-01 DOI: 10.1109/ladc53747.2021.9672592

Horacio L. França, César Teixeira, N. Laranjeiro

引用次数: 1

Calibration of BLE beacons and its impact on distance estimation using the log-distance path loss model 利用对数距离路径损耗模型标定BLE信标及其对距离估计的影响

2021 10th Latin-American Symposium on Dependable Computing (LADC) Pub Date : 2021-11-01 DOI: 10.1109/ladc53747.2021.9672575

Leonardo Vanzin, M. Oyamada

引用次数: 1