-
Replicability Study: Corpora For Understanding Simulink Models & Projects
Authors:
Sohil Lal Shrestha,
Shafiul Azam Chowdhury,
Christoph Csallner
Abstract:
Background: Empirical studies on widely used model-based development tools such as MATLAB/Simulink are limited despite the tools' importance in various industries.
Aims: The aim of this paper is to investigate the reproducibility of previous empirical studies that used Simulink model corpora and to evaluate the generalizability of their results to a newer and larger corpus, including a compariso…
▽ More
Background: Empirical studies on widely used model-based development tools such as MATLAB/Simulink are limited despite the tools' importance in various industries.
Aims: The aim of this paper is to investigate the reproducibility of previous empirical studies that used Simulink model corpora and to evaluate the generalizability of their results to a newer and larger corpus, including a comparison with proprietary models.
Method: The study reviews methodologies and data sources employed in prior Simulink model studies and replicates the previous analysis using SLNET. In addition, we propose a heuristic for determining code-generating Simulink models and assess the open-source models' similarity to proprietary models.
Results: Our analysis of SLNET confirms and contradicts earlier findings and highlights its potential as a valuable resource for model-based development research. We found that open-source Simulink models follow good modeling practices and contain models comparable in size and properties to proprietary models. We also collected and distribute 208 git repositories with over 9k commits, facilitating studies on model evolution.
Conclusions: The replication study offers actionable insights and lessons learned from the reproduction process, including valuable information on the generalizability of research findings based on earlier open-source corpora to the newer and larger SLNET corpus. The study sheds light on noteworthy attributes of SLNET, which is self-contained and redistributable.
△ Less
Submitted 9 August, 2023; v1 submitted 3 August, 2023;
originally announced August 2023.
-
3D Convolutional with Attention for Action Recognition
Authors:
Labina Shrestha,
Shikha Dubey,
Farrukh Olimov,
Muhammad Aasim Rafique,
Moongu Jeon
Abstract:
Human action recognition is one of the challenging tasks in computer vision. The current action recognition methods use computationally expensive models for learning spatio-temporal dependencies of the action. Models utilizing RGB channels and optical flow separately, models using a two-stream fusion technique, and models consisting of both convolutional neural network (CNN) and long-short term me…
▽ More
Human action recognition is one of the challenging tasks in computer vision. The current action recognition methods use computationally expensive models for learning spatio-temporal dependencies of the action. Models utilizing RGB channels and optical flow separately, models using a two-stream fusion technique, and models consisting of both convolutional neural network (CNN) and long-short term memory (LSTM) network are few examples of such complex models. Moreover, fine-tuning such complex models is computationally expensive as well. This paper proposes a deep neural network architecture for learning such dependencies consisting of a 3D convolutional layer, fully connected (FC) layers, and attention layer, which is simpler to implement and gives a competitive performance on the UCF-101 dataset. The proposed method first learns spatial and temporal features of actions through 3D-CNN, and then the attention mechanism helps the model to locate attention to essential features for recognition.
△ Less
Submitted 5 June, 2022;
originally announced June 2022.
-
SLNET: A Redistributable Corpus of 3rd-party Simulink Models
Authors:
Sohil Lal Shrestha,
Shafiul Azam Chowdhury,
Christoph Csallner
Abstract:
MATLAB/Simulink is widely used for model-based design. Engineers create Simulink models and compile them to embedded code, often to control safety-critical cyber-physical systems in automotive, aerospace, and healthcare applications. Despite Simulink's importance, there are few large-scale empirical Simulink studies, perhaps because there is no large readily available corpus of third-party open-so…
▽ More
MATLAB/Simulink is widely used for model-based design. Engineers create Simulink models and compile them to embedded code, often to control safety-critical cyber-physical systems in automotive, aerospace, and healthcare applications. Despite Simulink's importance, there are few large-scale empirical Simulink studies, perhaps because there is no large readily available corpus of third-party open-source Simulink models. To enable empirical Simulink studies, this paper introduces SLNET, the largest corpus of freely available third-party Simulink models. SLNET has several advantages over earlier collections. Specifically, SLNET is 8 times larger than the largest previous corpus of Simulink models, includes fine-grained metadata, is constructed automatically, is self-contained, and allows redistribution. SLNET is available under permissive open-source licenses and contains all of its collection and analysis tools.
△ Less
Submitted 31 March, 2022;
originally announced March 2022.
-
SLGPT: Using Transfer Learning to Directly Generate Simulink Model Files and Find Bugs in the Simulink Toolchain
Authors:
Sohil Lal Shrestha,
Christoph Csallner
Abstract:
Finding bugs in a commercial cyber-physical system (CPS) development tool such as Simulink is hard as its codebase contains millions of lines of code and complete formal language specifications are not available. While deep learning techniques promise to learn such language specifications from sample models, deep learning needs a large number of training data to work well. SLGPT addresses this pro…
▽ More
Finding bugs in a commercial cyber-physical system (CPS) development tool such as Simulink is hard as its codebase contains millions of lines of code and complete formal language specifications are not available. While deep learning techniques promise to learn such language specifications from sample models, deep learning needs a large number of training data to work well. SLGPT addresses this problem by using transfer learning to leverage the powerful Generative Pre-trained Transformer 2 (GPT-2) model, which has been pre-trained on a large set of training data. SLGPT adapts GPT-2 to Simulink with both randomly generated models and models mined from open-source repositories. SLGPT produced Simulink models that are both more similar to open-source models than its closest competitor, DeepFuzzSL, and found a super-set of the Simulink development toolchain bugs found by DeepFuzzSL.
△ Less
Submitted 10 March, 2022; v1 submitted 16 May, 2021;
originally announced May 2021.
-
Image Captioning using Multiple Transformers for Self-Attention Mechanism
Authors:
Farrukh Olimov,
Shikha Dubey,
Labina Shrestha,
Tran Trung Tin,
Moongu Jeon
Abstract:
Real-time image captioning, along with adequate precision, is the main challenge of this research field. The present work, Multiple Transformers for Self-Attention Mechanism (MTSM), utilizes multiple transformers to address these problems. The proposed algorithm, MTSM, acquires region proposals using a transformer detector (DETR). Consequently, MTSM achieves the self-attention mechanism by transfe…
▽ More
Real-time image captioning, along with adequate precision, is the main challenge of this research field. The present work, Multiple Transformers for Self-Attention Mechanism (MTSM), utilizes multiple transformers to address these problems. The proposed algorithm, MTSM, acquires region proposals using a transformer detector (DETR). Consequently, MTSM achieves the self-attention mechanism by transferring these region proposals and their visual and geometrical features through another transformer and learns the objects' local and global interconnections. The qualitative and quantitative results of the proposed algorithm, MTSM, are shown on the MSCOCO dataset.
△ Less
Submitted 14 February, 2021;
originally announced March 2021.
-
Dynamic reconstruction for atom probe tomography
Authors:
Baptiste Gault,
Shyeh T**g Loi,
Vicente J. Araullo-Peters,
Leigh T. Stephenson,
Michael P. Moody,
Sachin L. Shrestha,
Ross K. W. Marceau,
Lan Yao,
Julie M. Cairney,
Simon P. Ringer
Abstract:
Progress in the reconstruction for atom probe tomography has been limited since the first implementation of the protocol proposed by Bas et al. in 1995. This approach, and those subsequently developed, assume that the geometric parameters used to build the three-dimensional atom map are constant over the course of an analysis. Here, we test this assumption within the analyses of low-alloyed materi…
▽ More
Progress in the reconstruction for atom probe tomography has been limited since the first implementation of the protocol proposed by Bas et al. in 1995. This approach, and those subsequently developed, assume that the geometric parameters used to build the three-dimensional atom map are constant over the course of an analysis. Here, we test this assumption within the analyses of low-alloyed materials. By building upon methods recently proposed to measure the tomographic reconstruction parameters, we demonstrate that this assumption can introduce significant limitations in the accuracy of the analysis. Moreover, we propose a strategy to alleviate this problem through the implementation of a new reconstruction algorithm that dynamically accommodates variations in the tomographic reconstruction parameters.
△ Less
Submitted 9 October, 2015;
originally announced October 2015.
-
Comparison of Fluid Attenuated Inversion Recovery Sequence with Spin Echo T2-Weighted MRI for Characterization of Brain Pathology
Authors:
Indra Dev Sahu,
Sheshkant Aryal,
Shanta Lal Shrestha,
Ram Kumar Ghimire
Abstract:
Twenty cases of different brain pathology have been studied via MRI using an open resistive magnet with magnetic field strength of 0.2 Tesla. The relative signal intensity with respect to the repetition time (TR) at fixed echo time (TE) 0.117 sec. has been studied. It was found that the signal intensity saturates for most lesions beyond a certain TR~6 sec in the T2 - weighted image. The signal i…
▽ More
Twenty cases of different brain pathology have been studied via MRI using an open resistive magnet with magnetic field strength of 0.2 Tesla. The relative signal intensity with respect to the repetition time (TR) at fixed echo time (TE) 0.117 sec. has been studied. It was found that the signal intensity saturates for most lesions beyond a certain TR~6 sec in the T2 - weighted image. The signal intensity differs with respect to the inversion time (TI) for fat and cerebrospinal fluid (CSF). It was found that the intensity is nulled for CSF at TI ~1.5 sec. and for Fat at TI~0.10 sec in the FLAIR imaging sequence. Thus the intensity of the lesions is qualitatively different for the two sequences. From the radiological diagnostic point of view, it was concluded that the FLAIR sequence is more useful for the detection of lesions compared to T2 sequences.
△ Less
Submitted 5 December, 2009; v1 submitted 21 November, 2009;
originally announced November 2009.