Software Engineering Approach Research Articles

A systematic mapping study of source code representation for deep learning in software engineering

The usage of deep learning (DL) approaches for software engineering has attracted much attention, particularly in source code modelling and analysis. However, in order to use DL, source code needs to be formatted to fit the expected input form of DL models. This problem is known as source code representation. Source code can be represented via different approaches, most importantly, the tree-based, token-based, and graph-based approaches. We use a systematic mapping study to investigate i detail the representation approaches adopted in 103 studies that use DL in the context of software engineering. Thus, studies are collected from 2014 to 2021 from 14 different journals and 27 conferences. We show that each way of representing source code can provide a different, yet orthogonal view of the same source code. Thus, different software engineering tasks might require different (combinations of) code representation approaches, depending on the nature and complexity of the task. Particularly, we show that it is crucial to define whether the DL approach requires lexical, syntactical, or semantic code information. Our analysis shows that a wide range of different representations and combinations of representations (hybrid representations) are used to solve a wide range of common software engineering problems. However, we also observe that current research does not generally attempt to transfer existing representations or models to other studies even though there are other contexts in which these representations and models may also be useful. We believe that there is potential for more reuse and the application of transfer learning when applying DL to software engineering tasks.

Verified synthesis of optimal safety controllers for human-robot collaboration

We present a tool-supported approach for the synthesis, verification and validation of the control software responsible for the safety of the human-robot interaction in manufacturing processes that use collaborative robots. In human-robot collaboration, software-based safety controllers are used to improve operational safety, e.g., by triggering shutdown mechanisms or emergency stops to avoid accidents. Complex robotic tasks and increasingly close human-robot interaction pose new challenges to controller developers and certification authorities. Key among these challenges is the need to assure the correctness of safety controllers under explicit (and preferably weak) assumptions. Our controller synthesis, verification and validation approach is informed by the process, risk analysis, and relevant safety regulations for the target application. Controllers are selected from a design space of feasible controllers according to a set of optimality criteria, are formally verified against correctness criteria, and are translated into executable code and validated in a digital twin. The resulting controller can detect the occurrence of hazards, move the process into a safe state, and, in certain circumstances, return the process to an operational state from which it can resume its original task. We show the effectiveness of our software engineering approach through a case study involving the development of a safety controller for a manufacturing work cell equipped with a collaborative robot.

Towards privacy compliance: A design science study in a small organization

Complying with privacy regulations has taken on new importance with the introduction of the EU’s General Data Protection Regulation (GDPR) and other privacy regulations. Privacy measures are becoming a paramount requirement demanding software organizations’ attention as recent privacy breaches such as the Capital One data breach affected millions of customers. Software organizations, however, struggle with achieving privacy compliance. In particular, there is a lack of research into the organizational practices and challenges involved in compliance, particularly for small and medium enterprises (SMEs), which represent a sizeable portion of organizations. Many SMEs use a continuous software engineering (CSE) approach, which introduces additional adoption and application challenges. For example, the fast pace of CSE makes it harder for SMEs that are already more resource constrained to prioritize non-functional requirements such as privacy.

A Model-Driven Optical Clinic Management Systems: Systematic Software Engineering Approach

INTRODUCTION: eHealth systems in a modern hospital and clinic require stringent measures to coordinate the operations of doctors, nurses, pharmacies for improved health care delivery.OBJECTIVES: The primary objective is to perform a comparative analysis to devise a novel approach to address the needs of a hospital information management system. This has triggered an urgent response to develop Optical Clinic Management System (OCMS) to address the limitation of the existing system. This intervention would promote the good health and well-being of humankind to meet the Sustainable Development Goals 3 (SDGs 3).METHODS: The study proposed a Design Science Research Methodology (DSRM) approach in Software Engineering as a catalyst to design OCMS to capture patients’ up-to-date records for medical diagnosis. The system is to assist Clinicians to prescribe medications based on a patient’s medical history by clicking a computer button.RESULTS: The limitations discovered during systems analysis and design of the existing systems were addressed during system evaluation and testing. It was observed that the proposed optical clinic management systems received a 98% acceptance for the implementation.CONCLUSION: This study explores the problem facing clinic and hospital administration and established major factors affecting the existing systems. It was discovered that the paper-based management systems used to keep patients’ medical records were found to be unreliable and therefore unsafe to be used as the basis to prescribe medication for patients, hence the need for this comprehensive system to address the problem for effective health care delivery. The situation in the existing system incidentally led to misplaced and unstructured handling of patient clinical records that may inadvertently make the clinicians administer medications with no reference to the patient’s previous diagnosis due to the lost file. Hence, the aftermath of the Covid-19 pandemic and its global destruction of human lives should motivate African leaders to invest adequate resources in the development of information technology applications for robust health information systems to improve health care delivery in Africa.

