Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer systems - Reliability - Congresses --- Trust - Congresses --- Computer systems --- Trust

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

What evidence is sufficient to justify the release of a computer-based safety critical system? How should this evidence be presented to certification bodies or regulatory authorities? What best practices should be applied? These are just a few of the questions addressed by Justifying the Dependability of Computer-based Systems, which provides a framework for the justification of the dependability of a computer-based system. The book also explores some of the more fundamental aspects of safety evaluation, such as the nature of models, arguments, evidence and documentation, and the ways to deal with different types of risk and uncertainty. Justifying the Dependability of Computer-based Systems will be of value to software, computer system, instrumentation and control engineers, and regulators working in industry sectors such as nuclear safety. Pierre-Jacques Courtois is a Professor in the Department of Computer Science and Engineering at the Catholic University of Louvain-la-Neuve, with particular research interests in safety-critical software for the nuclear industry. He has more than fifteen years experience in the nuclear safety industry, having worked as a nuclear safety advisor in Finland and the UK, and as a consultant to the International Atomic Energy Agency (IAEA) and the Organisation for Economic Co-operation and Development (OECD).

Engineering. --- Computer organization. --- Computational intelligence. --- Quality control. --- Reliability. --- Industrial safety. --- Quality Control, Reliability, Safety and Risk. --- Engineering, general. --- Computational Intelligence. --- Computer Systems Organization and Communication Networks. --- Industrial accidents --- Industries --- Job safety --- Occupational hazards, Prevention of --- Occupational health and safety --- Occupational safety and health --- Prevention of industrial accidents --- Prevention of occupational hazards --- Safety, Industrial --- Safety engineering --- Safety measures --- Safety of workers --- Accidents --- System safety --- Dependability --- Trustworthiness --- Conduct of life --- Factory management --- Industrial engineering --- Reliability (Engineering) --- Sampling (Statistics) --- Standardization --- Quality assurance --- Quality of products --- Intelligence, Computational --- Artificial intelligence --- Soft computing --- Organization, Computer --- Electronic digital computers --- Construction --- Industrial arts --- Technology --- Prevention --- Computer systems --- Nuclear engineering --- Nuclear power plants --- Safety measures. --- ADP systems (Computer systems) --- Computing systems --- Systems, Computer --- Electronic systems --- Cyberinfrastructure --- System safety. --- Computer network architectures. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Safety, System --- Safety of systems --- Systems safety --- Industrial safety --- Systems engineering --- Computer systems - Reliability --- Nuclear power plants - Safety measures --- Nuclear engineering - Safety measures

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computers and their interactions are becoming the characteristic features of our time: Many people believe that the industrial age is going over into the information age. In the same way as life of the beginning of this century was dominated by machines, factories, streets and railways, the starting century will be characterised by computers and their networks. This change naturally affects also the institutions and the installations our lives depend upon: power plants, including nuclear ones, chemical plants, mechanically working factories, cars, railways and medical equipment; they all depend on computers and their connections. In some cases it is not human life that may be endangered by computer failure, but large investments; e. g. if a whole plant interrupts its production for a long time. In addition to loss of life and property one must not neglect public opinion, which is very critical in many countries against major technical defects. The related computer technology, its hardware, software and production process differ between standard applications and safety related ones: In the safety case it is normally not only the manufacturers and the customers that are involved, but a third party, usually an assessor, who is taking care of the public interest on behalf of a state authority. Usually safety engineers are in a better position than their colleagues from the conventional side, as they may spend more time and money on a particular task and use better equipment.

Computer systems --- Computer security --- Reliability --- Computer science. --- Special purpose computers. --- Software engineering. --- Data encryption (Computer science). --- Coding theory. --- Computer logic. --- Computers and civilization. --- Computer Science. --- Data Encryption. --- Computers and Society. --- Software Engineering/Programming and Operating Systems. --- Coding and Information Theory. --- Logics and Meanings of Programs. --- Special Purpose and Application-Based Systems. --- Congresses --- Logic design. --- Cryptology. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Data compression (Telecommunication) --- Information theory --- Signal theory (Telecommunication) --- Computer programming --- Computer software engineering --- Engineering --- Informatics --- Science --- Data encoding (Computer science) --- Encryption of data (Computer science) --- Cryptography --- Information theory. --- Special purpose computers --- Computers --- Computer science logic --- Logic, Symbolic and mathematical --- Communication theory --- Communication --- Cybernetics --- Civilization and computers --- Civilization --- Computer systems - Reliability - Congresses --- Computer security - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

iTrust is an Information Society Technologies (IST) working group, which started on 1st of August, 2002. The working group is being funded as a concerted action/ thematic network by the Future and Emerging Technologies (FET) unit of the IST program. The aim of iTrust is to provide a forum for cross-disciplinary investigation of the application of trust as a means of establishing security and con?dence in the global computing infrastructure, recognizing trust as a crucial enabler for meaningful and mutually bene?cial interactions. The proposed forum is intended to bring together researchers with a keen interest in complementary aspects of trust, from technology-oriented disciplines and the ?elds of law, social sciences, and philosophy. Hence providing the c- sortium participants (and the research communities associated with them) with the common background necessary for advancing toward an in-depth underst- ding of the fundamental issues and challenges in the area of trust management in open systems. Broadly the initiative aims to: – facilitate the cross-disciplinary investigation of fundamental issues underp- ning computational trust models by bringing together expertise from te- nology oriented sciences, law, philosophy, and social sciences – facilitate the emergence of widely acceptable trust management processes for dynamic open systems and applications – facilitate the development of new paradigms in the area of dynamic open systems which e?ectively utilize computational trust models – help the incorporation of trust management elements in existing standards.

Computer systems --- Trust --- Reliability --- Trust (Psychology) --- Computer science. --- Computer communication systems. --- Software engineering. --- Information storage and retrieval. --- Artificial intelligence. --- Computers and civilization. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Information Systems Applications (incl. Internet). --- Computer Communication Networks. --- Information Storage and Retrieval. --- Artificial Intelligence (incl. Robotics). --- Computers and Society. --- Attitude (Psychology) --- Emotions --- Information storage and retrieva. --- Artificial Intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer software engineering --- Engineering --- Informatics --- Science --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Application software. --- Civilization and computers --- Civilization --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Distributed processing --- Computer systems - Reliability - Congresses --- Trust - Congresses --- Computer networks.