TY  - CONF
AV  - none
ID  - scholars1044
UR  - https://www.scopus.com/inward/record.uri?eid=2-s2.0-78049409822&doi=10.1109%2fITSIM.2010.5561643&partnerID=40&md5=db6d6471df0d96fb385f9f5b018f216d
KW  - Critical systems; Formal specification; Formal specification language; Human lives; Nuclear missile system; Pilot system
KW  -  Formal languages; Information technology; Interactive computer systems; Specification languages; Specifications
KW  -  Real time systems
CY  - Kuala Lumpur
VL  - 3
SN  - 9781424467181
TI  - Formal specification languages for real-time systems
EP  - 1647
SP  - 1642
N2  - This paper presents a survey about the formal specification languages which are used to specify Real-time systems. Real time systems are critical systems such as nuclear missile system, auto pilot system etc. A minor fault in these systems can result into serious consequences. These consequences may comprise threat to human life. Therefore it is very vital to specify the system correctly. To achieve the correct and unambiguous specification, formal languages are used. Formal languages increase the confidence on the specification and hence the overall system. This paper compares formal languages which are used to specify real-time systems such as VDM++, RTSJ, ASTRAL. A comparison criterion is established to select the best suitable specification languages for Real-Time systems. In the end a small example is mapped in to three selected specification languages which conclude that which language provides the best constructs and tools for Real-Time systems. © 2010 IEEE.
A1  - Sammi, R.
A1  - Rubab, I.
A1  - Qureshi, M.A.
Y1  - 2010///
N1  - cited By 3; Conference of 2010 International Symposium on Information Technology, ITSim'10 ; Conference Date: 15 June 2010 Through 17 June 2010; Conference Code:81915
ER  -