This paper proposes a Model-Driven Architecture approach for the development of an embedded system validation platform namely Model-Based Security Analysis Embedded Systems (MBSAES). The security properties are formally modeled and verified at early stage design process system, which helps to reduce late errors time. A separation attack scenarios from implementation details has been respected...

introduction: considering the anti-inflammatory role of intravenous (iv) lidocaine, its analgesic properties, and its ability to reduce the need for opioids during and after surgery, in this study we decided to evaluate the effect of iv lidocaine infusion on levels of inflammatory factors based on neutrophil to lymphocyte ratio (nlr) in breast cancer surgery candidates. methods: the present stu...

This thesis looked at the effect of clay and silt soil blocking the heat transfer area of the radiator and its effect on the engine coolant through the conduct of experiments and a mathematical model developed. The results indicated that the percentage area covered resulted in a proportional increase of the inlet and outlet temperatures of the coolant in the radiator. The mathematically mode...

riverbank erosion, land loss and associated sedimentation are river engineering and water resources management problems of global significance. the ability to predict riverbank stability on eroding rivers is the prerequisite of developing a channel width adjustment model and is essential for estimating riverbank erosion and associated sedimentation. in this research, a detailed model for stabil...