Fuzzing-based hard-label black-box attacks against machine learning models

Machine learning models are vulnerable to adversarial examples. We study the most realistic hard-label black-box attacks in this paper. The main limitation of the existing attacks is that they need a large number of model queries, making them inefficient and even infeasible in practice. Inspired by the very successful fuzz testing approach in traditional software engineering and computer security domains, we propose fuzzing-based hard-label black-box attacks against machine learning models. We design an AdvFuzzer to explore multiple paths between a source image and a guidance image, and design a LocalFuzzer to explore the nearby space around a given input for identifying potential adversarial examples. We demonstrate that our fuzzing attacks are feasible and effective in generating successful adversarial examples with significantly reduced number of model queries and L0 distance. More interestingly, given a successful example generated by either our or other attacks, LocalFuzzer can immediately generate more successful adversarial examples even with smaller L2 distance from the source example.

Transformation²: Making software engineering accountable for sustainability

Software engineering, as a central practice of digitalization, needs to become accountable for sustainability. In light of the ecological crises and the tremendous impact of digital systems on reshaping economic and social arrangements - often with negative side-effects - we need a sustainability transformation of the digital transformation. However, this is a complex and long-term task. In this article we combine an analysis of accountability arrangements in software engineering and a model of sustainability transformations to trace how certain dynamics are starting to make software engineering accountable for sustainability in the technological, cultural, economic and governance domains. The article discusses existing approaches for sustainable software engineering and software engineering for sustainability, traces emerging discourses that connect digitalization and sustainability, highlights new digital business models that may support sustainability and shows governance efforts to highlight “green and digital” policy problems. Yet, we argue that these are so far niche dynamics and that a sustainability transformation requires a collective and long-lasting effort to engender systemic changes. The goal should be to create varied accountability arrangements for sustainability in software engineering which is embedded in complex ways in society and economy.

The “Socialized Architecture”: A Software Engineering Approach for a New Cloud

Today, the cloud means a revolution within the Internet revolution. However, an oligopoly sustaining the cloud may not be the best solution, since ethical problems such as privacy or even transferring data sovereignty could eventually happen. Our research, coined as the "socialized architecture," presents a novel disruptive approach to completely transform the cloud as we know it today. The approach follows ideas already working in the field of volunteer computing, since it tries to socialize spare computing power in the infraused hardware that institutions and normal people own. However, our solution is completely different to current ones, since it does not create hyper-specialized muscles in client machines. The solution is new since it proposes a software engineering approach for developing “socialized services”, which, leveraging an asynchronous interaction model, creates a network of lightweight microservices that can be dynamically allocated and replicated through the network. The use of state-of-the-art patterns, such as Command Query Responsibility Segregation, helps to isolate domain events and persistence needs, while an API Gateway addresses communication. All previous ideas were tested through a complete and functional proof of concept, which is a prototype called Circle implementing a social network. Circle has been useful to expose problems that need to be addressed. The results of the assessment confirm, in our view, that it is worth to start this new field of work.

Towards Achieving AI Quality With a Systematic Software Engineering Approach

Towards Achieving AI Quality With a Systematic Software Engineering Approach

Ontology Driven Testing Strategies for IoT Applications

