| 1. |
- Abadi, Imam, et al.
(author)
-
Design of Adaptive Neuro-Fuzzy Inference Control Based One-Axis Solar Tracker on Battery Charging System
- 2020
-
In: E3S Web of Conferences. - : EDP Sciences. - 2267-1242. ; , s. 1-15
-
Conference paper (peer-reviewed)abstract
- The photovoltaic (PV) panel can produce electrical energy that is very environmentally friendly and easy to use. The use of PV panels is suitable for supplying peak loads or at night using batteries as energy storage. However, the battery needs to manage for control, and the battery can last long. The solution to battery management problems is through research about the battery charging system. The DC-DC converter used is the Single Ended Primary Inductance Converter (SEPIC) type. Voltage Control of the battery charging using Adaptive Neuro-Fuzzy Inference System (ANFIS). In the simulation of bright conditions, ANFIS controls can track the charging point set point and obtain a voltage response with a rise time of 0.0028 s, a maximum overshoot of 0.027 %, a peak time of 0.008 s, and a settling time of 0.0193 s. When charging a solar tracker, PV battery gets a 0.25 % increase compared to a fixed PV panel. PV solar tracker can follow the direction of the sun's position. The irradiation value and maximum temperature affect the input voltage and input current that enters the converter.
|
|
| 2. |
- Abadi, Imam, et al.
(author)
-
Performance Study of Maximum Power Point Tracking (MPPT) Based on Type-2 Fuzzy Logic Controller on Active Dual Axis Solar Tracker
- 2020
-
In: E3S Web of Conferences. - : EDP Sciences. - 2267-1242. ; , s. 1-16
-
Conference paper (peer-reviewed)abstract
- World energy consumption increases with time, so that occur an energy imbalance. Many breakthroughs have developed to utilize renewable energy. The photovoltaic system is one of the easy-to-use renewable energies. The power conversion from PV fixed is still low, so the PV system is designed using the active dual-axis solar tracker. The PV tracker position can be adjusted to change the sun position to get maximum efficiency. The active dual-axis solar tracker system is integrated with the maximum power point tracking (MPPT) algorithm to keep PV operating at a maximum power point even though input variations change. The active dual-axis solar tracker system integrated with the maximum power point tracking (MPPT) algorithm to keep PV operating at a maximum power point even though input variations change. Tracking test simulation had done by comparing the output power of a fixed PV system with the active dual-axis solar tracker. Type-2 fuzzy logic based MPPT successfully increased the average output power by 10.48 % with the highest increase of 17.48 % obtained at 15:00 West Indonesia Time (GMT+7). The difference in power from a fixed PV system with the active dual-axis solar tracker of 36.08 W is from the output power worth 206.3 to 242.4 W.
|
|
| 3. |
- Abas, Naeem, et al.
(author)
-
Dynamic simulation of solar water heating system using supercritical CO2 as mediating fluid under sub-zero temperature conditions
- 2019
-
In: Applied Thermal Engineering. - Oxford, UK : Pergamon Press. - 1359-4311 .- 1873-5606. ; 161
-
Journal article (peer-reviewed)abstract
- CO2 is becoming increasingly important as a mediating fluid, and simulation studies are indispensable for corresponding developments. In this study, a simulation-based performance investigation of a solar water heating system using CO2 as a mediating fluid under sub-zero temperature condition is performed using the TRNSYS (R) software. The maximum performance is achieved at a solar savings fraction of 0.83 during July. The as lowest solar savingss fraction of 0.41 is obtained during December. The annual heat production of the proposed system under Fargo climate is estimated to be about 2545 kWh. An evacuated glass tube solar collector is designed, fabricated and tested for various climate conditions. Moreover, a detailed comparison of the system's performance at sub/supercritical and supercritical pressures shows that the annual heat transfer efficiency of the modeled system is 10% higher at supercritical pressure than at sub/supercritical pressures. This result can be attributd to the strong convection flow of CO2 caused by density inhomogeneities, especially in the near critical region. This condition resuls in high heat transfer rates.
|
|
| 4. |
- Abbaneo, Chiara, et al.
(author)
-
UML based reverse engineering for the verification of railway control logics
- 2007
-
In: Proceedings of International Conference on Dependability of Computer Systems, DepCoS-RELCOMEX 2006. - : IEEE. - 0769525652 - 9780769525655 ; , s. 3-10
-
Conference paper (peer-reviewed)abstract
- The Unified Modeling Language (UML) is widely used as a high level object oriented specification language. In this paper we present a novel approach in which reverse engineering is performed using UML as the modelling language used to achieve a representation of the implemented system. The target is the core logic of a complex critical railway control system, which was written in an application specific legacy language. UML perfectly suited to represent the nature of the core logic, made up by concurrent and interacting processes, using a bottom-up approach and proper modeling rules. Each process, in fact, was strictly related to the management of a physically (resp. logically) well distinguished railway device (resp. functionality). The obtained model deeply facilitated the static analysis of the logic code, allowing for at a glance verification of correctness and compliance with higher-level specifications, and opened the way to refactoring and other formal analyses. © 2006 IEEE.
|
|
| 5. |
- Abbas, Muhammad, et al.
(author)
-
Automated Reuse Recommendation of Product Line Assets Based on Natural Language Requirements
- 2020
-
In: Lecture Notes in Computer Science. - Cham : Springer Science and Business Media Deutschland GmbH. - 9783030646936 ; , s. 173-189, s. 173-189, s. 173-189
-
Conference paper (peer-reviewed)abstract
- Software product lines (SPLs) are based on reuse rationale to aid quick and quality delivery of complex products at scale. Deriving a new product from a product line requires reuse analysis to avoid redundancy and support a high degree of assets reuse. In this paper, we propose and evaluate automated support for recommending SPL assets that can be reused to realize new customer requirements. Using the existing customer requirements as input, the approach applies natural language processing and clustering to generate reuse recommendations for unseen customer requirements in new projects. The approach is evaluated both quantitatively and qualitatively in the railway industry. Results show that our approach can recommend reuse with 74% accuracy and 57.4% exact match. The evaluation further indicates that the recommendations are relevant to engineers and can support the product derivation and feasibility analysis phase of the projects. The results encourage further study on automated reuse analysis on other levels of abstractions.
|
|
| 6. |
- Abbas, Muhammad, et al.
(author)
-
Keywords-based test categorization for Extra-Functional Properties
- 2020
-
In: 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). - : IEEE. - 9781728110752 ; , s. 153-156
-
Conference paper (peer-reviewed)abstract
- Categorizing existing test specifications can provide insights on coverage of the test suite to extra-functional properties. Manual approaches for test categorization can be time-consuming and prone to error. In this short paper, we propose a semi-automated approach for semantic keywords-based textual test categorization for extra-functional properties. The approach is the first step towards coverage-based test case selection based on extra-functional properties. We report a preliminary evaluation of industrial data for test categorization for safety aspects. Results show that keyword-based approaches can be used to categorize tests for extra-functional properties and can be improved by considering contextual information of keywords.
|
|
| 7. |
- Abbas, Muhammad, et al.
(author)
-
MBRP : Model-Based Requirements Prioritization Using PageRank Algorithm
- 2019
-
In: 2019 26th Asia-Pacific Software Engineering Conference (APSEC). - : IEEE conference proceedings. - 9781728146485 ; , s. 31-38
-
Conference paper (peer-reviewed)abstract
- Requirements prioritization plays an important role in driving project success during software development. Literature reveals that existing requirements prioritization approaches ignore vital factors such as interdependency between requirements. Existing requirements prioritization approaches are also generally time-consuming and involve substantial manual effort. Besides, these approaches show substantial limitations in terms of the number of requirements under consideration. There is some evidence suggesting that models could have a useful role in the analysis of requirements interdependency and their visualization, contributing towards the improvement of the overall requirements prioritization process. However, to date, just a handful of studies are focused on model-based strategies for requirements prioritization, considering only conflict-free functional requirements. This paper uses a meta-model-based approach to help the requirements analyst to model the requirements, stakeholders, and inter-dependencies between requirements. The model instance is then processed by our modified PageRank algorithm to prioritize the given requirements. An experiment was conducted, comparing our modified PageRank algorithm's efficiency and accuracy with five existing requirements prioritization methods. Besides, we also compared our results with a baseline prioritized list of 104 requirements prepared by 28 graduate students. Our results show that our modified PageRank algorithm was able to prioritize the requirements more effectively and efficiently than the other prioritization methods.
|
|
| 8. |
- Abbas, Muhammad, et al.
(author)
-
On the relationship between similar requirements and similar software : A case study in the railway domain
- 2023
-
In: Requirements Engineering. - : Springer Science and Business Media Deutschland GmbH. - 0947-3602 .- 1432-010X. ; 28, s. 23-47
-
Journal article (peer-reviewed)abstract
- Recommender systems for requirements are typically built on the assumption that similar requirements can be used as proxies to retrieve similar software. When a stakeholder proposes a new requirement, natural language processing (NLP)-based similarity metrics can be exploited to retrieve existing requirements, and in turn, identify previously developed code. Several NLP approaches for similarity computation between requirements are available. However, there is little empirical evidence on their effectiveness for code retrieval. This study compares different NLP approaches, from lexical ones to semantic, deep-learning techniques, and correlates the similarity among requirements with the similarity of their associated software. The evaluation is conducted on real-world requirements from two industrial projects from a railway company. Specifically, the most similar pairs of requirements across two industrial projects are automatically identified using six language models. Then, the trace links between requirements and software are used to identify the software pairs associated with each requirements pair. The software similarity between pairs is then automatically computed with JPLag. Finally, the correlation between requirements similarity and software similarity is evaluated to see which language model shows the highest correlation and is thus more appropriate for code retrieval. In addition, we perform a focus group with members of the company to collect qualitative data. Results show a moderately positive correlation between requirements similarity and software similarity, with the pre-trained deep learning-based BERT language model with preprocessing outperforming the other models. Practitioners confirm that requirements similarity is generally regarded as a proxy for software similarity. However, they also highlight that additional aspect comes into play when deciding software reuse, e.g., domain/project knowledge, information coming from test cases, and trace links. Our work is among the first ones to explore the relationship between requirements and software similarity from a quantitative and qualitative standpoint. This can be useful not only in recommender systems but also in other requirements engineering tasks in which similarity computation is relevant, such as tracing and change impact analysis.
|
|
| 9. |
- Abbas, Muhammad, et al.
(author)
-
Product line adoption in industry : an experience report from the railway domain
- 2020
-
In: SPLC '20: Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A. - New York, NY, USA : Association for Computing Machinery. - 9781450375696 ; , s. 130-141, s. 130-141
-
Conference paper (peer-reviewed)abstract
- The software system controlling a train is typically deployed on various hardware architectures and must process various signals across those deployments. The increase of such customization scenarios and the needed adherence of the software to various safety standards in different application domains has led to the adoption of product line engineering within the railway domain. This paper explores the current state-of-practice of software product line development within a team developing industrial embedded software for a train propulsion control system. Evidence is collected using a focus group session with several engineers and through inspection of archival data. We report several benefits and challenges experienced during product line adoption and deployment. Furthermore, we identify and discuss improvement opportunities, focusing mainly on product line evolution and test automation.
|
|
| 10. |
- Abbas, Muhammad, et al.
(author)
-
Requirements dependencies-based test case prioritization for extra-functional properties
- 2019
-
In: Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019. - : Institute of Electrical and Electronics Engineers Inc.. - 9781728108889 ; , s. 159-163
-
Conference paper (peer-reviewed)abstract
- The use of requirements' information in testing is a well-recognized practice in the software development life cycle. Literature reveals that existing tests prioritization and selection approaches neglected vital factors affecting tests priorities, like interdependencies between requirement specifications. We believe that models may play a positive role in specifying these inter-dependencies and prioritizing tests based on these inter-dependencies. However, till date, few studies can be found that make use of requirements inter-dependencies for test case prioritization. This paper uses a meta-model to aid modeling requirements, their related tests, and inter-dependencies between them. The instance of this meta-model is then processed by our modified PageRank algorithm to prioritize the requirements. The requirement priorities are then propagated to related test cases in the test model and test cases are selected based on coverage of extra-functional properties. We have demonstrated the applicability of our proposed approach on a small example case.
|
|
