Formal Methods for Industrial Critical Systems

12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

  • Editors
  • Stefan Leue
  • Pedro Merino
Conference proceedings FMICS 2007

DOI: 10.1007/978-3-540-79707-4

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4916)

Table of contents (17 papers)

  1. Front Matter
  2. Invited Presentations

  3. Research Papers

    1. Eric Goubault, Sylvie Putot, Philippe Baufreton, Jean Gassino
      Pages 3-20
    2. Bastian Schlich, Jann Löll, Stefan Kowalewski
      Pages 21-37
    3. Sören Preibusch, Florian Kammüller
      Pages 38-55
    4. Lionel van den Berg, Paul Strooper, Kirsten Winter
      Pages 56-67
    5. Michael Whalen, Darren Cofer, Steven Miller, Bruce H. Krogh, Walter Storm
      Pages 68-84
    6. Lars Gesellensetter, Sabine Glesner, Elke Salecker
      Pages 85-100
    7. Murali Rangarajan, Darren Cofer
      Pages 101-114
    8. Leonard Lensink, Sjaak Smetsers, Marko van Eekelen
      Pages 115-132
    9. Robert Palmer, Michael DeLisi, Ganesh Gopalakrishnan, Robert M. Kirby
      Pages 164-181
    10. Marko van Eekelen, Stefan ten Hoedt, René Schreurs, Yaroslav S. Usenko
      Pages 182-199
    11. Mauricio Alba-Castro, María Alpuente, Santiago Escobar
      Pages 200-217
    12. Ana C. R. Paiva, João C. P. Faria, Pedro M. C. Mendes
      Pages 218-233
  4. Back Matter

About these proceedings

Introduction

This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification.

The 15 revised full papers presented together with the abstracts of 2 invited lectures were carefully selected during two rounds of reviewing and improvement from 31 initial submissions. The papers strive to promote research and development for the improvement of formal methods and tools for industrial applications and they are organized in topical sections on control systems, scheduling and time, verification, software, and testing.

Keywords

Computer Java calculus cyclic scheduling distributed verification embedded systems formal method formal specification formal verification microcontroller model-based development real-time real-time analysis software verifi verification

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-79706-7
  • Online ISBN 978-3-540-79707-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349