Internet-of-Things (IoT) has attained a major share in embedded software development. The new era of specialized intelligent systems requires adaptation of customized software engineering approaches. Currently, software engineering has merged the development phases with the technologies provided by industrial automation. The improvements are still required in testing phase for the software developed to IoT solutions. This research aims to assist in developing the testing strategies for IoT applications, therein ontology has been adopted as a knowledge representation technique to different software engineering processes. The proposed ontological model renders 101 methodology by using Protégé. After completion, the ontology was evaluated in three-dimensional view by the domain experts of software testing, IoT and ontology engineering. Satisfied results of the research are showed in interest of the specialists regarding proposed ontology development and suggestions for improvements. The Proposed reasoning-based ontological model for development of testing strategies in IoT application contributes to increase the general understanding of tests in addition to assisting for the development of testing strategies for different IoT devices.

Software Engineering in Healthcare

Abstract: As technology is advancing and affecting every phase of human life, health care facilities are also getting improved with the introduction of new advanced, customized, and patient-centric approaches in software engineering. Engineers all around the world are working to create unique and efficient ways for the prevention and early detection of diseases along with improving the patients’ experience while using these technologies. With the gain in computing power and access to a wide range of software, software engineers are working on technologies such as Big Data, AI, Data Science, and Cybersecurity to improve the existing methodologies and pave the way for patient-centric approaches and knowledge translation.

MRDRL-ROS: a Multi Robot Deep Reinforcement Learning Platform based on Robot Operating System

Deep reinforcement learning (DRL) has greatly improved the intelligence of AI in recent years and the community has proposed several common software to facilitate the development of DRL. However, in robotics the utility of common DRL software is limited and the development is time-consuming due to the complexity of various robot software. In this paper, we propose a software engineering approach leveraging modularity to facilitate robot DRL development. The platform decouples learning environment into task, simulator and hierarchical robot modules, which in turn enables diverse environment generation using existing modules as building blocks, regardless of the underlying robot software details. Experimental results show that our platform provides composable environment building, introduces high module reuse and efficiently facilitates robot DRL.

AVA: A component-oriented abstraction layer for virtual plug&produce automation systems engineering

The prevailing system and software model in automation systems engineering is defined by the IEC 61131 norm. It is to date the best way we know how to express low-level logic and manipulate electrical hardware signals. However, the exponential technological growth is continuing to raise the expectations on what automation systems are supposed to be capable of doing. Fulfilling rising requirements and managing the exploding complexity requires a systematic support for high-level descriptions, structuring, and communication, which the original approach was not built to provide. This work proposes the introduction of an abstraction layer, a component-container infrastructure, defined on top of standard system and software models in automation and mirroring the world of cyber–physical systems, where independent components are interconnected to realize the systems’ purpose by using each other’s functionalities. The concept is implemented in the form of a domain-specific modeling language, applying a classical two-level Model-driven Software Engineering (MDSE) approach. By engineering distinct industrial use cases in accordance with the proposed approach, it is shown that the defined abstractions and mechanisms are capable of expressing the nuances of software design in different domains and can enable the streamlining of the automation systems engineering workflow into a virtual plug&produce process.

A Service-Oriented Component-Based Framework for Dynamic Reconfiguration Modeling Targeting SystemC/TLM

To deal with the complex design issues of Dynamically Reconfigurable Systems-on-Chip (DRSoCs), it is extremely relevant to raise the abstraction level in which models are expressed. A high abstraction level allows great flexibility and reusability while bypassing low-level implementation details. In this context, model-driven engineering (MDE) provides support to build and transform precise and structured models for a particular purpose at different levels of abstraction. Indeed, high-level models are successively refined to low-level models until reaching the executable ones. Thus, this paper presents an MDE-based framework for DRSoCs design enabling the transformation of UML/MARTE specifications to SystemC/TLM implementation. To achieve a high degree of expressiveness for modeling dynamic reconfiguration, we use a suitable software engineering approach based on service-oriented component architecture. Since MARTE does not cover the common features of dynamic reconfiguration domain and service orientation concepts, new stereotypes are created by refinement to add missing capabilities to the profile. Likewise, SystemC does not provide native support for dynamic reconfiguration, thus leading us to adopt a design pattern based solution for DRSoCs implementation in compliance with standards. The proposed framework is validated through a reconfigurable active 3-way crossover case study in which we demonstrate the practicability of the approach by gradual model transformations with reduced implementation effort and significant design productivity gain.

