Complex software systems for business critical and safety critical applications require tools for business performance managers to use, especially in software systems in which failure leads to major economic failure or loss of life. The software engineering community stands to benefit from metrics, analysis tools, and techniques that address software system safety from a design perspective. The...

Over the last ten years numerous approaches to automated safety analysis have emerged, motivated mainly by the increasing complexity of safety critical systems, the increased use of computer-based controllers in such systems and, ultimately, increased costs associated with manual safety analysis. These approaches have attracted significant interest (and funding) from industry. Furthermore, nume...

In this paper we describe a level design editor designed as an interface to allow different AI agents to creatively collaborate on level design problems with human designers. We intend to investigate the comparative impacts of different AI techniques on user experience in this context.

nowadays, the environmental impact of transportation project and, especially air pollution impacts, are major concerns in evaluating transportation projects. based on this concern, beside definition of traditional objective functions like total travel time and total investment cost, different type of environmental related function is considered as objective function in urban network design. in...

One of the major challenges of designing heterogeneous reconfigurable systems is to obtain the maximum system performance with efficient utilization of the reconfigurable logic resources. To accomplish this, it is essential to perform design space exploration (DSE) at the early design stages. System-level simulation is used to estimate the performance of the system and to make early decisions o...

background. orthodontic mini-implants provide skeletal anchorage for tooth movement. there are two designs of mini-implants, tapered and cylindrical, which exhibit different clinical characteristics, including possible micro-damage to cor-tical bone. complications such as peri-implantitis and pain after mini-implant placement are common. the aim of this study was to evaluate the effect of mini-...

Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents involving such garages have been reported. Many of these are related to safety issues in software. We apply verification techniques to develop a software design for an automated parking garage. This design meets a numb...

background: safety culture and attitude form an integral part of organizations' cultures and their improved levels are influential in the prevention of occupational accidents and injuries. the present study was conducted to assess the safety culture and attitude of workers in the mining industry in iran. materials and methods: the present cross-sectional study was conducted on 172 workers ...