TESTING AUTOSAR BASIC SOFTWARE MODULES WITH QUICKCHECK

Author(s):  
RICKARD SVENNINGSSON ◽  
ROLF JOHANSSON ◽  
THOMAS ARTS ◽  
ULF NORELL
2020 ◽  
Vol 4 (41) ◽  
pp. 83-87
Author(s):  
ALEKSEY SEDOV ◽  

The Federal scientific Agroengineering center VIM has developed technical tools, algorithms and software for the intelligent automatic control system for milking animals “Stimul” on the “Herringbone” milking unit in three versions. The created system does not include automatic selection gates for effective management of zootechnical and veterinary services of animals. (Research purpose) The research purpose is in developing an intelligent machine for automatic sorting of animals for servicing and managing the herd according to specified characteristics. (Materials and methods) The article presents the development of control and management systems in dairy farming based on the conceptual principles of digital transformation. The digital control system is based on a multifunctional panel controller. The created control unit has a port for connecting to the RS 485 network and provides support for network functions via the Modbus Protocol. The programming of the control unit has been made in the SMLogix tool environment, which supports the FBD function block language. (Results and discussion) The article presents an intelligent machine for automatic sorting of animal flows for servicing and managing the herd according to specified characteristics with the unification of hardware, software modules and interface. The article describes the necessary parameters for the automatic remote animal identification system, the basic component of the control system of an intelligent machine for sorting animals according to specified characteristics. (Conclusions) The machine allows to automatically identify, sort and send animals to the specified areas for individual service.


2019 ◽  
Vol 944 (2) ◽  
pp. 46-56
Author(s):  
S.A. Yamashkin ◽  
A.A. Yamashkin ◽  
O.A. Zarubin

The article is devoted to a detailed analysis of the problem of designing graphic geoportal interfaces. The authors formulated the basic points for solving problems in this field, having given the rationale and detailed description of each of them. The emphasis is made on the flexible arrangement of the design and development of interfaces, aiming at the future realities, at the human centricity of the interface design process, at the need for cross-platform adaptive web interfaces, at the preference to use proprietary and third-party software modules over the implementation of spatial data management systems. Lists of basic functional and quality requirements for graphical interfaces of geoportals are given. The geoportal “Natural and cultural heritage of Mordovia” is presented as an illustrative example of the various implementation of graphical user web interfaces. An experimental assessment of the effectiveness of measures to improve geoportal graphical interfaces is given. It is shown that properly over-thought interfaces of geoportal systems can contribute to solving various kinds of problems in many fields.


2013 ◽  
Vol 18 (9) ◽  
pp. 78-83
Author(s):  
Roland Geiger ◽  
Wolfgang Bieg ◽  
Stefan K. Maier

2003 ◽  
Vol 02 (02) ◽  
pp. 229-246 ◽  
Author(s):  
T. KESAVADAS ◽  
M. ERNZER

This paper describes an interactive virtual environment for modeling and designing factories and shop floors. The factory building tool is developed as an open architecture in which various modules can be utilized to quickly implement factory design algorithms ranging from plant layout to factory flow analysis. Software modules and utilities have been implemented to allow easy set-up of the visual interface. In this paper, this virtual factory is used to implement cellular manufacturing (CM) system. CM has traditionally been a very complicated system to implement in practice. However successful implementation of the system has improved productivity immersely. Several issues involved in implementing CM within our virtual factory machine modeling and interface designs for defining the cells, are discussed. The mathematical clustering algorithm called Modified Boolean Method was implemented to automatically generate complex virtual environments. The virtual factory makes the process of CM-based factory design a very easy and intuitive process. Though the cell formation problem is NP-complete in 2D space, issues related to human factors and ergonomics can be better perceived in a 3D virtual environment. It also leads to further optimization with respect to maintainability and performance, and thus help get better solutions, which are not visible unless the factory is built. Our virtual factory interface also allows easy reassignment of machines and parts, subcontracting of bottleneck parts and rearranging of machines within the same design environment, making this a productive industrial tool. 3D virtual factory can also be automatically generated from the Part Machine interface called the Virtual Matrix Interface.


Author(s):  
TETSUO ICHIMORI

This paper treats an allocation problem of discrete testing resources in module testing where software modules are tested independently. The total amount of discrete testing resources is given beforehand. When an allocation is determined in module testing, each software module defines the share per size. Since discrete resources do not allow each software module to get an equal share per size, there exists a dispersion. The aim of this paper is to find an allocation minimizing the variance of this dispersion.


Sign in / Sign up

Export Citation Format

Share Document