Acceso al sitio web del Consejo de Políticas de Infraestructura

   
Redirigiendo al acceso original de articulo en 24 segundos...
ARTÍCULO
TITULO

A Case Study on the Application of PVS to Requirements Analysis

Georg Droschl    

Resumen

This paper presents the results of a formal methods case study in which the Prototype Verification System (PVS) has been used for requirements analysis of one module of a physical access control system. PVS is a tool for writing formal specifications and constructing proofs. Previously, the same requirements have been analyzed by means of testing supported by the IFAD Toolbox for VDM-SL. The capabilities of the two formal methods are compared.

PÁGINAS

 Artículos similares

       
 
Fei Wang, Zongmin Wang, Haibo Yang, Yong Zhao, Zezhong Zhang, Zhenhong Li and Zafar Hussain    
Drought is a complex natural phenomenon that occurs throughout the world. Analyzing and grasping the occurrence and development of drought events is of great practical significance for preventing drought disasters. In this study, the Standardized Precipi... ver más
Revista: Water

 
Huiying Ren, Z. Jason Hou, Mark Wigmosta, Ying Liu and L. Ruby Leung    
Changes in extreme precipitation events may require revisions of civil engineering standards to prevent water infrastructures from performing below the designated guidelines. Climate change may invalidate the intensity-duration-frequency (IDF) computatio... ver más
Revista: Water

 
Julio Garrote, Ignacio Gutiérrez-Pérez and Andrés Díez-Herrero    
Calibration and validation of flood risk maps at a national or a supra-national level remains a problematic aspect due to the limited information available to carry out these tasks. However, this validation is essential to define the representativeness o... ver más
Revista: Water

 
Katarzyna Plewa, Adam Perz, Dariusz Wrzesinski and Leszek Sobkowiak    
The hydrology of coastal lakes differs significantly from that of inland water bodies due to the influence of the neighboring sea. Observed climatic changes are expected to enhance the effect of the sea on coastal lake ecosystems, which makes research on... ver más
Revista: Water

 
Tianlong Jia, Hui Qin, Dong Yan, Zhendong Zhang, Bin Liu, Chaoshun Li, Jinwen Wang and Jianzhong Zhou    
Traditional reservoir operation mainly focuses on economic benefits, while ignoring the impacts on navigation. Thus, the economic operation of reservoirs considering navigational demands is of great significance for improving benefits. A navigation capac... ver más
Revista: Water