《Rigorous Development of Complex Fault-Tolerant Systems》
《Rigorous Development of Complex Fault-Tolerant Systems》复杂的容错系统严格的开发
编者:
Michael Butler
Cliff Jones
Alexander Romanovsky
Elena Troubitsyna
出版社:Springer
出版时间:2006年
目录
Train Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Jean-Raymond Abrial
Formalising Reconciliation in Partitionable Networks with Distributed
Services . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
Mikael Asplund, Simin Nadjm-Tehrani
The Fault-Tolerant Insulin Pump Therapy . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione
Reasoning About Exception Flow at the Architectural Level . . . . . . . . . . . . 80
Fernando Castor Filho, Patrick Henrique da S. Brito,
Cec´ılia Mary F. Rubira
Are Practitioners Writing Contracts? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
Patrice Chalin
Determining the Specification of a Control System: An Illustrative
Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
Joey W. Coleman
Achieving Fault Tolerance by a Formally Validated Interaction Policy . . . 133
Alessandro Fantechi, Stefania Gnesi, Laura Semini
F(I)MEA-Technique of Web Services Analysis and Dependability
Ensuring . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153
Anatoliy Gorbenko, Vyacheslav Kharchenko, Olga Tarasyuk,
Alexey Furmanov
On Specification and Verification of Location-Based Fault Tolerant
Mobile Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 168
Alexei Iliasov, Victor Khomenko, Maciej Koutny,
Alexander Romanovsky
Formal Development of Mechanisms for Tolerating Transient Faults . . . . . 189
Dubravka Ili´c, Elena Troubitsyna, Linas Laibinis, Colin Snook
Separating Concerns in Requirements Analysis: An Example . . . . . . . . . . . 210
Daniel Jackson, Michael Jackson
Rigorous Fault Tolerance Using Aspects and Formal Methods . . . . . . . . . . 226
Shmuel Katz
Rigorous Development of Fault-Tolerant Agent Systems . . . . . . . . . . . . . . . . 241
Linas Laibinis, Elena Troubitsyna, Alexei Iliasov,
Alexander Romanovsky
Formal Service-Oriented Development of Fault Tolerant
Communicating Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 261
Linas Laibinis, Elena Troubitsyna, Sari Lepp¨anen, Johan Lilius,
Qaisar Ahmad Malik
Programming-Logic Analysis of Fault Tolerance: Expected Performance
of Self-stabilisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 288
Carroll Morgan, Annabelle K. McIver
Formal Analysis of the Operational Concept for the Small Aircraft
Transportation System . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 306
C´esar Mu˜noz, V´ıctor Carre˜no, Gilles Dowek
Towards a Method for Rigorous Development of Generic Requirements
Patterns . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 326
Colin Snook, Michael Poppleton, Ian Johnson
Rigorous Design of Fault-Tolerant Transactions for Replicated
Database Systems Using Event B . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 343
Divakar Yadav, Michael Butler
Engineering Reconfigurable Distributed Software Systems: Issues
Arising for Pervasive Computing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 364
Apostolos Zarras, Manel Fredj, Nikolaos Georgantas, Valerie Issarny
Position Papers
Tools for Developing Large Systems (A Proposal) . . . . . . . . . . . . . . . . . . . . . 387
Jean-Raymond Abrial
Why Programming Languages Still Matter . . . . . . . . . . . . . . . . . . . . . . . . . . . 391
Peter Amey
Author Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 403
专业书籍
下载地址:(回复后可见)
**** Hidden Message ***** 谢谢。 谢谢 谢谢 谢谢。 感谢雷锋 楼主好人,一生平安 非常感谢分享
页:
[1]