Shiraz UniversityIranian Journal of Science and Technology Transactions of Electrical Engineering2228-617934320100626Synthesizing a specification-based monitor for safety requirements23525682110.22099/ijste.2010.821ENJournal Article20080524Safety-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.
https://ijste.shirazu.ac.ir/article_821_52b1ba4f0a1454f546f7734935a60734.pdfShiraz UniversityIranian Journal of Science and Technology Transactions of Electrical Engineering2228-617934320100626Generation expansion planning for Iran power grid32533382610.22099/ijste.2010.826ENJournal Article20090903Generation 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.
https://ijste.shirazu.ac.ir/article_826_a78da5685241e133233f421f65d48135.pdf