The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The growing size and complexity of software in embedded systems poses new challenges to the safety assessment of embedded control systems. In industrial practice, the control software is mostly treated as a black box during the system's safety analysis. The appropriate representation of the failure propagation of the software is a pressing need in order to increase the accuracy of safety analyses...
The popular agile practice of continuous integration has become an essential part of the software development process in many companies, sometimes to the extent that delivery to customer is impossible without it. Due to this pivotal role it is an important field of research to better understand the practice: continuous integration system behavior, improvement identification and analysis of change...
The IEC 61499 standard enables the model-based design of complex industrial automation systems, in which a model of the controlled physical processes called a plant, is codeveloped with the controller. However, the existing design flow does not address functional safety issues, which include limiting risk to acceptable levels. Standards like IEC 61508 provide safety guidelines for measuring and managing...
Software development processes have known important evolutions such as the appearance of the agile methods. They become now the centre of interest of all development teams. Furthermore, BPM is an approach for modelling and automating business processes, favouring their continuous improvement. This paper proposes a new approach for conducting agile software development projects, based on BPM in order...
Due to increased market demands for highly customized and machine-specific solutions in manufacturing, industrial software systems are often developed as software product lines (SPL) and organized as software ecosystems (SECO) with internal and external developers composing individual solutions based on a common technological platform. In such settings, software development usually occurs in a multistage...
In order to deal with performance of software systems, it is important to introduce approaches and tools that work in the early phases of the software life-cycle, even before the code is developed. In fact, if performance requirement violations are discovered too late, then there may be significant impacts on project costs. Some work has been done in the last few years to tackle the problem of automatically...
In typical MP(multi-processor)-SoCs, there are several thousands of tie-off signals. These are growing as complexity and size of SoC is increasing day by day. Mutation testing is popular to find faults in the software program of software system design. There were many attempts to apply the same concept in SoC or embedded SoC testing or verification. In this paper, we are proposing a verification methodology...
Developing an automatic framework for updating/ upgrading a system or a software is a challenging task due to the need of the updated or upgraded system to be easy for all users, satisfying all users' requirements, and decreasing the response time of the system. The main objective of this paper is to propose a framework for automating the requirement analysis steps such as identifying and classifying...
Industrial plants are multi-disciplinary systems that are operated for multiple decades. Changes in these systems are consequently indispensable, making appropriate mechanisms for managing co-evolution of engineering documentation necessary. In this paper, a co-evolution model for control and simulation software is introduced. Typical evolution categories and modification strategies for enabling co-evolution...
One of the main challenges in adopting model-based testing (MBT) is the effort and expertise required to produce the formal models. For an existing system, there are various approaches to automate the process of creating the models. In this paper, we share our experiences from a long term industrial evaluation on automatically extracting models of graphical user interface (GUI) applications and utilizing...
This paper provides a retrospective examination of GUI Ripping — reverse engineering a workflow model of the graphical user interface of a software application — born a decade ago out of recognition of the severe need for improving the then largely manual state-of-the-practice of functional GUI testing. In these last 10 years, GUI ripping has turned out to be an enabler for much research, both within...
This paper describes a statistical method for test completeness verification. The method is based on analyzing programs and mathematical models of discrete devices with introduced defects. It is proposed in the paper that the method allows largely reducing the time it takes to evaluate the tests by introducing multiple defects on the one hand, and, by using the results of the analysis of tests performed...
The design process of advanced control solutions has become more and more challenging due to the increasing complexity of current automation systems. In such a context, structured design approaches based on formal reference models as well as reliable verification processes have to be adopted. In addition, in last years Model-based Design methods are being extensively adopted thanks to their capability...
During the last eight years we investigated the benefit of modeling notations, e.g. UML and domain specific UML profiles as well as specialized modeling languages (Idiomatic Control Language - ICL) in software engineering (IEC 61131-3) in machine and plant automation with three different experiments and approximately more than 120 participants. The results of the conducted experiments revealed the...
Modern automation systems shall be able to conjugate increasing complexity of controlled processes with agile production reconfiguration requirements. In such a context, structured design approaches based on formal reference models as well as integrated verification and validation process, have to be adopted. To such an aim, present paper proposes an approach based on Model-Checking methods and tools...
The reliability of automated system management solutions will increase in importance as the use of cloud computing and data centres expands. As part of a study to improve reliability, this paper provides a classification of faults that can occur in automated system management and proposes a method for determining the severity of such faults. A baseline deployment is compared with an alternate proposed...
The configuration of communication networks is still an extensive part of the engineering process especially within heterogeneous and hybrid networks. Reducing the engineering time by an automatic configuration of the communication networks would not only save time and costs it would also allow the engineer to concentrate more on the design of the automation applications and processes. Therefore this...
Software automation is always a challenging project, in which automatic transform from requirement model to analysis model is difficult especially. This paper has constructed a basic category semantics model for essential use case analysis technology, which has provided formal description for transform from requirement model to analysis model, and contributed to the automation of the transform.
In industrial automation, service-orientation is a relatively new and ascending concept and thus, concrete integrated methodologies are missing to accomplish the required development tasks. A suitable approach is to use the powerful set of features that Petri nets formalism provides for such dynamic systems. This paper presents a token game template that is part of the open methodology for the development...
Validation of e-learning courses can be partially automated. Several partial solutions of this task exist and are examined in the paper. An approach combining the partial solutions into an integrated architecture is presented. An implementation example of the architecture developed for a specific course validation is briefly described.
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.