Loading...
Please wait, while we are loading the content...
Similar Documents
Formal Specification of a Security System Module in VDM-SL (2000)
| Content Provider | CiteSeerX |
|---|---|
| Author | Droschl, Georg |
| Abstract | Essentially, the Compileable Security System (CSS) provides access control at sites like banks. The objective of the subsystem driver 0E (SSD-0E) is to support night guards on their way through pre-defined paths called guard-rounds. As part of a case study, the SSD-0E module was re-developed using the formal specification language VDM-SL and the IFAD Toolbox for VDM-SL. This paper contains a brief introduction of SSD-0E, its informal requirements, and a VDM-SL specification. Contents 1 Introduction 3 2 Informal Requirements 4 2.1 Programming a Guard Round . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.2 Structure a Guard Round . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.3 Selecting a Guard Round . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.4 Starting a Guard Round . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.5 Processing of Switches . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ... |
| File Format | |
| Language | English |
| Publisher Date | 2000-01-01 |
| Access Restriction | Open |
| Subject Keyword | Guard Round Formal Specification Security System Module Informal Requirement Compileable Security System Ssd-0e Module Access Control Formal Specification Language Vdm-sl Vdm-sl Specification Pre-defined Path Subsystem Driver Case Study Night Guard Brief Introduction Ifad Toolbox |
| Content Type | Text |
| Resource Type | Technical Report |
