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 coverage of requirements is a fundamental need throughout the software life cycle. It gives project managers an indication how well the software meets expected requirements. A precondition for the process is to link requirements with project artifacts, like test cases. There are various (semi-) automated methods deriving traceable relations between requirements and test scenarios aiming to counteract...
The transition from a model-driven to a requirements-driven approach in the software development for programmable logic controllers will allow the developers to focus on the proper definition of the problem which needs to be solved and let the computer find a suitable solution for it automatically. This article presents a domain specific language intended to support this transition. The main focus...
Presents features of Knowledge Base' construction for Nature-Technogenic Control System. Structure and components of this Knowledge Base are considered in accordance with working standards (IDEF0, UML 1.4). Software development processes based on design techniques (SADT, UML) are discussed. Diagrams shown depict structural and functional composition of Knowledge Base using CASE-tools (BPWin, PlantUML).
The increase in productivity implied by model-driven software product line engineering is weakened by the complexity exposed to the user having to manage a multi-variant model. Recently, a new paradigm has emerged: filtered software product line engineering transfers the established check-out/modify/commit workflow from version control to variability management, allowing to iteratively develop the...
The paper deals with the verification of reconfigurable real-time systems to be validated by using the Object Constraint Language (abbrev, OCL). A reconfiguration scenario is assumed to be any adaptation of the execution to the system environment according to user requirements. Nevertheless, since several behaviors can be redundant from an execution to another, the use of OCL is insufficient to specify...
The fact that normal tasks of control blocks are highly complex and unnecessarily overfitted has led to superfluously high workloads with regard to engineering and development. Existing concepts of variability handling are not designed for this use case. Therefore we present a new variant description model and concept for a control block variant management technique. This concept ensures that the...
The current research paper specifies the dynamic reconfiguration of distributed embedded control systems. A reconfiguration is a distributed run-time automatic operation to adapt the system's behaviour to its environment. We propose a multi-agent architecture to handle and control all reconfiguration scenarios. In order to specify the defined architecture, we propose a model driven approach based...
Hardware-in-the-Loop (HIL) is an important strategy to test a control system on a model of the real plant. This is particular important in the engineering process related to machine development since it permit to save many resources wasted in the development of a real experiment. This paper discusses how the modular approach in system development (Machine Modular Development, MMD), can support the...
Designing, developing, and maintaining control software is often a complex and difficult task, especially in larger projects. The paper presents a concept of applying the Model-Driven Development approach with SysML modeling to the IEC 61131-3 development process. Four types of diagrams are used to model different aspects of the system: Requirements Diagram, Package Diagram, Block Definition Diagram,...
An innovative topology-based method for modeling railway train control systems is proposed in this paper. The method addresses the problems of having to rely too much on designers' experience and of incurring excessive cost of validation and verification in the development of railway train control systems. Four topics are discussed in the paper: 1) the definition of basic topological units for modeling...
The IEC 61131 standard has accepted high criticism last years regarding its compliance with state of the art software engineering practices and concepts. A new version of the standard with main focus on an Object Oriented (OO) extension is under development. In this paper, a different point of view of the IEC 61131 is presented. It is claimed that 61131 already supports basic concepts of the OO programming...
A functional design diagram for one of parallel hybrid electric vehicles performance simulation software was presented. Using the Unified Modeling Language modeling mechanism, the software system's architecture diagrams, using case diagrams and class diagrams were established. By giving an example for using the software, a compare was made between the software's result and another result which is...
In software product line engineering (SPLE), commonality and variability across products of a product line domain are captured typically by a feature model. Reusable components are then developed from features. However, mapping features to components remains a complex task requiring a systematic way of exploring and analyzing various concerns arising from inadequate/insufficient domain assumptions...
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...
The size and complexity of large-scale distributed embedded systems such as automotive and process controls have increased recently. Sophisticated systems that are safe and environmentally friendly require numerous types of sensor data, which are collected from various devices and sent to computers through networks. To develop such large-scale distributed embedded systems with high dependability and...
Safety critical control systems, especially flight control systems, have failed in trials and actual flights sometimes killing people. Independence is a key word in the verification and validation activity of such systems. Model based testing is used today in all flight control programs. Test cases are generated using qualified automated tools or manually to ensure code and requirements coverage....
The maintenance teaching, training and testing of a certain type of control and command system fails to achieve satisfied results for the limitation in quantity and complexity. This paper discusses the development of a virtual maintenance training and testing system. Based on fault cases and B/S mode, the system realizes online virtual maintenance training and testing, greatly improving the training...
IEC 61499 standard has promised to help handling the high level of complexity of modern control systems, but it hasn't still been adopted by the industry. Several authors claim for design methodologies to guide control engineers using this standard. This paper shows a way to ease the development of IEC 61499 based applications identifying and characterizing "extended FBs", adding semantic...
Software is an important part of industrial process control systems. However, the state-of-the-practice for developing industrial process control software still has several key challenges that need to be addressed (e.g., migration to platforms of different vendors, lack of automation). This paper introduces a model-driven engineering approach to the development of industrial process control software,...
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...
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.