Formal methods applied to complex systems: implementation of the B method

This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry. The purpose of this book is to present a summary of experience on the use of...

Full description

Saved in:
Bibliographic Details
Main Author: Boulanger, Jean-Louis
Format: eBook
Language:English
Published: Wiley-Blackwell 22.07.2014
Series:Computer engineering series
Subjects:
B method (Computer science)
Computer science
Formal methods (Computer science)
ISBN:1848217099, 9781848217096
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry. The purpose of this book is to present a summary of experience on the use of "formal methods" (based on formal techniques such as proof, abstract interpretation and model-checking) in industrial examples of complex systems, based on the experience of people currently involved in the creation and assessment of safety critical system software. The involvement of people from within the industry allows the authors to avoid the usual confidentiality problems which can arise and thus enables them to supply new useful information (photos, architecture plans, real examples, etc.). The authors cover the following topics: an example of use of SCADE, constraint solving in B, validation of Petri Nets-based automated rail safety, data validation, etc.
AbstractList This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry. The purpose of this book is to present a summary of experience on the use of "formal methods" (based on formal techniques such as proof, abstract interpretation and model-checking) in industrial examples of complex systems, based on the experience of people currently involved in the creation and assessment of safety critical system software. The involvement of people from within the industry allows the authors to avoid the usual confidentiality problems which can arise and thus enables them to supply new useful information (photos, architecture plans, real examples, etc.). The authors cover the following topics: an example of use of SCADE, constraint solving in B, validation of Petri Nets-based automated rail safety, data validation, etc.
Author Boulanger, Jean-Louis
Author_xml – sequence: 1
  fullname: Boulanger, Jean-Louis
BookMark eNpVjz1PwzAURY0oErTkP3hliOQXJ47NBhWFSpVY6FzZzrMS1YkjnsXHv6eILkz33uFc6SzZYkoTXrDCtBoAjBCV0uKSLUHXuoJWGHPNCqLBCalANcqoG7bdpPfRRj5i7lNH3M5zHLDjOXGfxjniF6dvyjjSPR9-94hTtnlIE0-B5x7545m9ZVfBRsLinCu23zy9rV_K3evzdv2wK20tGt2UUjvtfOulhlpKUwX0oKwPWionW3RVsJ1pJYCroTqVYIO3tulOLlohyBW7-_u1dMRP6lPMdPiI6FI60uGfu_wBg5NPAA
ContentType eBook
DEWEY 004.0151
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 9781119002680
1119002680
ExternalDocumentID 9781119002680
GroupedDBID 20A
38.
3XM
AABBV
AAPZQ
AARDG
ABARN
ABBFG
ABIAV
ABQPQ
ABQPW
ACGYG
ACLGV
ACNUM
ADVEM
AERYV
AFLZI
AFOJC
AHWGJ
AJFER
AKHYG
AKQZE
ALMA_UNASSIGNED_HOLDINGS
ASVIU
AZZ
BBABE
CZZ
GEOUK
IEZ
IPJKO
JFSCD
JJU
JP0
KJBCJ
LPRNP
LQKAK
LWYJN
LYPXV
MYL
OHSWP
OTAXI
PQQKQ
UZ6
W1A
YPLAZ
ZEEST
ID FETCH-LOGICAL-a40585-38b8bc7c38143392fec16acf836b37eb2fad97311b412973fafcaa5d68086e13
ISBN 1848217099
9781848217096
IngestDate Tue Jul 22 03:36:27 EDT 2025
IsPeerReviewed false
IsScholarly false
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-a40585-38b8bc7c38143392fec16acf836b37eb2fad97311b412973fafcaa5d68086e13
PageCount 489
ParticipantIDs askewsholts_vlebooks_9781119002680
PublicationCentury 2000
PublicationDate 2014-07-22
PublicationDateYYYYMMDD 2014-07-22
PublicationDate_xml – month: 07
  year: 2014
  text: 2014-07-22
  day: 22
PublicationDecade 2010
PublicationSeriesTitle Computer engineering series
PublicationYear 2014
Publisher Wiley-Blackwell
Publisher_xml – name: Wiley-Blackwell
SSID ssib036165696
ssj0001379362
Score 1.91979
Snippet This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various...
SourceID askewsholts
SourceType Aggregation Database
SubjectTerms B method (Computer science)
Computer science
Formal methods (Computer science)
Title Formal methods applied to complex systems: implementation of the B method
URI https://www.vlebooks.com/vleweb/product/openreader?id=none&isbn=9781119002680&uid=none
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV07T8MwELZoy0AX3uItC7FVkRq7dWwkFlB5iAoYWokNOY4tVZQEkbbqz-fsOGnLBANLlKejfJec7y539yF0ERGqWBhzcHKMsCU5SSBiaQKSdLhkjBMaO9aSfvT0xF9fxYvvupA7OoEoTfl8Lj7_VdSwD4RtS2f_IO5qUNgB6yB0WILYYfnDIq42K5bND1cLYjmh85b09iUYly5vXM9922aXBDf6KBPHS5PRZQr4qysnPZuOXWFwkQgj06CfTUeFGW4fRudXJS1ESy86G7aKY8sRhbBjQ5WErOqtoIofrjic4A9ycGLa4kf76szzI4DmFNat4-0aqkUMVE7jrvc8fCw_ccpstx_f4c-FwSgoCEaK4v5iaOE7cVW3aqKmzN9B58N8MMmXpv_BFmpoWxOyjdZ0uoM2y0fGXjHuoocCe-yxxx57PMmwxx577C_xKvI4MxiQx9f-2j00vO0Nbu4DT1IRSLB1eTegPOaxihSYPvCqC2K0CplUhlMW00jHxMjE8oOFcSe0RGFGGiVlN7GcJ0yHdB_V0yzVBwhrRpQCe7htSXhIYnuvdRg1Qna7JtTSHKLzJRzeZmP3Pz1_W8H96DcnHaONheBPUH3yNdWnaF3NJqP868zL7BsNRCnJ
linkProvider ProQuest Ebooks
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Formal+methods+applied+to+complex+systems%3A+implementation+of+the+B+method&rft.au=Boulanger%2C+Jean-Louis&rft.series=Computer+engineering+series&rft.date=2014-07-22&rft.pub=Wiley-Blackwell&rft.isbn=9781848217096&rft.externalDocID=9781119002680
thumbnail_m http://cvtisr.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fvle.dmmserver.com%2Fmedia%2F640%2F97811190%2F9781119002680.jpg