Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

✍ Scribed by Michael Butler, Sylvain Conchon, Fatiha Zaïdi (eds.)

• Publisher: Springer International Publishing
• Year: 2015
• Tongue: English
• Leaves: 457
• Series: Lecture Notes in Computer Science 9407
• Edition: 1
• Category: Library

✦ Synopsis

This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.

✦ Table of Contents

Front Matter....Pages I-XXV
Domain-Specific Languages with Scala....Pages 1-16
Formal Verification of Programs Computing the Floating-Point Average....Pages 17-32
Formalization and Verification of Declarative Cloud Orchestration....Pages 33-49
Consistency Verification of Specification Rules....Pages 50-66
Applying Automata Learning to Embedded Control Software....Pages 67-83
A 3-Valued Contraction Model Checking Game: Deciding on the World of Partial Information....Pages 84-99
Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction....Pages 100-115
Dependency Analysis of Functional Specifications with Algebraic Data Structures....Pages 116-133
A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing....Pages 134-152
Mastering the Visualization of Larger State Spaces with Projection Diagrams....Pages 153-169
Refinement-Based Verification of the FreeRTOS Scheduler in VCC....Pages 170-186
A Predictability Algorithm for Distributed Discrete Event Systems....Pages 187-200
History-Based Specification and Verification of Scalable Concurrent and Distributed Systems....Pages 201-216
Regression Verification for Programmable Logic Controller Software....Pages 217-233
A Logical Approach for Behavioural Composition of Scenario-Based Models....Pages 234-251
Formal Analysis of Power Electronic Systems....Pages 252-269
Practical Analysis Framework for Component Systems with Dynamic Reconfigurations....Pages 270-286
DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis (Tool Paper)....Pages 287-303
B for Modeling Secure Information Systems....Pages 304-311
Enhanced Distributed Behavioral Cartography of Parametric Timed Automata....Pages 312-318
A Recursive Probabilistic Temporal Logic....Pages 319-335
Specifying Compatible Sharing in Data Structures....Pages 336-348
Delta-Oriented FSM-Based Testing....Pages 349-365
An Improved HHL Prover: An Interactive Theorem Prover for Hybrid Systems....Pages 366-381
Continuation Semantics for Concurrency with Multiple Channels Communication....Pages 382-399
SysML Blocks Adaptation....Pages 400-416
Back Matter....Pages 417-433
....Pages 435-436

✦ Subjects

Software Engineering; Programming Techniques; Programming Languages, Compilers, Interpreters; Algorithm Analysis and Problem Complexity; Mathematical Logic and Formal Languages; Computer Communication Networks