Article
Computer Science, Interdisciplinary Applications
Yandika Sirgabsou, Claude Baron, Laurent Pahun, Philippe Esteban
Summary: The development of driver assistance and autonomous driving systems has brought about significant changes in the transportation sector, providing comfort and safety. This paper proposes a methodological approach using model driven engineering to improve current safety analysis practices, leading to enhanced efficiency and quality.
COMPUTERS IN INDUSTRY
(2022)
Review
Computer Science, Information Systems
Reyhaneh Kalantari, Timothy C. C. Lethbridge
Summary: This study reviews the literature on the evaluation of modeling tool user experience (MX) and identifies the types of evaluation types and methods used and the issues uncovered. The study identifies several gaps and future opportunities in the field of MX research.
Article
Engineering, Aerospace
Mitchell Kirshner
Summary: As MBSE is increasingly adopted in various industries for system lifecycle design, engineers are able to manage and describe highly complex systems. This is particularly crucial in the field of space systems, where NASA and other organizations have recently started using MBSE. However, the importance of cybersecurity in space systems development is often overlooked. This work proposes a methodology that utilizes MBSE and SysML requirements modeling to demonstrate adequate cybersecurity for cyberphysical space systems, addressing the need for continuous verification and validation.
Article
Social Sciences, Interdisciplinary
Kevin Chiu, Sean Marquez, Sharanabasaweshwara Asundi
Summary: The SeaLion mission architecture team aimed to develop a model-based systems engineering approach to enhance CubeSat success rates and guide the implementation of flight software for the SeaLion CubeSat project. This is crucial because university CubeSat teams often have inexperienced students as their key members. They adopted a document-as-code approach to achieve this. By using the Mach 30 Modeling Language, the team created tools for systems architecture that are easy to learn and use, even for new team members with minimal training. These tools generate documents through their own code, allowing for easy presentation on a local file system without the need for any proprietary software while maintaining format flexibility.
Article
Computer Science, Information Systems
Pierre De Saqui-Sannes, Rob A. Vingerhoeds, Christophe Garion, Xavier Thirioux
Summary: This paper discusses the progression of systems engineering towards Model-Based Systems Engineering (MBSE) and explores the selection criteria for MBSE languages, tools, and methods. It also identifies research directions for the future of MBSE.
Article
Social Sciences, Interdisciplinary
Nicolas Navarro, Laszlo Horvath, Alejandro Salado
Summary: This paper presents an operational concept for implementing IoT technology in pallets, which can monitor the conditions of products and unit loads to improve product distribution control and packaging design.
Article
Engineering, Aerospace
Jasmine Rimani, Nicole Viola, Stephanie Lizy-Destrez
Summary: The concept of operations (ConOps) during mission design is crucial for meeting stakeholder expectations. While ConOps is often evaluated based on power consumption or data generation, highly autonomous systems require an understanding of their reaction in operational scenarios. This study provides a framework for simulating and validating operational scenarios for autonomous robotic space exploration systems, utilizing Model-Based Systems Engineering (MBSE) and Markov Decision Process (MDP) to generate feasible plans and assess resource variations. Applied to a small rover, this method enhances the design process by testing operability and performance in different scenarios.
Article
Engineering, Multidisciplinary
J. A. Vazquez-Santacruz, R. Portillo-Velez, J. Torres-Figueroa, L. F. Marin-Urias, E. Portilla-Flores
Summary: A design methodology for mechatronic systems is proposed, which involves continuous interaction among different fields of knowledge. The design incorporates the full life-cycle of mechatronic design and utilizes a three dimensional cube shape model to address different analysis through individual and interacting V-models. The design is developed under a centralized tool framework, allowing traceability capabilities in multiple hierarchy levels of analysis.
RESEARCH IN ENGINEERING DESIGN
(2023)
Article
Agronomy
Amine Saddik, Rachid Latif, Abdelhafid El Ouardi, Mohamed Elhoseny, Adel Khelifi
Summary: Precision agriculture research aims to design decision systems that optimize yields and investments while preserving resources. These systems can be applied in large agricultural areas using satellites, unmanned aerial vehicles, and sol robots. The study proposes a review of embedded systems in precision agriculture algorithms, including weed detection, numerical counting, monitoring of plant indexes, and disease detection. The review extracts useful information from over 100 papers to identify the advantages and disadvantages of different techniques and information processing systems.
ACTA AGRICULTURAE SCANDINAVICA SECTION B-SOIL AND PLANT SCIENCE
(2022)
Article
Engineering, Industrial
Sharon Shoshany-Tavory, Eran Peleg, Avigdor Zonnenshain, Gil Yudilevitch
Summary: Conceptual-Design is an early development phase that shapes the future system/product through innovation and creativeness. Model-Based-Conceptual-Design (MBCD) aims to utilize best practices of Model-Based-Systems-Engineering (MBSE) to achieve the benefits of model connectivity. This study explores an existing Conceptual-Design framework and provides MBSE interpretation and tool extensions to digitally implement it.
SYSTEMS ENGINEERING
(2023)
Article
Computer Science, Hardware & Architecture
Alexander Aponte-Moreno, Jose Isaza-Gonzalez, Alejandro Serrano-Cases, Antonio Martinez-Alvarez, Sergio Cuenca-Asensi, Felipe Restrepo-Calle
Summary: This article advances the understanding of scenarios where Instruction Set Architecture simulators or emulators can be relied upon for realistic statistical fault injection campaigns. It presents an analysis of simulation-based fault injection tools compared to fault emulation results on a real processor. The conclusions assist in selecting the most efficient tool and method for testing software-based fault mitigation techniques.
MICROPROCESSORS AND MICROSYSTEMS
(2023)
Article
Engineering, Industrial
Juan A. Martinez-Rojas, Jose L. Fernandez-Sanchez
Summary: The model based systems engineering (MBSE) approach uses consistent views to create a comprehensive model of a system. However, a physical model of the system is incomplete without understanding the physical laws and phenomena associated with it. This article describes a methodological process that incorporates dimensional analysis (DA) as a tool to understand physical constraints without complex calculations. A detailed example of a microantenna is presented to demonstrate the benefits of this approach. The article also discusses the importance of research in new DA methods to meet the increasing demands of complex systems and regulations. Overall, this article serves as a comprehensive guide to using DA in the context of MBSE, detailing its strengths, limitations, and controversial issues.
SYSTEMS ENGINEERING
(2023)
Article
Engineering, Electrical & Electronic
Changyong Chu, Chengfang Yin, Shaohui Su, Chang Chen
Summary: This paper proposes a model integration framework that integrates simulation into the logical architecture phase of the system model, enabling system verification. By reusing and updating the generated simulation model, the framework improves design efficiency and provides a reference for other system design and integration work.
Article
Social Sciences, Interdisciplinary
Claude Baron, Lorenzo Grenier, Vitalina Ostapenko, Rui Xue
Summary: This paper analyzes the interests and limitations of ARCADIA/Capella by experimenting with it in several projects and conducting a survey to obtain industrial feedback. The research provides an overview of the relevance of ARCADIA/Capella in projects and its usefulness, effectiveness, and adaptability in modeling different types of systems. It also offers perspectives for the evolution of the method and the tool based on industrial feedback.
Article
Computer Science, Theory & Methods
Joobeom Yun, Fayozbek Rustamov, Juhwan Kim, Youngjoo Shin
Summary: Security attacks exploit software vulnerabilities in IoT devices, so it is essential to detect and eliminate these vulnerabilities promptly. Fuzzing is an effective automated method for identifying vulnerabilities, and there have been numerous publications on the topic. However, there is limited research on fuzzing for embedded systems due to obstacles like multi-architecture support, crash detection challenges, and resource constraints. This article introduces fuzzing techniques for embedded systems, compares them to desktop systems, discusses the pros and cons of state-of-the-art technologies, and classifies embedded system fuzzing tools. It also predicts and discusses future directions for fuzzing research in embedded systems.
ACM COMPUTING SURVEYS
(2023)
Article
Psychology, Multidisciplinary
Siraj Hussain, Rongting Zhou, Ahmad Nabeel Siddiquei, Muhammad Azfar Anwar, Fahad Asmi
Summary: This study explores the challenging nature of sexting in today's digital world, especially for women. The research finds that social threat is the most significant factor influencing women's intentions to avoid sexting, with depression having twice the impact of guilt. The study suggests that the threat of being scammed should be effectively communicated in society to help women avoid sexting.
CURRENT PSYCHOLOGY
(2023)
Article
Plant Sciences
Ghulam Abbas Shah, Maqsood Sadiq, Zahid Iqbal, Noman Shakoor, Muhammad Shahid, Azhar Mehmood Aulakh, Kamusiime Arthur, Nadeem Khan, Iqbal M. I. Ismail, Muhammad Imtiaz Rashid
Summary: The co-inoculation of Bradyrhizobium sp. and phosphorus-solubilizing bacteria (Pseudomonas sp.) can improve the growth, yield, and nitrogen and phosphorus utilization of mungbean crops from chemical fertilizers in nutrient-deficient soils.
JOURNAL OF PLANT NUTRITION
(2023)
Article
Engineering, Biomedical
Rehan Raza, Usama Ijaz Bajwa, Yasar Mehmood, Muhammad Waqas Anwar, M. Hassan Jamal
Summary: This research presents an end-to-end framework for automatic 3D Brain Tumor Segmentation using a hybrid model of deep residual network and U-Net. The proposed model achieved promising results in terms of segmentation performance, with high dice scores for tumor sub-regions. It also demonstrated robustness in a real-world clinical setting when validated on an external cohort.
BIOMEDICAL SIGNAL PROCESSING AND CONTROL
(2023)
Article
Computer Science, Information Systems
Ghulam Gilanie, Usama Ijaz Bajwa, Mustansar Mahmood Waraich, Muhammad Waqas Anwar, Hafeez Ullah
Summary: In this research, a model using Convolutional Neural Networks for glioma grading is proposed. The model is validated using a locally organized dataset and a publicly available benchmarked dataset. Experimental results demonstrate high accuracy and efficiency of the proposed model in glioma grade identification.
MULTIMEDIA TOOLS AND APPLICATIONS
(2023)
Article
Physics, Applied
Umar Raza, Muhammad Shoaib Anwar, Hayat Ali, V Puneeth, Muhammad Irfan, Zakir Hussain
Summary: In this paper, a new metric space called n-gonal graphical b-metric space is defined. Some fixed point theorems are proven in this metric space, and suitable examples are given to illustrate the results. These findings contribute to solving nonlinear convex models in machine learning and optimization by formulating them as fixed point schemes. The paper opens up possibilities for researchers to explore the intersection between machine learning and functional analysis in the framework of n-gonal graphical b-metric space.
INTERNATIONAL JOURNAL OF MODERN PHYSICS B
(2023)
Article
Chemistry, Multidisciplinary
Muhammad Rashid, Omar S. Sonbul, Muhammad Yousuf Irfan Zia, Nadeem Kafi, Mohammed H. Sinky, Muhammad Arif
Summary: This article presents an efficient area-optimized elliptic curve cryptographic processor architecture over GF(2409) and GF(2571) by employing Lopez-Dahab projective point arithmetic operations and a hybrid Karatsuba multiplier. The reuse of multiplier resources reduces overall area requirements. The implementation is performed in Verilog (HDL) and the achieved results are provided on Xilinx Virtex 7 device. The proposed design outperforms existing designs in terms of area utilization, making it the right choice for area-constrained cryptographic applications.
APPLIED SCIENCES-BASEL
(2023)
Article
Mathematics
Rabab Hafeez, Muhammad Waqas Anwar, Muhammad Hasan Jamal, Tayyaba Fatima, Julio Cesar Martinez Espinosa, Luis Alonso Dzul Lopez, Ernesto Bautista Thompson, Imran Ashraf
Summary: Machine translation is a rapidly developing research area in natural language processing that bridges the linguistic gap to enhance human communication. The importance of normalization and morphological analyses in information retrieval for machine translation is highlighted, particularly for resource-scarce languages like Urdu. This paper introduces a lemmatization algorithm based on recurrent neural network models for Urdu, which outperforms existing models.
Article
Business
Anushree Tandon, Juthamon Sithipolvanichgul, Fahad Asmi, Muhammad Azfar Anwar, Amandeep Dhir
Summary: We investigated economic, cognitive, and ecological factors, as well as consumers' knowledge about apparel production as a moderator, to understand the antecedents of consumers' green apparel buying intentions. Our empirical analysis using structural equation modeling revealed that affordance, ecological concerns, and ascription of responsibility significantly influenced consumers' cognitive state, which in turn affected their buying intentions.
BUSINESS STRATEGY AND THE ENVIRONMENT
(2023)
Article
Chemistry, Multidisciplinary
Asher Sajid, Omar S. S. Sonbul, Muhammad Rashid, Atif Raza Jafri, Muhammad Arif, Muhammad Yousuf Irfan Zia
Summary: This research proposes a novel binary Edwards curve accelerator designed for resource-constrained embedded systems. The accelerator incorporates the fixed window algorithm, two-stage pipelined architecture, and Montgomery radix-4 multiplier, resulting in significant performance improvements in throughput and resource utilization. Experimental results on various Xilinx FPGAs show impressive throughput/area ratios for GF(2^233), with achieved ratios of 12.2, 19.07, 36.01, and 38.39 for Virtex-4, Virtex-5, Virtex-6, and Virtex-7, respectively. Additionally, the processing time for one-point multiplication on a Virtex-7 platform is 15.87 μs. These findings highlight the effectiveness of the proposed accelerator for improved throughput and optimal resource utilization.
APPLIED SCIENCES-BASEL
(2023)
Article
Chemistry, Multidisciplinary
Amer Aljaedi, Muhammad Rashid, Sajjad Shaukat Jamal, Adel R. Alharbi, Mohammed Alotaibi
Summary: This article proposes a flexible hardware accelerator optimized for the computationally intensive part of elliptic curve cryptography. The accelerator employs a digit-parallel multiplier for throughput optimization and uses multiplication and squaring circuit for area optimization. Flexibility is achieved through additional buffers and optimized control signal handling. The results and performance comparison demonstrate the suitability of this design for constrained environments demanding efficient implementations in terms of throughput and area.
APPLIED SCIENCES-BASEL
(2023)
Article
Computer Science, Information Systems
Muhammad Rashid, Omar S. Sonbul, Muhammad Yousuf Irfan Zia, Muhammad Arif, Asher Sajid, Saud S. Alotaibi
Summary: This paper presents a hardware accelerator architecture for elliptic curve point multiplication (ECPM) over GF(2233) that is optimized for throughput and area efficiency. The design reduces clock cycles using a bit-parallel Karatsuba modular multiplier and minimizes hardware resources through a consolidated arithmetic unit and leveraging existing hardware resources for inverses. The results demonstrate that the proposed accelerator is suitable for applications that require optimized ECPM implementations in terms of throughput and area.
Article
Zoology
Muhammad Tariq Navid, Mian Muhammad Awais, Muhammad Irfan Anwar, Masood Akhtar
Summary: This study investigated the presence of avian influenza viruses (AIVs) in backyard poultry birds in Multan, Pakistan. Out of the 213 randomly selected birds, 13.61% tested positive for AIVs using ELISA kit. RT-PCR confirmed the presence of H9 gene in 6.9% of the seropositive samples. The study concludes that asymptomatic backyard poultry birds can carry AIVs and act as potential reservoirs for recurrent AI outbreaks. Vaccination of rural poultry birds is recommended to prevent further spread of AIVs.
PAKISTAN JOURNAL OF ZOOLOGY
(2023)
Article
Veterinary Sciences
Sohrab Ahmad, Muhammad Shahbaz Yousaf, Sajid Khan Tahir, Muhammad Afzal Rashid, Khalid Abdul Majeed, Mahrukh Naseem, Mohsin Raza, Zafar Hayat, Abia Khalid, Hafsa Zaneb, Habib Rehman
Summary: This study investigated the effects of co-supplementation of beta-GOS and methionine on meat quality traits and muscle formation and degradation pathways in broilers. The results showed that beta-GOS supplementation reduced pH change rate, cooking loss, and muscle fiber diameter, while increasing muscle catalase level and fiber density. Methionine had regulatory effects on gene expression, downregulating MAFbx and MuRF1 genes and upregulating MyoD and M-CK genes.
PAKISTAN VETERINARY JOURNAL
(2023)
Article
Chemistry, Multidisciplinary
V Puneeth, S. Manjunatha, M. Shoaib Anwar, Mowffaq Oreijah, Kamel Geudri, Omar T. Bafakeeh, Ahmed M. Galal
Summary: This study analyzes the characteristics of heat and mass transfer of jet flow of nanofluid past a porous stretching sheet in the presence of microorganisms. Numerical results show that the magnetic field controls the velocity profile of the jet flow, and an increase in the Williamson parameter reduces the fluid velocity. Additionally, higher values of the thermophoresis parameter and porosity increase the thermal and concentration profiles of the nanofluid.
JOURNAL OF COMPUTATIONAL BIOPHYSICS AND CHEMISTRY
(2023)
Article
Computer Science, Information Systems
Iftikhar Naseer, Tehreem Masood, Sheeraz Akram, Arfan Jaffar, Muhammad Rashid, Muhammad Amjad Iqbal
Summary: This article introduces the dangers and fatality of lung cancer, as well as the importance of pulmonary nodules in lung cancer detection. It proposes an automatic nodule detection method based on modified AlexNet architecture and Support Vector Machine (SVM) algorithm, and verifies its superior performance on the LUNA16 dataset through experimental analysis.
CMC-COMPUTERS MATERIALS & CONTINUA
(2023)
Review
Computer Science, Software Engineering
Orvila Sarker, Asangi Jayatilaka, Sherif Haggag, Chelsea Liu, M. Ali Babar
Summary: This study provides a comprehensive view of the challenges and critical success factors in the design, implementation, and evaluation stages of phishing education, training, and awareness (PETA). The findings highlight the need to address human-centric issues, bridge users' knowledge gaps, and adopt personalized approaches to enhance defense against phishing attacks.
JOURNAL OF SYSTEMS AND SOFTWARE
(2024)
Article
Computer Science, Software Engineering
Carlos Araujo, Meuse Oliveira Jr., Bruno Nogueira, Paulo Maciel, Eduardo Tavares
Summary: This paper proposes a method based on stochastic Petri nets for evaluating the consistency levels of storage systems based on NoSQL DBMS. The method takes into account different consistency levels and redundant nodes, and estimates the system's availability, throughput, and the probability of accessing the newest data. Experimental results demonstrate the practical feasibility of this approach.
JOURNAL OF SYSTEMS AND SOFTWARE
(2024)
Review
Computer Science, Software Engineering
L. Giamattei, A. Guerriero, R. Pietrantuono, S. Russo, I. Malavolta, T. Islam, M. Dinga, A. Koziolek, S. Singh, M. Armbruster, J. M. Gutierrez-Martinez, S. Caro-Alvaro, D. Rodriguez, S. Weber, J. Henss, E. Fernandez Vogelin, F. Simon Panojo
Summary: This article presents the results of a systematic study on the available monitoring tools for DevOps and microservices. It provides a classification and analysis of these tools, aiming to be a useful reference for researchers and practitioners in this field.
JOURNAL OF SYSTEMS AND SOFTWARE
(2024)
Article
Computer Science, Software Engineering
Jessica Diaz, Jorge Perez, Isaque Alves, Fabio Kon, Leonardo Leite, Paulo Meirelles, Carla Rocha
Summary: This paper presents empirical research on the structure of DevOps teams in software-producing organizations to better understand the organizational structure and characteristics of teams adopting DevOps. A theory of DevOps taxonomies is built through analysis, and its consistency with other taxonomies is tested.
JOURNAL OF SYSTEMS AND SOFTWARE
(2024)
Article
Computer Science, Software Engineering
Sinan Sigurd Tanilkan, Jo Erskine Hannay
Summary: When deciding to develop new software, it is important to have a clear understanding of the intended benefits. However, our research shows that stakeholders' understanding of benefits often fluctuates during the development process, leading to uncertainty. Therefore, we recommend focusing on helping practitioners embrace changes in their understanding of benefits.
JOURNAL OF SYSTEMS AND SOFTWARE
(2024)
Article
Computer Science, Software Engineering
Pingyan Wang, Shaoying Liu, Ai Liu, Wen Jiang
Summary: This paper presents an approach that combines static analysis tools and manual audits to effectively detect various types of security vulnerabilities. By using a special Petri net representation, the proposed method is able to assist in the detection of taint-style vulnerabilities.
JOURNAL OF SYSTEMS AND SOFTWARE
(2024)
Article
Computer Science, Software Engineering
Edgar Sarmiento-Calisaya, Julio Cesar Sampaio do Prado Leite
Summary: This research introduces an automated requirements analysis approach that combines natural language processing, Petri-nets, and visualization techniques to improve the quality of scenario-based specifications, identify defects, and anticipate inconsistencies.
JOURNAL OF SYSTEMS AND SOFTWARE
(2024)
Article
Computer Science, Software Engineering
Jian Hu
Summary: This paper proposes a two-stage trace matrix optimization method for fault localization, which addresses the challenges of coincidental correctness and data imbalance in the current trace matrix. Through extensive experiments, significant improvements in fault localization effectiveness are demonstrated.
JOURNAL OF SYSTEMS AND SOFTWARE
(2024)
Article
Computer Science, Software Engineering
Fan Zhang, Manman Peng, Yuanyuan Shen, Qiang Wu
Summary: This study proposes a novel method called HFEDR that utilizes the hierarchical features of Transformer models and reorganizes training data to improve code search performance. Experimental results demonstrate the effectiveness and rationality of the proposed approach.
JOURNAL OF SYSTEMS AND SOFTWARE
(2024)
Article
Computer Science, Software Engineering
Tong Wang, Bixin Li
Summary: Software architecture erosion has a negative impact on software quality, performance, and evolution cost. This paper proposes an approach called EsArCost to locate the causes of architecture erosion and estimate the repair cost of each erosion problem. Experimental results show that EsArCost can effectively and efficiently estimate repair costs.
JOURNAL OF SYSTEMS AND SOFTWARE
(2024)
Article
Computer Science, Software Engineering
Xiajing Wang, Rui Ma, Wei Huo, Zheng Zhang, Jinyuan He, Chaonan Zhang, Donghai Tian
Summary: This paper proposes a new potential-aware fuzzing scheme called SYNTONY that measures seed potential using multiple objectives and prioritizes promising seeds to increase the number of unique crashes and coverage. Experimental results show that SYNTONY outperforms other fuzzing tools and has high compatibility and expansibility.
JOURNAL OF SYSTEMS AND SOFTWARE
(2024)
Article
Computer Science, Software Engineering
Stefano Lambiase, Gemma Catolino, Fabiano Pecorelli, Damian A. Tamburri, Fabio Palomba, Willem-Jan van den Heuvel, Filomena Ferrucci
Summary: This paper contributes to the existing body of knowledge on factors affecting productivity in software development by studying the cultural and geographical dispersion of a development community. The results show that cultural and geographical dispersion significantly impact productivity, suggesting that managers and practitioners should consider these aspects throughout the software development lifecycle.
JOURNAL OF SYSTEMS AND SOFTWARE
(2024)
Article
Computer Science, Software Engineering
Elaine Venson, Bradford Clark, Barry Boehm
Summary: The software industry has been under pressure to adopt security practices and reduce software vulnerabilities. This study quantifies the effort required to develop secure software in increasing levels of rigor and scope and provides validated cost multipliers for practitioners to estimate proper resources for adopting security practices.
JOURNAL OF SYSTEMS AND SOFTWARE
(2024)
Article
Computer Science, Software Engineering
Yangyang Zhao, Mingyue Jiang, Yibiao Yang, Yuming Zhou, Hanjie Ma, Zuohua Ding
Summary: Previous studies have ignored the potential associations between modules involved in the same defect, and this comprehensive study explores the implications of intra-defect associations for defect prediction. The majority of defects occur across functions, with implicit dependencies between the modules. By considering intra-defect associations and merging modules, the proposed data processing approach significantly improves defect prediction performance.
JOURNAL OF SYSTEMS AND SOFTWARE
(2024)
Article
Computer Science, Software Engineering
Meira Levy, Irit Hadar
Summary: This research sheds new light on how students learn and practice hybrid work in educational settings through two educational studies. The findings show the benefits of new educational programs in fostering empathy and innovation among students, while also highlighting the challenges and opportunities in addressing real challenges.
JOURNAL OF SYSTEMS AND SOFTWARE
(2024)