摘要：AbstractIn order to get an automatic code generation, some tools like HILES (High-Level Specification of Embedded Systems) require a high-level system definition with blocks identification, properties, and operations. Property Model Methodology (PMM) proposes a workflow for properties identification. This paper presents a software development with a PMM approach to take a high-level definition of a stated system with technical requirement sentences as included in technical documents. As a result, we obtained structural and behavioral models for systems with additional features such as traceability from the proposed system. Finally, we used the software on a 28V aircraft regulator system for getting structural and behavioral models from the test handbook.
