Paper Info
Title
Towards The Formal Development Of Software Based Systems: Access Control System As A Case Study
Abstract
Our daily life is increasingly becoming more and more dependent on software as they are being extensively used to control safety and mission-critical systems. This has lead to very stringent verification requirements for ensuring that the software performs as intended. However, the testing based techniques cannot provide a rigorous verification due to limited computational and memory constraints and traditional formal verification techniques, like model checking and theorem proving, are not too straightforward to work with in the industrial setting. In this paper, as a first step to overcome these limitations, we describe a hybrid property based testing and model checking based technique for verifying both models and implementation of access control systems. Our approach addresses the model checking of critical properties of access control systems and aims at improving their reliability by using property based testing to analyze the corresponding software code. For illustration purposes, a simple example of an access control system is used.
Year
DOI
Venue
2018
10.5755/j01.itc.47.3.20330
INFORMATION TECHNOLOGY AND CONTROL
Keywords
Field
DocType
Access Control System, Model-Checking, Petri nets, Property-Based Testing, Rewriting Logic
Model checking,Property based testing,Petri net,Software engineering,Computer science,Automated theorem proving,Real-time computing,Software,Rewriting,Access control,Formal verification
Journal
Volume
Issue
ISSN
47
3
1392-124X
Citations 
PageRank 
References 
0
0.34
0
Authors
4
Name
Order
Citations
PageRank
Ammar Boucherit100.34
Laura M. Castro25010.39
Abdallah Khababa300.34
Osman Hasan440160.79