Description |
1 online resource (xiv, 199 pages) : illustrations |
Series |
Lecture Notes in Computer Science, 0302-9743 ; 8187 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 8187.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
Contents |
Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses / Adrien Champion and Rémi Delmas -- HyRev: A Tool for the Automatic Generation of Real-Time Routines for Enabling Fail-Safe Control in a Class of Safety-Critical Embedded Systems Using Backwards Reachability Analysis / Hallstein Asheim Hansen -- An Outline Workflow for Practical Formal Verification from Software Requirements to Object Code / Darren Sexton -- Boolean Quantifier Elimination for Automotive Configuration -- A Case Study / Christoph Zengler and Wolfgang Küchlin -- Study on the Barriers to the Industrial Adoption of Formal Methods / Jennifer A. Davis and Matthew Clark -- On the Effectiveness of Assertion-Based Verification in an Industrial Context / Laurence Pierre and Fabrice Pancher -- Complex Digital System Design: A Methodology and Its Application to Medical Implants / Helene Leroux and Karen Godary-Dejean -- Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip / Abderahman Kriouile and Wendelin Serwe -- Predicate Abstraction for Programmable Logic Controllers / Sebastian Biallas and Mirco Giacobbe -- High-Level Guidance for Managers Deploying Formal Methods in Their Organisation / Christophe Ponsard and Jean-Christophe Deprez -- Auditing User-Provided Axioms in Software Verification Conditions / Paul Jackson and Florian Schanda -- Formal Reliability Analysis of Protective Relays in Power Distribution Systems / Adil Khurram, Haider Ali and Arham Tariq -- Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors / Aurel Randolph and Abdessamad Imine |
Summary |
This book constitutes the thoroughly refereed conference proceedings of the 18th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2013, held in Madrid, Spain, in September 2013. The 13 papers presented were carefully selected from 25 submissions and cover topics such as design, specification, code generation and testing based on formal methods, methods, techniques and tools to support automated analysis, certification, debugging, learning, optimization and transformation of complex, distributed, dependable, real-time systems and embedded systems, verification and validation methods, tools for the development of formal design descriptions, case studies and experience reports on industrial applications of formal methods, impact of the adoption of formal methods on the development process and associated costs, application of formal methods in standardization and industrial forums |
Notes |
International conference proceedings |
Bibliography |
Includes bibliographical references and author index |
Notes |
Online resource; title from PDF title page (SpringerLink, viewed September 24, 2013) |
Subject |
Formal methods (Computer science) -- Congresses
|
|
Software engineering -- Congresses
|
|
Computer programs -- Verification -- Congresses
|
|
Computer programs -- Reliability -- Congresses
|
|
Computer software -- Verification -- Congresses
|
|
Computer software -- Reliability -- Congresses
|
|
Software
|
|
software.
|
|
Computer programs -- Reliability
|
|
Computer programs -- Verification
|
|
Computer software -- Reliability
|
|
Computer software -- Verification
|
|
Formal methods (Computer science)
|
|
Software engineering
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Pecheur, Charles, editor
|
|
Dierkes, Michael, editor
|
ISBN |
9783642410109 |
|
3642410103 |
|
364241009X |
|
9783642410093 |
|