A Service-Oriented Approach for Sensing in the Internet of Things: Intelligent Transportation Systems and Privacy Use Cases

This paper presents a Sensing-as-a-Service run-time Service Oriented Architecture (SOA), called 3SOA, for the development of Internet of Things (IoT) applications. 3SOA aims to allow interoperability among various IoT platforms and support service-oriented modelling at high levels of abstraction where fundamental SOA theories and techniques are fully integrated into a practical software engineering approach. 3SOA abstracts the dependencies of the middleware programming model from the application logic. This abstraction allows the development efforts to focus on writing the application logic independently from hardware platforms, middleware, and languages in which applications are programmed. To achieve this result, IoT objects are treated as independent entities that may interact with each other using a well-defined message exchange sequence. Each object is defined by the services it provides and the coordination protocol it supports. Objects are then able to coordinate their resources to address the global objectives of the system. To practically validate our proposals, we demonstrate an intelligent transportation system and data privacy functional prototypes as proof of concepts. The use cases show that 3SOA and the presented abstraction language allow the amalgamation of macroprogramming and node-centric programming to develop real-time and efficient applications over IoT.

The entrepreneurial logic of startup software development: A study of 40 software startups

Software startups are an essential source of innovation and software-intensive products. The need to understand product development in startups and to provide relevant support are highlighted in software research. While state-of-the-art literature reveals how startups develop their software, the reasons why they adopt these activities are underexplored. This study investigates the tactics behind software engineering (SE) activities by analyzing key engineering events during startup journeys. We explore how entrepreneurial mindsets may be associated with SE knowledge areas and with each startup case. Our theoretical foundation is based on causation and effectuation models. We conducted semi-structured interviews with 40 software startups. We used two-round open coding and thematic analysis to describe and identify entrepreneurial software development patterns. Additionally, we calculated an effectuation index for each startup case. We identified 621 events merged into 32 codes of entrepreneurial logic in SE from the sample. We found a systemic occurrence of the logic in all areas of SE activities. Minimum Viable Product (MVP), Technical Debt (TD), and Customer Involvement (CI) tend to be associated with effectual logic, while testing activities at different levels are associated with causal logic. The effectuation index revealed that startups are either effectuation-driven or mixed-logics-driven. Software startups fall into two types that differentiate between how traditional SE approaches may apply to them. Effectuation seems the most relevant and essential model for explaining and developing suitable SE practices for software startups.

Smart system for monitoring ammonium nitrate storage warehouse

<span>Ammonium nitrate (AN, NH4NO3) is one of the materials used in chemical industry and in agriculture. AN is not considered a fire risk but it is a strong oxidizing agent that can lead to fire and explosion, so, the ammonium nitrate must be stored under specific environmental conditions to avoid the occurrence of dangerous situations. In this paper, a smart monitoring system for Ammonium nitrate storage is developed. The system consists of three-parts: monitoring chemicals system part (MCS), warehouse monitoring part (WMP), and emergency part (EP). MCS includes several hardware components: Arduino microcontroller, Ds18b20 sensor, MQ sensors, system for mobile communication (GSM), global position system (GPS), buzzer, and LCD. Two types of alarms are designed, the first one is for the WMP that to receive the alarm when temperature is exceeds than a specific threshold in chemical warehouse. The second one is for EP. It represents the receiver part to receive the alarm with the location of the place that indicates to certain gases leakage that could cause a fire or explosion. Also, a buzzer is listening and display the sensor state on LCD. The system follows the object-oriented software engineering (OOSE) approach using unified modeling language (UML).</span>

Decision Support System for Determining Overtime Employees at PT. Mark Dynamics Indonesia, Tbk with Analytical Hierarchy Process Method

In the company, it is necessary to conduct an assessment in order to provide overtime for employees. How to determine overtime for employees at PT. Mark Dynamics Indonesia is still manual so it is difficult to determine the assessment and determine which employees deserve overtime. This research starts from the stage of analyzing the current system obtained from direct interviews with related parties and observations. While the design method uses the Unified Modeling language (UML) to describe the system design. In this case, the AHP (Analytical Hierarchy Process) method is used to determine the employee overtime. In this case, the decision-making system can provide convenience for PT. Mark Dynamics, Tbk to determine customer employees in improving the quality to determine customer employees who are applied using Microsoft Visual Studio 2010 and Microsoft Access 2010 programming as databases. The system was developed using a software engineering approach, including analysis, design and implementation. At the analysis stage, process analysis, input analysis, output analysis, weakness analysis of the current system and needs analysis are carried out.

