Research on Operational Model of New-Generation GPS Based on Dynamic Description Logic

2011 ◽  
Vol 128-129 ◽  
pp. 702-705
Author(s):  
Xue Xia ◽  
Yan Ru Zhong ◽  
Yu Chu Qin ◽  
Liu Jing Ji
Keyword(s):  
Description Logic ◽  
Functional Requirements ◽  
Functional Specification ◽  
Geometrical Features ◽  
Specification And Verification ◽  
Verification Process ◽  
Dynamic Description ◽  
Operation Results ◽  
New Generation ◽  
Product Specification

Operation and Operator are the key technologies in the new-generation geometrical product specification and verification (GPS). In order to solve the geometrical specification problems of product functional requirements and the ambiguity problems of product specification, this paper utilizes a new method based on dynamic description logic to describe the fundamental concepts of geometrical specification. It analyzes the geometrical features of geometrical product functional specification. By establishing the model of the operations, describing the input and output parameters in the specification and verification process, and analyzing the preconditions and results of the executions of specification operator and verification operator, the paper simplifies the operation results and overcomes the shortcomings of ambiguity and inconsistency in product specification process. Finally, it takes the specification process of perpendicularity as an example to prove the feasibility and validity of this method.

scholarly journals Survey on Machine Learning Algorithms Enhancing the Functional Verification Process

Electronics ◽  
2021 ◽  
Vol 10 (21) ◽  
pp. 2688
Author(s):  
Khaled A. Ismail ◽  
Mohamed A. Abd El Ghany
Keyword(s):  
Machine Learning ◽  
Test Generation ◽  
Machine Learning Algorithms ◽  
Future Research ◽  
Functional Verification ◽  
Functional Requirements ◽  
Comprehensive Overview ◽  
Bug Detection ◽  
Coverage Metrics ◽  
Verification Process

The continuing increase in functional requirements of modern hardware designs means the traditional functional verification process becomes inefficient in meeting the time-to-market goal with sufficient level of confidence in the design. Therefore, the need for enhancing the process is evident. Machine learning (ML) models proved to be valuable for automating major parts of the process, which have typically occupied the bandwidth of engineers; diverting them from adding new coverage metrics to make the designs more robust. Current research of deploying different (ML) models prove to be promising in areas such as stimulus constraining, test generation, coverage collection and bug detection and localization. An example of deploying artificial neural network (ANN) in test generation shows 24.5× speed up in functionally verifying a dual-core RISC processor specification. Another study demonstrates how k-means clustering can reduce redundancy of simulation trace dump of an AHB-to-WHISHBONE bridge by 21%, thus reducing the debugging effort by not having to inspect unnecessary waveforms. The surveyed work demonstrates a comprehensive overview of current (ML) models enhancing the functional verification process from which an insight of promising future research areas is inferred.

scholarly journals Route planning module as a part of Supply Chain Management system

2012 ◽  
Vol 60 (2) ◽  
pp. 135-142 ◽  
Author(s):  
Michal Košíček ◽  
Radek Tesař ◽  
František Dařena ◽  
Roman Malo ◽  
Arnošt Motyčka
Keyword(s):  
Supply Chain ◽  
Supply Chain Management ◽  
Route Planning ◽  
Planning System ◽  
Functional Requirements ◽  
Chain Management ◽  
Functional Specification ◽  
Supply Chain Management System ◽  
Basic Features ◽  
The Right

Today, the demand for creating a systematic approach for managing sales, ordering, and logistics has increased. Supply Chain Management (SCM) is one of the responses to problems that have arose with the need for managing complex supply chains. Nowadays, most of the activities of Supply Chain Management is realized or supported with computing technologies. Route planning is an important part of Supply Chain Management related to both procurement and distribution. Route planning systems specify the sequences in which the selected transport vehicles should supply the demand points by requested quantities of goods at the right time. The paper is focused on the analysis of a route planning system which could be used as a part of Supply Chain Management information system or as a standalone application. It describes basic techniques and frameworks of transportation problems as well as important functional requirements, considering recent trends in the field of distribution planning. As a result, functional specification of basic features and other components of system are provided. The paper is a result of a joint initiative of the authors and a vendor of business information systems.

scholarly journals A Survey on Formal Specification and Verification of Smart Mass Transit Railway Interlocking System

2021 ◽  
Vol 11 (6) ◽  
pp. 671-682
Author(s):  
Lokanna Kadakolmath ◽  
Umesh D. Ramu
Keyword(s):  
Human Life ◽  
Mass Transit ◽  
Research Area ◽  
Requirements Specification ◽  
Urban Mobility ◽  
Functional Requirements ◽  
Catastrophic Loss ◽  
Specification And Verification ◽  
Active Research ◽  
Active Research Area

Nowadays interest in Smart Mass Transit Rail has grown-up to a large extent in a metropolitan area as the need for urban mobility has increased steadily. The reliability of software being used in such mass transit rail is crucial for us, specifically when software crashes may lead to catastrophic loss of human life and assets. For example, when we travel by metro it is essential for us that the interlocking system software controlling the metros are accurate so collisions and derailment are prevented. The reliability and safety of such interlocking systems are made on the precise functional requirements specification and verification respectively. Therefore, the precise functional requirements specification and verification of such interlocking systems represent a challenge in an active research area, so in this paper, we survey various articles in this field and discuss their consequences.

Decidable Temporal Dynamic Description Logic

2011 ◽  
Vol 22 (7) ◽  
pp. 1524-1537 ◽  
Author(s):  
Liang CHANG ◽  
Zhong-Zhi SHI ◽  
Tian-Long GU ◽  
Xiao-Feng WANG
Keyword(s):  
Description Logic ◽  
Temporal Dynamic ◽  
Dynamic Description
Sign in / Sign up

Export Citation Format

Share Document