Skip to main content
SpringerLink
Log in
Book cover

Leveraging Applications of Formal Methods, Verification, and Validation

4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Tiziana Margaria

    1. Institute for Informatics, University of Potsdam, Potsdam, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bernhard Steffen

    1. Technical University of Dortmund, Dortmund, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: ISoLA 2010.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (55 papers)

  1. Front Matter

    Download chapter PDF

  2. New Challenges in the Development of Critical Embedded Systems – An “aeromotive” Perspective

    1. New Challenges in the Development of Critical Embedded Systems—An “aeromotive” Perspective

      • Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith
      Pages 1-2

    2. Certification of Embedded Software – Impact of ISO DIS 26262 in the Automotive Domain

      • Bernhard Schätz
      Pages 3-3

    3. Enforcing Applicability of Real-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns

      • Alain Plantec, Frank Singhoff, Pierre Dissaux, Jérôme Legrand
      Pages 4-17

    4. Seamless Model-Driven Development Put into Practice

      • Wolfgang Haberl, Markus Herrmannsdoerfer, Stefan Kugele, Michael Tautschnig, Martin Wechs
      Pages 18-32

    5. Timely Time Estimates

      • Andreas Holzer, Visar Januzaj, Stefan Kugele, Michael Tautschnig
      Pages 33-46

    6. Compiler-Support for Robust Multi-core Computing

      • Raimund Kirner, Stephan Herhut, Sven-Bodo Scholz
      Pages 47-57

  3. Formal Languages and Methods for Designing and Verifying Complex Embedded Systems

    1. Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems

      • Yamine Ait Ameur, Frédéric Boniol, Dominique Mery, Virginie Wiels
      Pages 58-59

    2. Analyzing the Security in the GSM Radio Network Using Attack Jungles

      • Parosh Aziz Abdulla, Jonathan Cederberg, Lisa Kaati
      Pages 60-74

    3. Formal Modeling and Verification of Sensor Network Encryption Protocol in the OTS/CafeOBJ Method

      • Iakovos Ouranos, Petros Stefaneas, Kazuhiro Ogata
      Pages 75-89

    4. Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset

      • Twan Basten, Emiel van Benthum, Marc Geilen, Martijn Hendriks, Fred Houben, Georgeta Igna et al.
      Pages 90-105

    5. Contract-Based Slicing

      • Daniela da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto
      Pages 106-120

  4. Worst-Case Traversal Time (WCTT)

    1. Special Track on Worst Case Traversal Time (WCTT)

      • Anne Bouillard, Marc Boyer, Samarjit Chakraborty, Steven Martin, Jean-Luc Scharbarg, Giovanni Stea et al.
      Pages 121-121

    2. The PEGASE Project: Precise and Scalable Temporal Analysis for Aerospace Communication Systems with Network Calculus

      • Marc Boyer, Nicolas Navet, Xavier Olive, Eric Thierry
      Pages 122-136

    3. NC-Maude: A Rewriting Tool to Play with Network Calculus

      • Marc Boyer
      Pages 137-151

    4. DEBORAH: A Tool for Worst-Case Analysis of FIFO Tandems

      • Luca Bisti, Luciano Lenzini, Enzo Mingozzi, Giovanni Stea
      Pages 152-168

    5. A Self-adversarial Approach to Delay Analysis under Arbitrary Scheduling

      • Jens B. Schmitt, Hao Wang, Ivan Martinovic
      Pages 169-183

    6. Flow Control with (Min,+) Algebra

      • Euriell Le Corronc, Bertrand Cottenceau, Laurent Hardouin
      Pages 184-197

    7. An Interface Algebra for Estimating Worst-Case Traversal Times in Component Networks

      • Nikolay Stoimenov, Samarjit Chakraborty, Lothar Thiele
      Pages 198-213

    8. Towards Resource-Optimal Routing Plans for Real-Time Traffic

      • Alessandro Lori, Giovanni Stea, Gigliola Vaglini
      Pages 214-227
Back to top

Other volumes

  1. Leveraging Applications of Formal Methods, Verification, and Validation

  2. Leveraging Applications of Formal Methods, Verification, and Validation

Keywords

Editors and Affiliations

  • Institute for Informatics, University of Potsdam, Potsdam, Germany

    Tiziana Margaria

  • Technical University of Dortmund, Dortmund, Germany

    Bernhard Steffen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation