Click for new scientific resources and news about Corona[COVID-19]

Paper Information

Journal:   INDUSTRIAL ENGINEERING & MANAGEMENT SHARIF (SHARIF: ENGINEERING)   SUMMER 2007 , Volume 23 , Number 38; Page(s) 81 To 101.
 
Paper: 

EBV, AN APPROACH TO AUTOMATIC CONSTRUCTING OF RUN-TIME VERIFIER OF THE SAFETY-CRITICAL SOFTWARE

 
 
Author(s):  BABA MIR S.M., JALILI S.
 
* 
 
Abstract: 

Dynamic Verification, dealing with the validation of the run-time behavior of software, faces the challenges of constructing a run-time behavior verifier and a mapping between behavior and environmental events. In this paper, we propose an approach, based on the Event Calculus called EBV that presents an automatic approach to the challenges by taking four steps. In the first step, using the Parnas model, we document the requirements, including interaction between the environment and the software and, in the second step, we present a high-level and event-based specification of the expected behavior of the software in response to environmental events. In the third step, we extract a middle-level and state-based specification from the event-based one (the first mapping). The specification is a reference point for verifying the correct and expected behaviors. In the fourth step, by exploiting the State Design pattern, we implement the verifier, using the mapping of the state-based specification on run-time activities of the software (the second mapping). In this way, i.e. by two mappings, we provide the connection between the high-level environmental events and the low-level run-time activities of the software. In an attempt to show the effectiveness of the EBV, we construct the verifier of safety-critical software from its specifications and pursue it to its implementation.

 
Keyword(s): 
 
 
References: 
  • ندارد
  •  
 
Click to Cite.
APA: Copy

BABA MIR, S., & JALILI, S. (2007). EBV, AN APPROACH TO AUTOMATIC CONSTRUCTING OF RUN-TIME VERIFIER OF THE SAFETY-CRITICAL SOFTWARE. INDUSTRIAL ENGINEERING & MANAGEMENT SHARIF (SHARIF: ENGINEERING), 23(38), 81-101. https://www.sid.ir/en/journal/ViewPaper.aspx?id=101757



Vancouver: Copy

BABA MIR S.M., JALILI S.. EBV, AN APPROACH TO AUTOMATIC CONSTRUCTING OF RUN-TIME VERIFIER OF THE SAFETY-CRITICAL SOFTWARE. INDUSTRIAL ENGINEERING & MANAGEMENT SHARIF (SHARIF: ENGINEERING). 2007 [cited 2021May15];23(38):81-101. Available from: https://www.sid.ir/en/journal/ViewPaper.aspx?id=101757



IEEE: Copy

BABA MIR, S., JALILI, S., 2007. EBV, AN APPROACH TO AUTOMATIC CONSTRUCTING OF RUN-TIME VERIFIER OF THE SAFETY-CRITICAL SOFTWARE. INDUSTRIAL ENGINEERING & MANAGEMENT SHARIF (SHARIF: ENGINEERING), [online] 23(38), pp.81-101. Available: https://www.sid.ir/en/journal/ViewPaper.aspx?id=101757.



 
 
Yearly Visit 29 Persian Abstract
 
Latest on Blog
Enter SID Blog