• Aug 25, 2016 News!Vol.4, No.3 has been published with online version. 15 peer reviewed articles from 3 specific areas are published in this issue.   [Click]
  • May 03, 2016 News!Vol. 3, No. 3 has been indexed by EI (Inspec).   [Click]
  • May 03, 2016 News!Vol. 3, No. 2 has been indexed by EI (Inspec).   [Click]
General Information
    • ISSN: 2301-3559
    • Frequency: Quarterly
    • DOI: 10.18178/LNSE
    • Editor-in-Chief: Prof. Jemal Antidze
    • Executive Editor: Ms. Cherry L. Chen
    • Abstracting/ Indexing: EI (INSPEC, IET), DOAJ, Electronic Journals Library, Engineering & Technology Digital Library, Ulrich's Periodicals Directory, International Computer Science Digital Library (ICSDL), ProQuest and Google Scholar.
    • E-mail: lnse@ejournal.net
Editor-in-chief
Prof. Jemal Antidze
I. Vekua Scientific Institute of Applied Mathematics
Tbilisi State University, Georgia
I'm happy to take on the position of editor in chief of LNSE. We encourage authors to submit papers concerning any branch of Software Engineering.

LNSE 2016 Vol.4(3): 169-174 ISSN: 2301-3559
DOI: 10.18178 /LNSE.2016.V4.244

Towards an Approach to Formally Define Requirements for a Health & Status Monitoring for Safety-Critical Software Systems

Emanuel S. Grant
Abstract—Throughout past research undertakings, the use of formal specification techniques (FSTs) have been utilized to eliminate inaccuracies in semi-formal models used in model-driven software engineering. Semi-formal models of safety critical software systems were transformed into equivalent formal representations, where verification and validation was conducted using proof tools. The results of those studies derived a concrete set of specifications using the Z language in which constraints were placed on the software system for safe execution. These constraints included those on object attributes in addition to pre- and post-conditions on user-defined method signatures. The work here continues to unfold the potential for these Z specifications to be used in an approach for defining health and status monitors for safety critical software systems. This proposal is justified through an outline of the experience and knowledge gained from applications of forward and reverse engineering activities on a software system that was created to monitor unmanned aerial vehicles in unrestricted airspace operation.

Index Terms—Formal specification, FST, requirements, validation, verification.

Emanuel S. Grant is with the Department of Computer Science, University of North Dakota, North Dakota, USA (e-mail: grante@cs.und.edu).

[PDF]

Cite: Emanuel S. Grant, "Towards an Approach to Formally Define Requirements for a Health & Status Monitoring for Safety-Critical Software Systems," Lecture Notes on Software Engineering vol. 4, no. 3, pp. 169-174, 2016.

Copyright © 2008-2015. Lecture Notes on Software Engineering. All rights reserved.
E-mail: lnse@ejournal.net