Choose an application

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

Real-time data processing --- Fault-tolerant computing --- Temps réel --- Tolérance aux fautes (Informatique) --- Congresses --- Congrès --- Temps réel --- Tolérance aux fautes (Informatique) --- Congrès

Choose an application

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

As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. This book was born of an effort to bring together the research communities of software architectures and dependability. This state-of-the-art survey contains 18 expanded and peer-reviewed papers based on the carefully selected contributions to the Workshop on Architecting Dependable Systems (WADS 2006), organized at the 2006 International Conference on Dependable Systems and Networks (DSN 2006), held in Philadelphia, PA, USA, in June 2006. It also contains a number of invited papers written by recognized experts in the area. The papers are organized in topical sections on architectural description languages, architectural components and patterns, architecting distributed systems, and architectural assurances for dependability.

Computer architecture --- Computer systems --- Fault-tolerant computing --- Ordinateurs --- Systèmes informatiques --- Tolérance aux fautes (Informatique) --- Congresses. --- Reliability --- Architecture --- Congrès --- Fiabilité --- Computer Science --- Engineering & Applied Sciences --- Information Technology --- Software Engineering --- Computer science. --- Architecture, Computer. --- Software engineering. --- Operating systems (Computers). --- Computer Science. --- Computer System Implementation. --- Software Engineering. --- Operating Systems. --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Computer software engineering --- Engineering --- Architecture, Computer --- Informatics --- Science --- Operating systems --- Computer network architectures. --- Architectures, Computer network --- Network architectures, Computer

Choose an application

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

This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96, held in Uppsala, Sweden, in September 1996. The 22 revised full papers presented were selected from a total of 61 submissions; also included are three invited contributions and five tools demonstrations. The papers are organized in sections on state charts, timed automata, duration calculus, case studies, scheduling, fault tolerance, specification, and verification.

Real-time data processing --- Fault-tolerant computing --- Temps réel --- Tolérance aux fautes (Informatique) --- Congresses. --- Congrès --- Temps réel --- Tolérance aux fautes (Informatique) --- Congrès --- Congresses --- Information theory. --- Computer science. --- Operating systems (Computers). --- Logic design. --- Software engineering. --- Theory of Computation. --- Programming Languages, Compilers, Interpreters. --- Operating Systems. --- Logics and Meanings of Programs. --- Special Purpose and Application-Based Systems. --- Processor Architectures. --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Operating systems

Choose an application

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

This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998. The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications.

Real-time data processing --- Fault-tolerant computing --- Temps réel --- Tolérance aux fautes (Informatique) --- Congresses. --- Congrès --- Congresses --- Computer Science --- Engineering & Applied Sciences --- Temps réel --- Tolérance aux fautes (Informatique) --- Congrès --- Computer science. --- Microprocessors. --- Special purpose computers. --- Architecture, Computer. --- Programming languages (Electronic computers). --- Computers. --- Computer logic. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Computer System Implementation. --- Theory of Computation. --- Logics and Meanings of Programs. --- Processor Architectures. --- Special Purpose and Application-Based Systems. --- Computer network architectures. --- Information theory. --- Logic design. --- Software engineering. --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Communication theory --- Communication --- Cybernetics --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Informatics --- Science --- Special purpose computers --- Computers --- Minicomputers --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace --- Architecture, Computer --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Real-time data processing - Congresses --- Fault-tolerant computing - Congresses --- Programming languages (Electronic computers) --- Computer architecture. --- Computers, Special purpose.

Choose an application

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

Fault-tolerant computing --- Electronic digital computers --- Tolérance aux fautes (Informatique) --- Ordinateurs --- Congresses. --- Reliability --- Congrès --- Fiabilité --- Computer Science --- Electrical Engineering --- Engineering & Applied Sciences --- Electrical & Computer Engineering --- Computer science. --- Logic design. --- Computer communication systems. --- Special purpose computers. --- Computer system failures. --- Software engineering. --- Coding theory. --- Computer Science. --- Computer Communication Networks. --- Special Purpose and Application-Based Systems. --- System Performance and Evaluation. --- Software Engineering. --- Logic Design. --- Coding and Information Theory. --- Data compression (Telecommunication) --- Digital electronics --- Information theory --- Machine theory --- Signal theory (Telecommunication) --- Computer programming --- Computer software engineering --- Engineering --- Computer failures --- Computer malfunctions --- Computer systems --- Failure of computer systems --- System failures (Engineering) --- Special purpose computers --- Computers --- 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 --- Electronic data processing --- Network computers --- Design, Logic --- Design of logic systems --- Electronic circuit design --- Logic circuits --- Switching theory --- Informatics --- Science --- Failures --- Distributed processing --- Computer system performance. --- Information theory. --- Communication theory --- Communication --- Cybernetics --- Computer networks. --- Computers, Special purpose. --- Electronic digital computers—Evaluation.