Journal of Systems Architecture最新文献_第10页

LACT: Liveness-Aware Checkpointing to reduce checkpoint overheads in intermittent systems LACT：活泼感知检查点，减少间歇性系统中的检查点开销

IF 4.5 2区计算机科学

Journal of Systems Architecture Pub Date : 2024-06-11 DOI: 10.1016/j.sysarc.2024.103213

Youngbin Kim, Yoojin Lim, Chaedeok Lim

{"title":"LACT: Liveness-Aware Checkpointing to reduce checkpoint overheads in intermittent systems","authors":"Youngbin Kim, Yoojin Lim, Chaedeok Lim","doi":"10.1016/j.sysarc.2024.103213","DOIUrl":"10.1016/j.sysarc.2024.103213","url":null,"abstract":"<div><p>Intermittent computing supports execution of the systems experiencing frequent power failures, such as battery-less devices powered by energy-harvesting. In such systems, checkpoint and recovery is a commonly adopted technique, where volatile system states are regularly saved to Non-Volatile Memory (NVM), to preserve computing progress between power cycles. Since checkpoint involves a large number of NVM accesses, which is expensive in terms of both latency and energy, reducing its overhead has been a significant research challenge. In this paper, we present LACT (Liveness-Aware CheckpoinTing), a compiler optimization technique to minimize checkpoint overhead in intermittent systems. At the time of checkpoint execution, there exist <em>dead</em> values in general, which will not be used or overwritten in the future. LACT examines such liveness information, especially in arrays, based on compile-time analysis and excludes the dead values from the checkpoint to reduce required checkpoint data, which is a previously unexplored optimization opportunity. Our evaluation shows that LACT can reduce 46.4% of required checkpoint data without any runtime support, leading to reduction of 31.5% in execution time and a 5.2% decrease in power consumption on average. Our experiments in real energy-harvesting environment demonstrates that such improvement translates to a 31.6% improvement in end-to-end execution time.</p></div>","PeriodicalId":50027,"journal":{"name":"Journal of Systems Architecture","volume":"153 ","pages":"Article 103213"},"PeriodicalIF":4.5,"publicationDate":"2024-06-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141409052","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

GNSS spoofing detection for UAVs using Doppler frequency and Carrier-to-Noise Density Ratio 利用多普勒频率和载波噪声密度比检测无人机的全球导航卫星系统欺骗行为

IF 4.5 2区计算机科学

Journal of Systems Architecture Pub Date : 2024-06-08 DOI: 10.1016/j.sysarc.2024.103212

Xiaomin Wei, Cong Sun, Xinghua Li, Jianfeng Ma

{"title":"GNSS spoofing detection for UAVs using Doppler frequency and Carrier-to-Noise Density Ratio","authors":"Xiaomin Wei, Cong Sun, Xinghua Li, Jianfeng Ma","doi":"10.1016/j.sysarc.2024.103212","DOIUrl":"https://doi.org/10.1016/j.sysarc.2024.103212","url":null,"abstract":"<div><p>Unmanned Aerial Vehicles (UAVs) are typical real-time embedded systems, which require precise locations for completing flight missions. The Global Navigation Satellite System (GNSS) plays a crucial role in navigation and positioning for UAVs. However, GNSS spoofing attacks pose an increasing threat to GNSS-dependent UAVs. Existing spoofing detection methods primarily rely on simulated data, perception data from multiple UAVs, or various control parameters. This paper proposes SigFeaDet, a signal feature-based GNSS spoofing detection approach for UAVs utilizing machine learning techniques. The core concept revolves around identifying anomalies in signal features arising from differences between authentic and spoofing signals. Key signal features, including Carrier-to-Noise Density Ratio (CN0) and Doppler frequency crucial for GNSS positioning, are employed to discern spoofing signals. Various machine learning algorithms are leveraged to train on GNSS signal data, determining the most effective classifier. TEXBAT GNSS dataset is processed to extract spoofing signal data, and flight experiments are conducted to gather GNSS data, augmenting the authentic GNSS signal dataset. The detection accuracy exceeds 95%. Equal Error Rate (EER) is approximately 5%. We evaluate various impact factors on SigFeaDet to show its robustness, including differences in velocities, altitudes, and experimental locations (10 kilometers apart), and the accuracy consistently surpasses 99%.</p></div>","PeriodicalId":50027,"journal":{"name":"Journal of Systems Architecture","volume":"153 ","pages":"Article 103212"},"PeriodicalIF":4.5,"publicationDate":"2024-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141325943","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Partitioned scheduling with safety-performance trade-offs in stochastic conditional DAG models 在随机条件 DAG 模型中进行安全性能权衡的分区调度

IF 4.5 2区计算机科学

Journal of Systems Architecture Pub Date : 2024-06-07 DOI: 10.1016/j.sysarc.2024.103189

Xuanliang Deng , Ashrarul H. Sifat , Shao-Yu Huang , Sen Wang , Jia-Bin Huang , Changhee Jung , Ryan Williams , Haibo Zeng

{"title":"Partitioned scheduling with safety-performance trade-offs in stochastic conditional DAG models","authors":"Xuanliang Deng , Ashrarul H. Sifat , Shao-Yu Huang , Sen Wang , Jia-Bin Huang , Changhee Jung , Ryan Williams , Haibo Zeng","doi":"10.1016/j.sysarc.2024.103189","DOIUrl":"10.1016/j.sysarc.2024.103189","url":null,"abstract":"<div><p>This paper is motivated by robotic systems that solve difficult real-world problems such as search and rescue (SAR) or precision agriculture <span><sup>1</sup></span>. These applications require robots to operate in complex, uncertain environments while maintaining safe interactions with human teammates within a specified level of performance. In this paper, we study the scheduling of real-time applications on heterogeneous hardware platforms inspired by such contexts. To capture the <em>stochasticity</em> due to unpredictable environments, we propose the stochastic heterogeneous parallel conditional DAG (SHPC-DAG) model, which extends the most recent HPC-DAG model in two regards. First, it uses conditional DAG nodes to model the execution of computational pipelines based on <em>context</em>, while the stochasticity of DAG edges captures the uncertain nature of a system’s environment or the reliability of its hardware. Second, considering the pessimism of deterministic worst-case execution time (WCET), it uses <em>probability distributions</em> to model the execution times of subtasks (DAG nodes). We propose a new partitioning algorithm <em>Least Latency Partitioned (LLP)</em>, which considers precedence constraints among nodes during the allocation process. Coupled with a scheduling algorithm that accounts for varying subtask criticality and constraints, the end-to-end latencies of safety-critical paths/nodes are then minimized. We use tasksets inspired by real robotics to demonstrate that our framework allows for efficient scheduling in complex computational pipelines, with more flexible representation of timing constraints, and ultimately, safety-performance tradeoffs.</p></div>","PeriodicalId":50027,"journal":{"name":"Journal of Systems Architecture","volume":"153 ","pages":"Article 103189"},"PeriodicalIF":4.5,"publicationDate":"2024-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141395697","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

2F-MASK-VSS: Two-factor mutual authentication and session key agreement scheme for video surveillance system 2F-MASK-VSS：用于视频监控系统的双因素相互认证和会话密钥协议方案

IF 4.5 2区计算机科学

Journal of Systems Architecture Pub Date : 2024-06-07 DOI: 10.1016/j.sysarc.2024.103196

Pramod Kumar , Arup Kumar Pal , SK Hafizul Islam

{"title":"2F-MASK-VSS: Two-factor mutual authentication and session key agreement scheme for video surveillance system","authors":"Pramod Kumar , Arup Kumar Pal , SK Hafizul Islam","doi":"10.1016/j.sysarc.2024.103196","DOIUrl":"https://doi.org/10.1016/j.sysarc.2024.103196","url":null,"abstract":"<div><p>The trend for deploying Video Surveillance Systems (VSSs) in public places has become common practice to maintain effective law and order in modern civilization. Further, data access control and the proper management of surveillance data with valid users are desirable for the safety and security of the communities. This paper aims to develop practical solutions to protect VSSs against evolving threats and challenges. This paper proposes a Two-Factor Mutual Authentication and Session Key Agreement usable in VSS (2F-MASK-VSS) environments for real-time data storage and access. In 2F-MASK-VSS, lightweight cryptographic tools, viz. hash function and symmetric key encryption, are used to maintain the desirable security features. In 2F-MASK-VSS, a surveillance camera captures real-time data and sends them securely to a central server for storage through the established session key agreement among valid concerns. Moreover, 2F-MASK-VSS can protect access control among valid users. The security strength of 2F-MASK-VSS has been proven by formal and informal analysis. The BAN logic model, AVISPA and Scyther tools validate the attack-resilience of 2F-MASK-VSS. Furthermore, the security analysis in the random oracle model shows that 2F-MASK-VSS is provably secure. In addition, 2F-MASK-VSS has been implemented using the Raspberry PI testbed to demonstrate its practical implementation.</p></div>","PeriodicalId":50027,"journal":{"name":"Journal of Systems Architecture","volume":"153 ","pages":"Article 103196"},"PeriodicalIF":4.5,"publicationDate":"2024-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141325951","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Transformers in source code generation: A comprehensive survey 源代码生成中的转换器：全面调查

IF 4.5 2区计算机科学

Journal of Systems Architecture Pub Date : 2024-06-06 DOI: 10.1016/j.sysarc.2024.103193

Hadi Ghaemi , Zakieh Alizadehsani , Amin Shahraki , Juan M. Corchado

{"title":"Transformers in source code generation: A comprehensive survey","authors":"Hadi Ghaemi , Zakieh Alizadehsani , Amin Shahraki , Juan M. Corchado","doi":"10.1016/j.sysarc.2024.103193","DOIUrl":"https://doi.org/10.1016/j.sysarc.2024.103193","url":null,"abstract":"<div><p>Transformers have revolutionized natural language processing (NLP) and have had a huge impact on automating tasks. Recently, transformers have led to the development of powerful large language models (LLMs), which have advanced automatic code generation. This study provides a review of code generation concepts and transformer applications in this field. First, the fundamental concepts of the attention mechanism embedded into transformers are explored. Then, predominant automated code generation approaches are briefly reviewed, including non-learning code generation (e.g., rule-based), shallow learning (e.g., heuristic rules, grammar-based), and deep learning models. Afterward, this survey reviews pre-training and fine-tuning techniques for code generation, focusing on the application of efficient transformer methods such as parameter-efficient tuning, instruction tuning, and prompt tuning. Additionally, this work briefly outlines resources for code generation (e.g., datasets, benchmarks, packages) and evaluation metrics utilized in code generation processes. Finally, the challenges and potential research directions (e.g., multimodal learning) are investigated in depth.</p></div>","PeriodicalId":50027,"journal":{"name":"Journal of Systems Architecture","volume":"153 ","pages":"Article 103193"},"PeriodicalIF":4.5,"publicationDate":"2024-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141326052","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

An anonymous and large-universe data-sharing scheme with traceability for medical cloud storage 具有可追溯性的匿名大宇宙医疗云存储数据共享方案

IF 4.5 2区计算机科学

Journal of Systems Architecture Pub Date : 2024-06-06 DOI: 10.1016/j.sysarc.2024.103210

Qing Wu , Guoqiang Meng , Leyou Zhang , Yue Lei

引用次数: 0

A robust defense for spiking neural networks against adversarial examples via input filtering 通过输入过滤为尖峰神经网络提供抵御对抗性示例的稳健方法

IF 4.5 2区计算机科学

Journal of Systems Architecture Pub Date : 2024-06-05 DOI: 10.1016/j.sysarc.2024.103209

Shasha Guo , Lei Wang , Zhijie Yang , Yuliang Lu

{"title":"A robust defense for spiking neural networks against adversarial examples via input filtering","authors":"Shasha Guo , Lei Wang , Zhijie Yang , Yuliang Lu","doi":"10.1016/j.sysarc.2024.103209","DOIUrl":"https://doi.org/10.1016/j.sysarc.2024.103209","url":null,"abstract":"<div><p>Spiking Neural Networks (SNNs) are increasingly deployed in applications on resource constraint embedding systems due to their low power. Unfortunately, SNNs are vulnerable to adversarial examples which threaten the application security. Existing denoising filters can protect SNNs from adversarial examples. However, the reason why filters can defend against adversarial examples remains unclear and thus it cannot ensure a trusty defense. In this work, we aim to explain the reason and provide a more robust filter against different adversarial examples. First, we propose two new norms <span><math><msub><mrow><mi>l</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span> and <span><math><msub><mrow><mi>l</mi></mrow><mrow><mi>∞</mi></mrow></msub></math></span> to describe the spatial and temporal features of adversarial events for understanding the working principles of filters. Second, we propose to combine filters to provide a robust defense against different perturbation events. To make up the gap between the goal and the ability of existing filters, we propose a new filter that can defend against both spatially and temporally dense perturbation events. We conduct the experiments on two widely used neuromorphic datasets, NMNIST and IBM DVSGesture. Experimental results show that the combined defense can restore the accuracy to over 80% of the original SNN accuracy.</p></div>","PeriodicalId":50027,"journal":{"name":"Journal of Systems Architecture","volume":"153 ","pages":"Article 103209"},"PeriodicalIF":4.5,"publicationDate":"2024-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141313645","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Gradient descent algorithm for the optimization of fixed priorities in real-time systems 用于优化实时系统中固定优先级的梯度下降算法

IF 4.5 2区计算机科学

Journal of Systems Architecture Pub Date : 2024-06-04 DOI: 10.1016/j.sysarc.2024.103198

Juan M. Rivas , J. Javier Gutiérrez , Ana Guasque , Patricia Balbastre

{"title":"Gradient descent algorithm for the optimization of fixed priorities in real-time systems","authors":"Juan M. Rivas , J. Javier Gutiérrez , Ana Guasque , Patricia Balbastre","doi":"10.1016/j.sysarc.2024.103198","DOIUrl":"10.1016/j.sysarc.2024.103198","url":null,"abstract":"<div><p>This paper considers the offline assignment of fixed priorities in partitioned preemptive real-time systems where tasks have precedence constraints. This problem is crucial in this type of systems, as having a <em>good</em> fixed priority assignment allows for an efficient use of the processing resources while meeting all the deadlines. In the literature, we can find several proposals to solve this problem, which offer varying trade-offs between the quality of their results and their computational complexities. <em>In this paper</em>, we propose a new approach, leveraging existing algorithms that are widely exploited in the field of Machine Learning: Gradient Descent, the Adam Optimizer, and Gradient Noise. We show how to adapt these algorithms to the problem of fixed priority assignment in conjunction with existing worst-case response time analyses. We demonstrate the performance of our proposal on synthetic task-sets with different sizes. This evaluation shows that our proposal is able to find more schedulable solutions than previous heuristics, approximating optimal but intractable algorithms such as MILP or brute-force, while requiring reasonable execution times.</p></div>","PeriodicalId":50027,"journal":{"name":"Journal of Systems Architecture","volume":"153 ","pages":"Article 103198"},"PeriodicalIF":4.5,"publicationDate":"2024-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S1383762124001358/pdfft?md5=e6db572d1a849663538d79c2985ac16d&pid=1-s2.0-S1383762124001358-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141394346","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Reliability-aware scheduling for (m,k)-firm real-time embedded systems under hard energy budget constraint h条件下（m,k）确认实时嵌入式系统的可靠性感知调度

IF 3.7 2区计算机科学

Journal of Systems Architecture Pub Date : 2024-06-04 DOI: 10.1016/j.sysarc.2024.103185

Linwei Niu, Jonathan Musselwhite

{"title":"Reliability-aware scheduling for (m,k)-firm real-time embedded systems under hard energy budget constraint","authors":"Linwei Niu, Jonathan Musselwhite","doi":"10.1016/j.sysarc.2024.103185","DOIUrl":"10.1016/j.sysarc.2024.103185","url":null,"abstract":"<div><p>For real-time embedded systems, feasibility, Quality of Service (QoS), reliability, and energy constraint are among the primary design concerns. In this research, we proposed a reliability-aware scheduling scheme for real-time embedded systems with <span><math><mrow><mo>(</mo><mi>m</mi><mo>,</mo><mi>k</mi><mo>)</mo></mrow></math></span>-firm deadlines under hard energy budget constraint. The <span><math><mrow><mo>(</mo><mi>m</mi><mo>,</mo><mi>k</mi><mo>)</mo></mrow></math></span>-firm systems require that at least <span><math><mi>m</mi></math></span> out of any <span><math><mi>k</mi></math></span> consecutive jobs of a real-time task meet their deadlines. To achieve the dual goals of maximizing the feasibility and QoS for such kind of systems while satisfying the reliability requirement under given energy budget constraint, we propose to reserve recovery space for real-time jobs in an adaptive way based on the mandatory/optional job partitioning strategy. The evaluation results demonstrate that the proposed techniques significantly outperform the previous research in maximizing the feasibility and QoS for <span><math><mrow><mo>(</mo><mi>m</mi><mo>,</mo><mi>k</mi><mo>)</mo></mrow></math></span>-firm real-time embedded systems while preserving the system reliability under hard energy budget constraint. Moreover, the proposed work has also addressed some insufficiency in Niu (2020) in terms of preserving the system reliability.</p></div>","PeriodicalId":50027,"journal":{"name":"Journal of Systems Architecture","volume":"154 ","pages":"Article 103185"},"PeriodicalIF":3.7,"publicationDate":"2024-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141405221","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

TRA-PS: Accountable data Pub/Sub service with fast and fine-grained controllable subscription TRA-PS：提供快速、精细可控订阅的可问责数据发布/子服务

IF 4.5 2区计算机科学

Journal of Systems Architecture Pub Date : 2024-06-03 DOI: 10.1016/j.sysarc.2024.103197

Kai Zhang , Xiaobing Shi , Jinguo Li , Yi Wu , Jianting Ning

{"title":"TRA-PS: Accountable data Pub/Sub service with fast and fine-grained controllable subscription","authors":"Kai Zhang , Xiaobing Shi , Jinguo Li , Yi Wu , Jianting Ning","doi":"10.1016/j.sysarc.2024.103197","DOIUrl":"10.1016/j.sysarc.2024.103197","url":null,"abstract":"<div><p>The Cloud-based data publish/subscribe (Pub/Sub) service presents a selective manner for publishers and subscribers to share and receive data, where confidentiality and authorized access to the data are the fundamental security properties. Therefore, the methodology of attribute-based keyword search (ABKS) was applied that recently considered bilateral access control between the publisher and subscriber. However, existing data Pub/Sub solutions fail to take into account the following features: (i) the efficient revocation of subscribers; (ii) the traceability and auditability of subscriptions; (iii) the excessive time cost of decryption procedure. Therefore, we propose TRA-PS, an accountable data Pub/Sub service that implements efficient revocation, traceability, and public auditability for subscriptions. Technically, we refine the secret key of subscriber in the classic ABKS schemes with associating its identity information and binding accountability module. In addition, we implement TRA-PS and evaluate its practical performance compared to state-of-the-art work in the real cloud environment. Besides achieving accountable property, TRA-PS significantly diminishes the decryption time cost (number of attributes/keywords is 25) by 91.8%, independent of the number of attributes/keywords.</p></div>","PeriodicalId":50027,"journal":{"name":"Journal of Systems Architecture","volume":"153 ","pages":"Article 103197"},"PeriodicalIF":4.5,"publicationDate":"2024-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141275811","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0