A model‐driven approach for semantic web service modeling using web service modeling languages

AbstractThe service‐oriented software engineering approach has been increasingly utilized to design and develop complex distributed systems. Exploiting semantic web technologies to increase utilization of the web services at the semantic level leads to create semantic web services (SWSs). This paper proposes a model‐driven architecture (MDA) to model the SWS and to transform it from a high‐level modeling language, such as the Unified Modeling Language (UML), to a low‐level semantic description, such as the Web Service Modeling Language (WSML). To annotate all aspects of the SWS, a UML profile is provided by extending the UML metamodel. Some stereotypes and tagged values are also defined to support WSML. Therefore, the structure aspects of the SWS are modeled with a class diagram based on stereotypes that are defined in the UML profile. The logical and behavioral aspects of the SWS are modeled and expressed using activity diagrams, sequence diagrams, and Object Constraint Language (OCL). Experimental results show that the proposed approach not only increases the level of independence, accuracy, expressiveness, understandability, and machine processability but also significantly reduces the complexity and heterogeneity. Moreover, the proposed method is also evaluated in comparison with the previous methods of the literature, and the results will show that the proposed method outperforms the other methods in terms of expressiveness, understandability, scalability, level of independence, and accuracy.

Managing bias and unfairness in data for decision support: a survey of machine learning and data engineering approaches to identify and mitigate bias and unfairness within data management and analytics systems

The increasing use of data-driven decision support systems in industry and governments is accompanied by the discovery of a plethora of bias and unfairness issues in the outputs of these systems. Multiple computer science communities, and especially machine learning, have started to tackle this problem, often developing algorithmic solutions to mitigate biases to obtain fairer outputs. However, one of the core underlying causes for unfairness is bias in training data which is not fully covered by such approaches. Especially, bias in data is not yet a central topic in data engineering and management research. We survey research on bias and unfairness in several computer science domains, distinguishing between data management publications and other domains. This covers the creation of fairness metrics, fairness identification, and mitigation methods, software engineering approaches and biases in crowdsourcing activities. We identify relevant research gaps and show which data management activities could be repurposed to handle biases and which ones might reinforce such biases. In the second part, we argue for a novel data-centered approach overcoming the limitations of current algorithmic-centered methods. This approach focuses on eliciting and enforcing fairness requirements and constraints on data that systems are trained, validated, and used on. We argue for the need to extend database management systems to handle such constraints and mitigation methods. We discuss the associated future research directions regarding algorithms, formalization, modelling, users, and systems.

Motivations, challenges, and process support for the evolution of existing software to mobile computing platforms

Software maintenance and evolution support changes in the structure and behavior of existing software to change it as per the needs and demands of new requirements. The majority of the existing software systems lack features of mobile computing such as portability, context-awareness, connectivity, and high interactivity. The evolution of the existing software for mobile computing platforms can enable these systems to retain their core data and logic while acquiring new features that are compatible with mobile systems. The objectives of this research are to (i) systematically identify the motivations and challenges of software evolution for mobile computing, and (ii) develop and validate a process model that supports the evolution of existing software to a mobile computing platform. To conduct this research, an empirical software engineering approach has been adopted to investigate existing solutions (30 published studies from 1996 to 2019) and empirically derive a process model that supports software evolution for mobile computing. A case study-based approach is adopted to demonstrate the process-centric evolution of existing software as a mobile-enabled application. Case study-based demonstration highlights that the proposed process (i) supports an incremental evolution and (ii) allows user-decision support to guide the evolution process. Evaluation results highlight computation and energy efficiency along with enhanced usability of a mobile application when executed on resource-constrained mobile devices. The results of this research could help researchers and practitioners to rationalize motivations and challenges to utilize a process-based approach to evolve existing or aging software for mobile computing platforms. Future research is focused on providing patterns and tool support to automate and customize the evolution process.