Many safety-related systems are built from generic software which is customised to work in a particular situation by static configuration data. Examples of such systems are railway interlockings and air traffic control systems. While there is now considerable experience and guidance on how to develop safety-related software, and there are a number of standards in this area, the topic of safety-...

today, expert systems are widely applied in medicine for prognosis, diagnosis, checkup, and treatment of various kinds of diseases. a comprehensive system for the checkup and treatment of different types of diabetes is still lacking. this paper reports development of such a system, its validation, and its utility in facilitating medical decision-making and supporting self-care.

the aim of this research paper is the introduction of a novel mathematical approach to improvethe accuracy of the results of air pollution dispersion models based on the calibration of input backgroundconcentrations. using the dunkirk area of the city of nottingham in the uk as a case study, an air pollutionmodel in adms-roads was created for developing the mathematical approach. the iterative ...

Today’s computing systems provide all kinds of media output to the users including pictures, sounds, lights and visual animations; but user input is mostly restricted to narrow, time-consuming input modes such as mouse, touch screen or keyboard, even if the system could sense this information implicitly from the human body. Physiological computing allows one to re-balance this information asymm...

in this study, application ofweap model (soil moisture method) have been investigated for simulating hydrological behavior in ahar-chai basin. according to the development of pressurized irrigation systems in this basin, since 2005, two models were carried out for two periods, pre-pressurized period (1998-2006) and pressurized period (2006-2013). irrigation method in first model was surface irr...

In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and performing the verification and analysis on the analysis model. Graph transformation is increasingly being used to automate this conversion. In such a scenario, it is very important that the conversion preserves the se...

Effective verification and validation are central to medical device software development and are essential for regulatory approval. Although guidance is available in multiple standards in the medical device software domain, it is difficult for the manufacturer to implement as there is no consolidated view of this information. Likewise, the standards and guidance documents do not consider proces...