Formal Methods for Industrial Critical Systems
by Kowalewski, Stefan; Roveri, MarcoFormat: Paperback
Pub. Date: 2010-10-04
Publisher(s): Springer-Verlag New York Inc
Other versions by this Author
-
This Item Qualifies for Free Shipping!*
*Excludes marketplace orders.
List Price: $94.49
Rent Textbook
Select for Price
New Textbook
We're Sorry
Sold Out
Used Textbook
We're Sorry
Sold Out
eTextbook
We're Sorry
Not Available
How Marketplace Works:
- This item is offered by an independent seller and not shipped from our warehouse
- Item details like edition and cover design may differ from our description; see seller's comments before ordering.
- Sellers much confirm and ship within two business days; otherwise, the order will be cancelled and refunded.
- Marketplace purchases cannot be returned to eCampus.com. Contact the seller directly for inquiries; if no response within two days, contact customer service.
- Additional shipping costs apply to Marketplace purchases. Review shipping costs at checkout.
Summary
This book constitutes the proceedings of the 15th International Workshop onFormal Methods for Industrial Critical Systems, FMICS 2010 held in Antwerp,Belgium, in September 2010 - co-located with ASE 2010, the 25th IEEE/ACMInternational Conference on Automated Software Engineering,The 14 papers presented were carefully reviewed and selected from 33submissions.The aim of the FMICS workshop series is to provide a forum for researcherswho are interested in the development and application of formal methods inindustry. It also strives to promote research and development for theimprovement of formal methods and tools for industrial applications.
Table of Contents
| The Metrô Rio ATP Case Study | p. 1 |
| Practical Issues with Formal Specifications: Lessons Learned from an Industrial Case Study | p. 17 |
| Formal Analysis of BPMN Models Using Event-B | p. 33 |
| Developing Mode-Rich Satellite Software by Refinement in Event B | p. 50 |
| Automatic Error Correction of Java Programs | p. 67 |
| Range Analysis of Microcontroller Code Using Bit-Level Congruences | p. 82 |
| An Automated Translator for Model Checking Time Constrained Workflow Systems | p. 99 |
| Correctness of Sensor Network Applications by Software Bounded Model Checking | p. 115 |
| Model Checking the FlexRay Physical Layer Protocol | p. 132 |
| SMT-Based Formal Verification of a TTEthernet Synchronization Function | p. 148 |
| Embedded Network Protocols for Mobile Devices | p. 164 |
| A Study of Shared-Memory Mutual Exclusion Protocols Using CADP | p. 180 |
| A Formal Model of Identity Mixer | p. 198 |
| Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept | p. 215 |
| Author Index | p. 231 |
| Table of Contents provided by Ingram. All Rights Reserved. |
An electronic version of this book is available through VitalSource.
This book is viewable on PC, Mac, iPhone, iPad, iPod Touch, and most smartphones.
By purchasing, you will be able to view this book online, as well as download it, for the chosen number of days.
Digital License
You are licensing a digital product for a set duration. Durations are set forth in the product description, with "Lifetime" typically meaning five (5) years of online access and permanent download to a supported device. All licenses are non-transferable.
More details can be found here.
A downloadable version of this book is available through the eCampus Reader or compatible Adobe readers.
Applications are available on iOS, Android, PC, Mac, and Windows Mobile platforms.
Please view the compatibility matrix prior to purchase.