eprintid: 1044
rev_number: 2
eprint_status: archive
userid: 1
dir: disk0/00/00/10/44
datestamp: 2023-11-09 15:49:12
lastmod: 2023-11-09 15:49:12
status_changed: 2023-11-09 15:38:55
type: conference_item
metadata_visibility: show
creators_name: Sammi, R.
creators_name: Rubab, I.
creators_name: Qureshi, M.A.
title: Formal specification languages for real-time systems
ispublished: pub
keywords: Critical systems; Formal specification; Formal specification language; Human lives; Nuclear missile system; Pilot system, Formal languages; Information technology; Interactive computer systems; Specification languages; Specifications, Real time systems
note: 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
abstract: 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.
date: 2010
official_url: https://www.scopus.com/inward/record.uri?eid=2-s2.0-78049409822&doi=10.1109%2fITSIM.2010.5561643&partnerID=40&md5=db6d6471df0d96fb385f9f5b018f216d
id_number: 10.1109/ITSIM.2010.5561643
full_text_status: none
publication: Proceedings 2010 International Symposium on Information Technology - System Development and Application and Knowledge Society, ITSim'10
volume: 3
place_of_pub: Kuala Lumpur
pagerange: 1642-1647
refereed: TRUE
isbn: 9781424467181
citation:   Sammi, R. and Rubab, I. and Qureshi, M.A.  (2010) Formal specification languages for real-time systems.  In: UNSPECIFIED.