Photo 1 sur 1
Méthodes formelles pour les systèmes critiques industriels : une enquête sur les applications par Stef
État :
3 disponibles
Expédition :
Lieu : Fairfield, Ohio, États-Unis
Livraison :
Livraison prévue entre le ven. 14 juin et le mer. 26 juin à 43230
Renvois :
Renvoi sous 30jours. L'acheteur paie les frais de port du renvoi. En savoir plus- pour en savoir plus sur les renvois
Paiements :
Magasinez en toute confiance
Informations sur le vendeur
- 98,2% d'évaluations positives
Inscrit comme vendeur professionnel
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :386108149487
Dernière mise à jour : mars 19, 2024 10:37:19 HAEAfficher toutes les modificationsAfficher toutes les modifications
Caractéristiques de l'objet
- État
- ISBN-13
- 9780470876183
- Book Title
- Formal Methods for Industrial Critical Systems
- ISBN
- 9780470876183
- Publication Year
- 2012
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Publication Name
- Formal Methods for Industrial Critical Systems : a Survey of Applications
- Item Height
- 0.7in
- Item Length
- 9.3in
- Publisher
- Wiley & Sons, Incorporated, John
- Item Width
- 6.1in
- Item Weight
- 17.8 Oz
- Number of Pages
- 292 Pages
À propos de ce produit
Product Information
Making the formal methods commonly used to test complex, safety-critical control systems easier to learn and integrate into the industries where they can do the most good Formal methods are an essential step in the design process for industrial safety-critical systems. The term "formal methods" encompasses all notations having precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner. Based on more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems presents mainstream formal methods currently used for designing industrial critical systems, focusing on model checking. Its tri-fold purpose is to reduce the effort required to learn formal methods, to help designers to adopt the formal methods most appropriate for their systems, and to offer a panel of state-of-the-art techniques and tools for analyzing critical systems. This powerful resource: Balances leading-edge material, established practice, and reviews of historically important contributions Collects timely, current articles written by a truly international group of authors Describes case studies from many kinds of high-integrity systems development Emphasizes model checking, an important step in several types of formal methods Formal Methods for Industrial Critical Systems is an ideal guide for students in advanced-undergraduate computer science courses and an excellent reference for industry professionals.
Product Identifiers
Publisher
Wiley & Sons, Incorporated, John
ISBN-10
0470876182
ISBN-13
9780470876183
eBay Product ID (ePID)
84483369
Product Key Features
Publication Name
Formal Methods for Industrial Critical Systems : a Survey of Applications
Format
Trade Paperback
Language
English
Publication Year
2012
Type
Textbook
Number of Pages
292 Pages
Dimensions
Item Length
9.3in
Item Height
0.7in
Item Width
6.1in
Item Weight
17.8 Oz
Additional Product Features
Lc Classification Number
Qa76.9.F67f654 2012
Table of Content
FOREWORD by Mike Hinchey xiii FOREWORD by Alessandro Fantechi and Pedro Merino xv PREFACE xvii CONTRIBUTORS xix PART I INTRODUCTION AND STATE OF THE ART 1 1 FORMAL METHODS: APPLYING {LOGICS IN, THEORETICAL} COMPUTER SCIENCE 3 Diego Latella 1.1 Introduction and State of the Art 3 1.2 Future Directions 9 PART II MODELING PARADIGMS 15 2 A SYNCHRONOUS LANGUAGE AT WORK: THE STORY OF LUSTRE 17 Nicolas Halbwachs 2.1 Introduction 17 2.2 A Flavor of the Language 18 2.3 The Design and Development of Lustre and Scade 20 2.4 Some Lessons from Industrial Use 25 2.5 And Now . . . 28 3 REQUIREMENTS OF AN INTEGRATED FORMAL METHOD FOR INTELLIGENT SWARMS 33 Mike Hinchey, James L. Rash, Christopher A. Rouff, Walt F. Truszkowski, and Amy K.C.S. Vanderbilt 3.1 Introduction 33 3.2 Swarm Technologies 35 3.3 NASA FAST Project 39 3.4 Integrated Swarm Formal Method 41 3.5 Conclusion 55 PART III TRANSPORTATION SYSTEMS 61 4 SOME TRENDS IN FORMAL METHODS APPLICATIONS TO RAILWAY SIGNALING 63 Alessandro Fantechi, Wan Fokkink, and Angelo Morzenti 4.1 Introduction 63 4.2 CENELEC Guidelines 65 4.3 Software Procurement in Railway Signaling 66 4.4 A Success Story: The B Method 70 4.5 Classes of Railway Signaling Equipment 71 4.6 Conclusions 80 5 SYMBOLIC MODEL CHECKING FOR AVIONICS 85 Radu I. Siminiceanu and Gianfranco Ciardo 5.1 Introduction 85 5.2 Application: The Runway Safety Monitor 87 5.3 A Discrete Model of RSM 95 5.4 Discussion 107 PART IV TELECOMMUNICATIONS 113 6 APPLYING FORMAL METHODS TO TELECOMMUNICATION SERVICES WITH ACTIVE NETWORKS 115 María del Mar Gallardo, Jesús Martínez, and Pedro Merino 6.1 Overview 115 6.2 Active Networks 116 6.3 The Capsule Approach 117 6.4 Previous Approaches on Analyzing Active Networks 118 6.5 Model Checking Active Networks with SPIN 122 6.6 Conclusions 129 7 PRACTICAL APPLICATIONS OF PROBABILISTIC MODEL CHECKING TO COMMUNICATION PROTOCOLS 133 Marie Dufl ot, Marta Kwiatkowska, Gethin Norman, David Parker, Sylvain Peyronnet, Claudine Picaronny, and Jeremy Sproston 7.1 Introduction 133 7.2 PTAs 134 7.3 Probabilistic Model Checking 136 7.4 Case Study: CSMA/CD 139 7.5 Discussion and Conclusion 146 PART V INTERNET AND ONLINE SERVICES 151 8 DESIGN FOR VERIFIABILITY: THE OCS CASE STUDY 153 Johannes Neubauer, Tiziana Margaria, and Bernhard Steffen 8.1 Introduction 153 8.2 The User Model 155 8.3 The Models and the Framework 158 8.4 Model Checking 159 8.5 Validating Emerging Global Behavior via Automata Learning 161 8.6 Related Work 170 8.7 Conclusion and Perspectives 173 9 AN APPLICATION OF STOCHASTIC MODEL CHECKING IN THE INDUSTRY: USER-CENTERED MODELING AND ANALYSIS OF COLLABORATION IN THINKTEAM 179 Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, and Gianluca Trentanni 9.1 Introduction 179 9.2 thinkteam 182 9.3 Analysis of the thinkteam Log File 184 9.4 thinkteam with Replicated Vaults 189 9.5 Lessons Learned 201 9.6 Conclusions 201 PART VI RUNTIME: TESTING AND MODEL LEARNING 205 10 THE TESTING AND TEST CONTROL NOTATION TTCN-3 AND ITS USE 207 Ina Schieferdecker and Alain-Georges Vouffo-Feudjio 10.1 Introduction 207 10.2 The Concepts of TTCN-3 210 10.3 An Introductory Example 216 10.4 TTCN-3 Semantics and Its Application 219 10.5 A Distributed Test Platform for the TTCN-3 220 10.6 Case Study I: Testing of Open Service Architecture (OSA)/Parlay Services 223 10.7 Case Study II: Testing of IP Multimedia Subsystem (IMS) Equipment 225 10.8 Conclusion 230 11 PRACTICAL ASPECTS OF ACTIVE AUTOMATA LEARNING 235 Falk Howar, Maik Merten, Bernhard Steffen, and Tiziana Margaria 11.1 Introduction 235 11.2 Regular Extrapolation 239 11.3 Challenges in Regular Extrapolation 244 11.4 Interacting with Real Systems 247 11.5 Membership Queries 250 11.6 Reset 253 11.7 Parameters and Value Domains 256 11.8 The NGLL 260 11.9 Conclusion and Perspectives 263 References 264 INDEX 269
Copyright Date
2013
Topic
Software Development & Engineering / General, Computer Science, General, Computer Engineering
Lccn
2012-016775
Dewey Decimal
004.01/51
Intended Audience
Scholarly & Professional
Dewey Edition
23
Illustrated
Yes
Genre
Computers
Description de l'objet du vendeur
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :386108149487
Dernière mise à jour : mars 19, 2024 10:37:19 HAEAfficher toutes les modificationsAfficher toutes les modifications
Expédition et manutention
Lieu où se trouve l'objet :
Fairfield, Ohio, États-Unis
Expédition :
Afghanistan, Afrique du Sud, Albanie, Algérie, Allemagne, Andorre, Angola, Anguilla, Antigua-et-Barbuda, Antilles néerlandaises, Arabie saoudite, Argentine, Arménie, Aruba, Australie, Autriche, Azerbaïdjan, Bahamas, Bahreïn, Bangladesh, Belgique, Bermudes, Bhoutan, Bolivie, Bosnie-Herzégovine, Botswana, Brunéi Darussalam, Brésil, Bulgarie, Burkina Faso, Burundi, Bélize, Bénin, Cambodge, Cameroun, Canada, Chili, Chine, Chypre, Colombie, Comores, Corée du Sud, Costa Rica, Côte d'Ivoire, Danemark, Djibouti, Dominique, Espagne, Estonie, Fidji, Finlande, France, Gabon, République du, Gambie, Ghana, Gibraltar, Grenade, Groenland, Grèce, Guatemala, Guernesey, Guinée, Guinée équatoriale, Guinée-Bissau, Guyana, Géorgie, Haïti, Honduras, Hong Kong, Hongrie, Inde, Indonésie, Irak, Irlande, Islande, Israël, Italie, Jamaïque, Japon, Jersey, Jordanie, Kazakhstan, Kenya, Kirghizistan, Kiribati, Koweït, Laos, Lesotho, Lettonie, Liban, Libéria, Liechtenstein, Lituanie, Luxembourg, Macao, Macédoine, Madagascar, Malaisie, Malawi, Maldives, Mali, Malte, Maroc, Mauritanie, Mayotte, Mexique, Moldavie, Monaco, Monde entier, Mongolie, Montserrat, Monténégro, Mozambique, Namibie, Nauru, Nicaragua, Niger, Nigeria, Nioué, Norvège, Nouvelle-Zélande, Népal, Oman, Ouganda, Ouzbékistan, Pakistan, Paraguay, Pays-Bas, Philippines, Pologne, Portugal, Pérou, Qatar, Roumanie, Royaume-Uni, Rwanda, République centrafricaine, République de Croatie, République dominicaine, République du Congo, République démocratique du Congo, République tchèque, Sahara occidental, Saint-Kitts-et-Nevis, Saint-Marin, Saint-Pierre-et-Miquelon, Saint-Vincent-et-les Grenadines, Sainte-Hélène, Sainte-Lucie, Salvador, Serbie, Seychelles, Sierra Leone, Singapour, Slovaque, Slovénie, Somalie, Sri Lanka, Suisse, Suriname, Suède, Svalbard et Jan Mayen, Swaziland, Sénégal, Tadjikistan, Tanzanie, Taïwan, Tchad, Thaïlande, Togo, Tonga, Trinité-et-Tobago, Tunisie, Turkménistan, Turquie, Tuvalu, Uruguay, Vanuatu, Vietnam, Wallis-et-Futuna, Yémen, Zambie, Zimbabwe, Égypte, Émirats arabes unis, Équateur, Érythrée, État de la Cité du Vatican, Éthiopie, Île Maurice, Îles Caïmans, Îles Cook, Îles Malouines (îles Falkland), Îles Salomon, Îles Turks et Caicos, Îles Vierges britanniques, Îles du Cap-Vert
Lieux exclus :
Adresses militaires ou navales, Alaska/Hawaii, Barbade, Biélorussie, Guadeloupe, Guyane française, Libye, Martinique, Nouvelle-Calédonie, Panama, Papouasie-Nouvelle-Guinée, Polynésie française, Protectorats des États-Unis, Russie, Réunion, Samoa, Ukraine, Venezuela
Expédition et manutention | Chaque objet supplémentaire | À | Service | Livraison*Voir les remarques sur la livraison |
---|---|---|---|---|
Expédition sans frais | Sans frais | États-Unis | Economy Shipping | Livraison prévue entre le ven. 14 juin et le mer. 26 juin à 43230 |
Délai de manutention |
---|
Expédition dans les 10 jours ouvrables après réception du paiement. |
Taxes |
---|
Des taxes peuvent s'appliquer à la conclusion de la transaction. En savoir plusEn savoir plus au sujet du paiement de taxes sur les achats eBay. |
Taxe de vente pour cet objet (386108149487)
Taxe de vente pour cet objet (386108149487)
Le vendeur facture une taxe de vente pour les États suivants :
État | Taux de la taxe de vente |
---|
Modalités de renvoi
Après réception de l'objet, contactez le vendeur dans un délai de | Mode de remboursement |
---|---|
30 jours | Remboursement |
Les frais d'expédition du renvoi sont à la charge de l'acheteur.
Détails du paiement
Modes de paiement
Évaluations comme vendeur (1 023 955)
9***u (16)- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
Shipped quick, packed well, in condition advertised. Good job!
t***c (67)- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
It's a cute book. I can't wait to start coloring in it. Arrived on time and I will definitely be doing business with them again.
e***e (2283)- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
Excellent