This volume contains the proceedings of SAFECOMP '95, the 14th International Conference on Computer Safety, Reliability and Security, held in Belgirate, Italy, 11-13 October 1995. The SAFECOMP conferences provide an opportunity for developers, practitioners, assessors, and legislators to review the state of the art, exchange experiences, and to identify the future directions of the field. These papers cover issues relevant to the whole lifecycle of safety-related systems, including legal aspects, safety analysis, formal methods, design, verification and validation, and dependable software technology. Human issues are now playing an increasingly important role in the design of safety-related systems, and this is reflected in a number of papers. SAFECOMP '95 will be of interest to all those in universities, research institutions, industry and business who want to be well-informed about the current international state of the art in computer safety, reliability and security. It provides a representative sample of recent research results and applications problems, presented by experts from both industry and academia.the 14th International Conference on Computer Safety, Reliability, and Security, Belgirate, Italy, 11-13 October 1995 Gerhard ... Hybrid simulation, a marriage of detailed functional simulation with analytical or simple Monte- Carlo models, permits ... The tool can also use the command language of the underlying simulation engine to modify the values of variables and ... Initial concepts are in the form of blocks diagrams and flow diagrams, which are easily developed by the designer.
|Author||:||Gerhard Rabe, European Workshop on Industrial Computer Systems. TC7--Systems Reliability, Safety, and Security, Institute for Systems Engineering and Informatics (Commission of the European Communities. Joint Research Centre)|
|Publisher||:||Springer Verlag - 1995|