UID:
almafu_9959328779802883
Umfang:
1 online resource (xxi, 270 pages) :
,
illustrations (some color)
ISBN:
9781118459898
,
111845989X
,
9781118459867
,
1118459865
,
9781283858885
,
1283858886
Inhalt:
"Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner. Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems: A Survey of Applications presents a number of mainstream formal methods currently used for designing industrial critical systems, with a focus on model checking. The purpose of the book is threefold: to reduce the effort required to learn formal methods, which has been a major drawback for their industrial dissemination; to help designers to adopt the formal methods which are most appropriate for their systems; and to offer a panel of state-of-the-art techniques and tools for analyzing critical systems"--
Inhalt:
"Balances leading edge material, established practice, and reviews of historically important contributions"--
Anmerkung:
Foreword /
,
Foreword /
,
Introduction and State of the Art.
,
Formal Methods: Applying {Logics in, Theoretical} Computer Science /
,
Modeling Paradigms.
,
A Synchronous Language at Work: The Story of Lustre /
,
Requirements of an Integrated Formal Method for Intelligent Swarms /
,
Transportation Systems.
,
Some Trends in Formal Methods Applications to Railway Signaling /
,
Symbolic Model Checking for Avionics /
,
Telecommunications --
,
Applying Formal Methods to Telecommunication Services with Active Networks /
,
Practical Applications of Probabilistic Model Checking to Communication Protocols /
,
Internet and Online Services. Design for Verifiability: The OCS Case Study /
,
An Application of Stochastic Model Checking in the Industry: User-Centered Modeling and Analysis of Collaboration in thinkteam® /
,
Runtime: Testing and Model Learning.
,
The Testing and Test Control Notation TTCN-3 and its Use /
,
Practical Aspects of Active Automata Learning /
Weitere Ausg.:
Print version: Formal methods for industrial critical systems. [Washington, DC] : IEEE Computer Society ; Hoboken, New Jersey : Wiley, [2013] ISBN 9780470876183
Sprache:
Englisch
Schlagwort(e):
Electronic books.
;
Electronic books.
;
Electronic books.
;
Electronic books.
;
Electronic books.
;
Electronic books.
URL:
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118459898
URL:
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118561898
URL:
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118459898
URL:
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118561898
URL:
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118459898
URL:
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118561898
