Specifications

Publication year: 2012
Pages: 485-488
Article number: 6530383
Language: English
ISBN-13: 9788994364216
Document type: Conference article (CA)
Conference name: 2012 7th International Conference on Computing and Convergence
Technology (ICCIT, ICEI and ICACT), ICCCT 2012
Conference date: December 3, 2012 - December 5, 2012
Conference location: Seoul, Korea, Republic of
Conference code: 98252
Publisher: IEEE Computer Society, 2001 L Street N.W., Suite 700, Washington, DC
20036-4928, United States
Abstract: A novel train radio system, namely automatic train protection and block (ATPB), is
proposed to reconstruct and improve the efficiency of the conventional rail lines. In development
of the software system of the ATPB, the formal method is intended to be used to formally analyze
its functional requirements specification (FRS) to guarantee the safety and reliability. Firstly, the
FRS is written informally in natural language (i.e. Japanese). In order to ensure the
correspondence between the natural language specification and the formal specification, a new
strategy is proposed, including establishing the dynamic state translations (DSTs), UML diagrams
and formal VDM++ model, and verifying the internal consistence of specification. In this paper,
only the DSTs are discussed. They expressed the train operation process and the state changes of
components, and help to determine the parameters. © 2012 AICIT.
Number of references: 12
Main heading: Specifications
Controlled terms: Formal methods - Railroad signal systems - Railroad transportation
Uncontrolled terms: ATPB - Automatic train
protections - correspondence - Formal Specification - Functional
requirement - Model-based specifications - Natural language specifications - Railway
signaling systems
Classification code: 433.1 Railroad Transportation, General - 681.3 Railroad Signals and
Signaling - 723.1 Computer Programming - 902.2 Codes and Standards
Database: Compendex
Compilation and indexing terms, © 2013 Elsevier Inc.
6.
Accession number: 20133316603658
Title: Policy analysis for administrative role based access control without separate
administration
Authors: Yang, Ping1 ; Gofman, Mikhail2 ; Yang, Zijiang3, 4/;;;
Author affiliation:
1 Dept. of Computer Science, State University of New York, Binghamton, NY, United States
2 Dept. of Computer Science, California State University, Fullerton, CA, United States
3 School of Computer Science and Engineering, Xi'an University of Technology, China
4 Dept. of Computer Science, Western Michigan University, MI, United States