Page 95 of 321
Abstract: Within the field of Mining Software Repositories, there are numerous methods employed to filter datasets in order to avoid analysing low-quality projects. Unfortunately, the existing filtering methods have not kept up with the growth of existing data sources, such as GitHub, and researchers often rely on quick and dirty techniques to curate datasets. The objective of this study is to develop a met...
Abstract: Agile methods are increasingly introduced in automotive companies in the attempt to become more efficient and flexible in the system development. The adoption of agile practices influences communication between stakeholders and makes companies rethink the management of artifacts and documentation like requirements, safety compliance documents, and architecture models. Practitioners aim to reduce i...
Abstract: Water scarcity and water contamination due to the extensive use of organic compounds in industries trigger us to adopt modern techniques for wastewater treatment. In this research, we developed a new dielectric barrier discharge (DBD) system which was evaluated for the degradation of nitrobenzene in water under different experimental arrangements. DBD produces an enormous amount of active species ...
Abstract: In this paper, we propose a compositional approach for verifying autonomous track-based traffic control systems at runtime. This approach traces a sequence of changes propagated through the system and verifies the system concerning the changed/adapted components. The system is modeled by multiple interactive coordinated actor models, where each coordinated actor model corresponds to a component of...
Abstract: One of the applications of vehicular ad-hoc networks is warning message dissemination among vehicles in dangerous situations to prevent more damage. The only communication mechanism for message dissemination is multi-hop broadcast; in which, forwarding a received message have to be regulated using a scheme regarding the selection of forwarding nodes. When analyzing these schemes, simulation-based ...
Abstract: Recent developments in agile methods at scale and continuous delivery have successfully removed major bottlenecks that have, so far, limited the speed at which software can be developed, delivered, and evaluated by customers and end users. Now, the ability to manage requirements and related knowledge in continuous software engineering has become a limiting factor....
Abstract: To meet the demands of future automation systems, the architecture of traditional control systems such as the industrial robotic systems needs to evolve and new architectural paradigms need to be investigated. While cloud-based platforms provide services such as computational resources on demand, they do not address the requirements of real-time performance expected by control applications. Fog co...
Abstract: The Fog computing paradigm employing multiple technologies is expected to play a key role in a multitude of industrial applications by fulfilling futuristic requirements such as flexible and enhanced computing, storage, and networking capability closer to the field devices. While performance aspects of the Fog paradigm has been the central focus of researchers, safety aspects have not received eno...
Abstract: In view of the construction of urban lighting system needs a lot of manpower deployment, especially for its fault diagnosis problem management. This paper proposes a fault model detection and diagnosis subsystem based on the extreme learning machine for street lamps system. The subsystem is part of the event rule response system which is based on the complex event processing technology framework. ...
Abstract: Safety cases are used to argue that safety-critical systems satisfy the requirements that are determined to mitigate the potential hazards in the systems operating environment. Although typically a manual task, safety cases have been successfully created for systems without many configuration options. However, in highly configurable systems, typically developed as a Product Line (PL), arguing abou...
Abstract: In safety-critical (software) systems, safety management embraces both processes and products, which due to e.g., product's upgrade, tend to be tailored, giving rise to safety-oriented product lines and corresponding safety-oriented process lines. To tailor these lines systematically, their inter-dependencies would have been taken into consideration. To date, however, no satisfying implemented sol...
Abstract: Mature development methodologies like software product line engineering or model-driven engineering are more and more adopted in software development. Accordingly, the resulting development processes combine artifacts from different disciplines and on different abstraction levels. It is crucial that the relationship between these artifacts is explicitly maintained to be able to track the developme...
Abstract: Background: In order to make informed decisions, software engineering practitioners need information from testing. However, with the trend of increased automation, there is exponential growth and increased distribution of this information. This paper aims at exploring the information flow in software testing in the domain of embedded systems. Method: Data was collected through semi-structured inte...
Abstract: It is our pleasure to welcome you to the third edition of ITEQS, collocated with the 12th IEEE International Conference on Software Testing, Verification and Validation (ICST 2019) in Xi’an, China. Due to the ever-increasing integration of software systems with the physical world, extrafunctional aspects such as performance, safety, security, and robustness become more important and play a central...
Page 95 of 321