A Novel Collaboration-Oriented Requirement Model Mapping and Classification Method Based on Domain Knowledge for Complex Mechatronic Products

Complex mechatronic products include inter-disciplinary, inter-field, and inter-departmental requirement information. Aiming at the low digitization rate of existing product requirement information, a structured and digital product requirement model (RM) is defined. Besides, a collaboration-oriented requirement model mapping and classification method for complex mechatronic products is proposed, which realizes the automatic generation of the domain requirement models and the mapping between the requirement models and knowledge graph, thus improving the digitization rate of the product in the requirement phase. A simulated military plane horizontal tail control system is used as a case study to prove the effectiveness and feasibility of this method. Based on Hoteam PLM8.0 platform, a management architecture and the display path of product requirement model are given, which can provide a reference for the research and development of product lifecycle model management (PLMM) system.

Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems

In this benchmark proposal, we present a set of large specifications stated in Signal Temporal Logic (STL) intended for use in falsification of Cyber-Physical Systems. The main purpose of the benchmark is for tools that monitor STL specifications to be able to test their performance on complex specifications that have structure similar to industrial specifications. The benchmark itself is a Git repository which will therefore be updated over time, and new specifications can be added. At the time of submission, the repository contains a total of seven Simulink requirement models, resulting in 17 generated STL specifications.

ReMoFP: A Tool for Counting Function Points from UML Requirement Models

Function Point Analysis (FPA) is a widely used technique for measuring software size. It measures software functionality from the user's perspective, usually based on a requirements description. In many software processes, these requirements are represented by UML models. Although there have been attempts to automate the measurement process, FPA counting requires a considerable amount of interpretation which, to be reliable, should be made by experts. On the other hand, fully manual counting methods usually fail to keep synchronized with the requirements model, since requirements frequently change during the development cycle. This paper describes an approach for counting FPA and a compliant tool. This approach makes use of UML requirement models. The tool, called ReMoFP (Requirement Model Function Point counter), leaves all the counting decisions to the analyst, but supports him by ensuring consistency with the requirements represented in the models. The ReMoFP was developed by a software development laboratory in Brazil, and helped it to improve counting productivity, consistency, and maintainability.