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.
Unified Modeling Language (UML) is a modeling standard that has been commonly used in the software industry. However, students face difficulties while learning how to model complete and correct UML diagrams. One of the reasons is the way UML has been taught. In order to improve the effectiveness of learning it is necessary to employ methods in which the students actively take part in the learning...
Teaching software development to undergraduate students is a challenging task. One of the challenges is to secure a high education quality for large numbers of students. Different projects should be easily comparable while allowing for different tasks for different teams to reduce the risk of plagiarism. Our solution is to use an application framework. The student project teams' final applications...
This paper demonstrates a methodology for how the organizations that employ complex enterprise systems of systems can significantly improve cyber defense while decreasing overall operating costs by using formal methods. The paper demonstrates an approach that uses an event-based methodology to formalize all types of enterprise behavior, to include system, human, and environmental events.
In embedded system development, a crucial task is to reduce the maximum power consumption owing to power source limitations while maximizing the quality of service. The tradeoff between power consumption and quality of service needs to be resolved. If software can change its power consumption in accordance with the power consumption of hardware, it can reduce the maximum power consumption while increasing...
Today's industry increasingly requires flexibility and adaptability in the development of automation control software, especially for automated production systems (aPS) including an automated material flow system (aMFS). To meet these demands, the development of the automation control software and the modification during the operation of the aMFS has to become as easy as possible without taking a...
The decisional capability of robotic systems has expended significantly in recent years. Their validation typically implies expensive and laborious test campaigns in the field. Part of the validation could use simulation means, but there is currently no systematic method to test robots in virtual worlds. This work aims to provide such a method. We discuss the challenges regarding the definition of...
Software projects produce large quantities of data such as feature requests, requirements, design artifacts, source code, tests, safety cases, release plans, and bug reports. If leveraged effectively, this data can be used to provide project intelligence that supports diverse software engineering activities such as release planning, impact analysis, and software analytics. However, project stakeholders...
Conceptual elevation of data in business process modeling was first formulated in 2003. The research community responded to this new idea enthusiastically. In the past decade, there have been numerous research activities concerning the interactions between business processes/activities and data in many aspects of business process management. Many of the advancements have or will have impacted on design/modeling,...
Currently multi-agent systems represent the great potential reached by industrial technology solving highly complex problems and reducing costs. This paper deals with the analysis of the lifecycle coverage of the most relevant methodologies concerning multi-agent systems development. It aims to show that there is no standardized process for creating multi-agent systems so far and even many methodologies...
This article describes the application of a visual approach to the design of the logical control of a test bench for testing solenoids of an electromagnetic valve on the basis of a system of interacting automata objects, represented in the form of state transition graphs.
Project monitoring poses a relevant role for project success and it is considered more fundamental in a distributed environment since it confronts additional risks such as culture, geographical, and temporal barriers. Recognizing the complexity and importance of a distributed project, it is vital that undergraduate students receive practical experience and are trained to face the obstacles this form...
Establishing a good model during the analysis and design phase in the process of software development, is the key for the correct implementation of system. UML (Unified Modeling Language, Unified Modeling Language) is the standard modeling language, graphically on the system analysis and design, Suitable for all stages of software life cycle. Combining vehicle administrative management system, flowing...
Nowadays is well known the relevance of requirements engineering in software development processes. Regrettably, the correct application of the activities is living aside for some developer's teams. This study presents the priority given by software factories in Sinaloa, México. A set of software factories (25 in total) in Sinaloa were interviewed in order to obtain the relevance given for requirements...
Describing business processes by directed graphs is a common way for system designers, because it makes easier to realize how the process goes on. However the concept of serviceoriented architecture increased difficulty of the business process management system development, because the specification of the whole system and each software unit are different in general. Therefore, describing behavioral...
The quality of source code is an important stake for the construction of software. The source code quality facilitates the maintenance and the evolution of the program. In the object-oriented paradigm, a modular system is easy to maintain thanks to its components with strong cohesion and weak or low coupling. Weak coupling is among the key factor to reduce the cost and the deadline of the system developing...
Safety-critical systems in domains such as aviation, railway, and automotive are often subject to a formal process of safety certification. The goal of this process is to ensure that these systems will operate safely without posing risks to the user, the public, or the environment [1]. It is typically expensive and time consuming for companies to certify their software. Therefore, any attempt to automate...
Industrie 4.0 components should offer flexible functionality for modern production systems. In order to achieve this flexibility, they provide functions that shall be described and implemented in an easy way. The term “functional element” is known from device profile specifications. Originally designed to be implemented in field devices, these specifications can also be used in Industrie 4.0 components...
This paper presents a proposal of working method for the development of Virtual Instruments. The method is valid with the design of an open source graphical user interface and its implementation as a virtual instrument to acquire the variables of a prototype of an industrial process for stamping parts. The method is developed in four stages: analysis and modeling, design, construction and validation...
Apply Integrated Logistics Support (ILS) to weapon equipment can efficiently improve equipment's automation and digital level. ILS needs support of various integrated support systems, which have demands for data editing. Nowadays, most of data editing software used in these systems are customized and provide a form-based editing approach, which becomes an obstacle to carry out ILS. This paper brings...
System specifications can be modeled using various types of notations and diagrams regarding applications of the particular model. In this paper, we present an overview of the existing solutions, focusing on UML, BPMN and DMN models and the diagrams provided by these notations. We perform a comparison of these approaches and provide examples of representing system requirements in these notations.
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.