As we depend more and more on software intensive systems, safety is of paramount importance. This paper attempts to address the often-neglected topic of safety assessment for software intensive systems. A thorough analysis of system hazards, and related catastrophic events, allows the developers to assess the system safety by identifying all potential catastrophic events and their impact on req...

Model Based Testing (MBT) is a functional testing technique that makes use of information from behavioral models of the software to carry out the testing task. This technique has been commonly used in testing of interactive systems, where the used model represents the system behavior reacting to user’s actions. Finite State Machines (FSMs) are one of the most used modeling techniques for MBT. H...

This paper deals with the problem of the parallel composition construction for two Timed Finite State Machines (TFSMs). As a key to the solution of this problem we use parallel composition of common Finite State Machines (FSMs). We transform given TFSMs to FSMs and prove theorem, that obtained FSMs correctly describe behaviour of the given TFSMs. Then we build parallel composition of these FSMs...

staphylococcus aureus is one of the most prevalent causes of gastroenteritis worldwide. knowing the precise boundary for the growth/no growth interface of s. aureus and also determining the period of time needed for bacterial growth initiation is necessary for food safety risk assessment. this study was designed to examine the combined effects of temperature, acetic acid, inoculum level and nac...

background: pesticides are one of the important sources of environmental pollution that influence human health. the aim of current study was to determine diazinon and benomyl residues levels in mushrooms grown in greenhouses. methods: mushroom samples were obtained from 10 active greenhouses of hamadan province, iran, every 14 days from may 2014. the absorbance of diazinon and benomyl were meas...