Shiraz University
Iranian Journal of Science and Technology Transactions of Electrical Engineering
2228-6179
34
3
2010
06
26
Synthesizing a specification-based monitor for safety requirements
235
256
EN
10.22099/ijste.2010.821
Safety-critical systems such as medical and avionic ones are the systems in which failure to satisfy the user requirements may put man’s life and resources in jeopardy. Since the adequate reliability of the software of such systems may be unobtainable via formal methods and the software testing approach single-handedly,<em> verification of run-time behavior</em> of software against user requirements violation is considered as a complementary approach. However, the synthesis of such a run-time verifier, hereafter we have called it a <em>monitor</em>, is confronted with the challenging problem of verifying low-level run-time behavior of target software against high-level user requirements violation. To solve this problem, we propose an approach in two phases. In the first phase, we obtain­ user requirements and then specify their<em> violation</em> formally. This formal specification is a high-level version of user requirements violations and should be mapped to a low-level one. To this end, in the second phase we extract a tabular automaton from the formal specification of user requirements violations in order to determine a state-based specification of the violations. This low-level specification, which constitutes the core of the monitor, determines those states which target software should not reach. To show the effectiveness of our approach, we apply it to the synthesis of a monitor for verifying behavior of the <em>Continuous Insulin Infusion Pump</em>(CIIP) system.
Safety-critical systems,run-time verification,event-based specification,state-based specification
https://ijste.shirazu.ac.ir/article_821.html
https://ijste.shirazu.ac.ir/article_821_52b1ba4f0a1454f546f7734935a60734.pdf
Shiraz University
Iranian Journal of Science and Technology Transactions of Electrical Engineering
2228-6179
34
3
2010
06
26
Generation expansion planning for Iran power grid
325
333
EN
10.22099/ijste.2010.826
Generation expansion planning is one of the major modules of power system planning studies, normally performed for the next 10-30 years. Optimal generation expansion planning is a non-linear and limited optimization problem. All solutions are compared to each other in order to reach final optimal solution. Some simplifications are made to reduce the problem dimensions which will not lead to unreal results. In this paper, WASP software package, one of the well known power expansion planning softwares, is used to optimizeIrangeneration expansion planning. For modeling the power system, WASP uses the probabilistic simulation, while for optimization the dynamic programming method is used. In this paper, the generation system expansion planning is performed from 2009 till 2024 (a duration of 16 years). Finally, the sensitivity analysis is performed on the capital cost and the fuel cost of power plants.
Optimal generation expansion planning,WASP software package,Sensitivity analysis
https://ijste.shirazu.ac.ir/article_826.html
https://ijste.shirazu.ac.ir/article_826_a78da5685241e133233f421f65d48135.pdf