Concurrency in dependable computing : [Workshop on "Concurrency in Dependable Computing", Newcastle upon Tyne ; a side event of the International Conference on Application of Concurrency to System Design (IACSD) and the 22nd International Conference on Application and Theory of Petri Nets in Newcastle upon Tyne, 2001]

Concurrency in dependable computing [Workshop on "Concurrency in Dependable Computing", Newcastle upon Tyne ; a side event of the International Conference on Application of Concurrency to System Design (IACSD) and the 22nd International Conference on Application and Theory of Petri Nets in Newcastle upon Tyne, 2001]

Machine generated contents note: Part I Role of Modelling and Formalisms for De- -- pendable System Design -- 1 -- Compositional Development in the Event of Interface Differ- 3 -- ence -- Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo and -- Marta Pietkiewicz-Koutny -- 2 -- Model-Based Design o...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: Workshop on Concurrency in Dependable Computing (BerichterstatterIn), International Conference on Application of Concurrency to System Design (BerichterstatterIn), ICATPN (BerichterstatterIn)
Weitere Verfasser: Ezhilchelvan, Paul (HerausgeberIn), Romanovsky, Alexander (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Boston, Mass. u.a. Kluwer 2002
Schlagworte:
Parallel processing (Electronic computers) > Computer systems > Reliability > Fault-tolerant computing > Aufsatzsammlung > Zuverlässigkeit > Nebenläufigkeit > Technisches System > Parallelverarbeitung > Fehlertoleranz
Online Zugang:Table of contents
Publisher description
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Machine generated contents note: Part I Role of Modelling and Formalisms for De- -- pendable System Design -- 1 -- Compositional Development in the Event of Interface Differ- 3 -- ence -- Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo and -- Marta Pietkiewicz-Koutny -- 2 -- Model-Based Design of Dependability 23 -- Anish Arora, Rajesh Jagannathan and Yi-Min Wang -- 3 -- TLA Specification of a Mechanism for Concurrent Exception 41 -- Handling -- Avelino Francisco Zorzo, Brian Randell and Alexander Ro- -- manovsky -- 4 -- Component Based Dependable System Modelling for 61 -- Easier Verification -- Didier Buchs, Sandro Costa and David Hurzeler -- Part II Application Specific Modelling for Depend- -- able Design and Analysis -- 5 -- Digging into Concurrency 87 -- Angie Chandler, Serena Patching and Lynne Blair -- 6 -- Deadlock Free Control in Automated Guided Vehicle Systems 105 -- Maria Pia Fanti -- 7 -- Quality Analysis of Dependable Information Systems 127 -- Apostolos Zarras and Valerie Issarny -- Part III Event Ordering and its Application -- 8 -- Fault-Tolerant Sequencer 149 -- Roberto Baldoni, Carlo Marchetti and Sara Tucci Piergiovanni -- 9 -- QoS Analysis of Group Communication Protocols in Wireless 169 -- Environment -- Andrea Bondavalli, Andrea Coccoli and Felicita Di Gian- -- domenico -- 10 -- Semantically Reliable Broadcast 189 -- Jose Pereira, Luis Rodrigues and Rui Oliveira -- 11 -- Exception Handling in Timed Asynchronous Systems 209 -- Robert Miller and Anand Tripathi -- Part IV Transactions and Consistent Checkpointing -- 12 -- A Recovery Model for Cooperative Computations 231 -- Edgar Nett and Michael Mock -- 13 -- Group Transactions 253 -- Marta Patiio-Martnez, Ricardo Jimenez-Peris and Sergio -- Arevalo -- 14 -- Checkpointing in Distributed Computing Systems 273 -- Lalit Kumar, Manoj Misra and Ramesh Chander Joshi -- Part V Concurrency in Real-Time Applications -- 15 -- Concurrency in Dependable Real-Time Objects 293 -- K.H.(Kane) Kim
Beschreibung:Includes index
Beschreibung:XVI, 310 S
Ill., graph. Darst
25 cm
ISBN:1402070438
1-4020-7043-8