Skip to main content
SpringerLink
Log in

UML-B Specification for Proven Embedded Systems Design

  • Book
  • © 2004

Overview

Authors:
  1. Fredrik Bernin

    1. Volvo Technology Corporation, Sweden

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Michael Butler

    1. University of Southampton, Great-Britain

    View author publications

    You can also search for this author in PubMed   Google Scholar

  3. Dominique Cansell

    1. LORIA, France

    View author publications

    You can also search for this author in PubMed   Google Scholar

  4. Stefan Hallerstede

    1. KeesDA S.A., France

    View author publications

    You can also search for this author in PubMed   Google Scholar

  5. Klaus Kronlöf

    1. Nokia Research Center, Finland

    View author publications

    You can also search for this author in PubMed   Google Scholar

  6. Alexander Krupp

    1. Paderborn University/C-LAB, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

  7. Thierry Lecomte

    1. ClearSy, France

    View author publications

    You can also search for this author in PubMed   Google Scholar

  8. Michael Lundell

    1. Volvo Technology Corporation, Sweden

    View author publications

    You can also search for this author in PubMed   Google Scholar

  9. Ola Lundkvist

    1. Volvo Technology Corporation, Sweden

    View author publications

    You can also search for this author in PubMed   Google Scholar

  10. Michele Marchetti

    1. Nokia Research Center, Finland

    View author publications

    You can also search for this author in PubMed   Google Scholar

  11. Wolfgang Mueller

    1. Paderborn University/C-LAB, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

  12. Ian Oliver

    1. Nokia Research Center, Finland

    View author publications

    You can also search for this author in PubMed   Google Scholar

  13. Denis Sabatier

    1. ClearSy, France

    View author publications

    You can also search for this author in PubMed   Google Scholar

  14. Tim Schattkowsky

    1. Paderborn University/C-LAB, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

  15. Colin Snook

    1. University of Southampton, Great-Britain

    View author publications

    You can also search for this author in PubMed   Google Scholar

  16. Nikolaos S. Voros

    1. INTRACOM S.A., Greece

    View author publications

    You can also search for this author in PubMed   Google Scholar

  17. Yann Zimmermann

    1. KeesDA S.A., France

    View author publications

    You can also search for this author in PubMed   Google Scholar

Editors:
  1. Jean Mermet

    1. KeesDA S.A., France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUSSEE)
  • Shows the success of research, as acknowledged by the European reviewers
  • Introduces the formal proof of system properties throughout a modular system design methodology that integrates sub-systems co-verification with system refinement and reusability of virtual system components

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 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover 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 (18 chapters)

  1. Front Matter

    Pages i-ix
    Download chapter PDF

  2. An Introduction to Formal Methods

    • Nikolaos S. Voros, Wolfgang Mueller, Colin Snook
    Pages 1-20

  3. Formally Unified System Specification Environment with UML, B and SystemC

    • Klaus Kronlöf, Ian Oliver
    Pages 21-35

  4. Embedded System Design Using the PUSSEE Method

    • Nikolaos S. Voros, Colin Snook, Stefan Hallerstede, Thierry Lecomte
    Pages 37-51

  5. System Level Modelling and Refinement with EventB

    • T. Lecomte
    Pages 53-68

  6. The UML-B Profile for Formal Systems Modelling in UML

    • Colin Snook, Ian Oliver, Michael Butler
    Pages 69-84

  7. U2B

    • Colin Snook, Michael Butler
    Pages 85-108

  8. BHDL: Principles and tools for generating proven hardware

    • S. Hallerstede
    Pages 109-120

  9. Towards a Conceptual Framework for UML to Hardware Description Language Mappings

    • Michele Marchetti, Ian Oliver
    Pages 121-134

  10. Interface-Based Synthesis Refinement in B

    • T. Lecomte
    Pages 135-154

  11. Refinement of Finite State Machines with Complementary Model Checking

    • Alexander Krupp, Wolfgang Mueller
    Pages 155-167

  12. Adaptive Cruise Control Case Study Design Experiment

    • Fredrik Bernin, Michael Lundell, Ola Lundkvist, Denis Sabatier
    Pages 169-197

  13. The Adaptive Cruise Controller Case Study

    • Alexander Krupp, Ola Lundkvist, Tim Schattkowsky, Colin Snook
    Pages 199-210

  14. Formal Modelling of Electronic Circuits Using Event-B

    • Yann Zimmermann, Stefan Hallerstede, Dominique Cansell
    Pages 211-226

  15. The Echo Cancellation Unit Case Study

    • Alexander Krupp, Wolfgang Mueller, Ian Oliver
    Pages 227-240

  16. Results of the Mobile Design System Experiment

    • Ian Oliver, Klaus Kronlöf
    Pages 241-259

  17. UML-B Specification and Hardware Implementation of a Hamming Coder/Decoder

    • D. Cansell, S. Hallerstede, I. Oliver
    Pages 261-277

  18. The PUSSEE Method in Practice

    • Nikolaos S. Voros
    Pages 279-292

  19. Evaluation Criteria for Embedded System Design Methods

    • Nikolaos S. Voros, Ola Lundkvist, Klaus Kronlöf
    Pages 293-300
Back to top

Keywords

About this book

This book presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUS SEE) as conceived in the course of the research during 2002 -2003. The initial statement of the research was formulated as follows: The objective of PUSSEE is to introduce the formal proof of system properties throughout a modular system design methodology that integrates sub-systems co-verification with system refinement and reusability of virtual system components. This will be done by combining the UML and B languages to allow the verification of system specifications through the composition of proven sub-systems (in particular interfaces, using the VSIAISLIF standard). The link of B with C, VHDL and SystemC will extend the correct-by-construction design process to lower system-on-chip (SoC) development stages. Prototype tools will be developed for the code generation from UML and B, and existing B verification tools will be extended to supportIP reuse, according to the VSI Alliance work. The methodology and tools will be validated through the development of three industrial applications: a wireless mobile terminal-a telecom system-on-chip based on HIPERLANI2 protocol and an anti-collision module for automobiles. The problem was known to be hard and the scope ambitious. But the seventeen chapters that follow, describing the main results obtained demonstrate the success of the research, acknowledged by the European reviewers. They are released to allow the largest audience to learn and take benefit of.

Authors, Editors and Affiliations

  • KeesDA S.A., France

    Jean Mermet, Stefan Hallerstede, Yann Zimmermann

  • Volvo Technology Corporation, Sweden

    Fredrik Bernin, Michael Lundell, Ola Lundkvist

  • University of Southampton, Great-Britain

    Michael Butler, Colin Snook

  • LORIA, France

    Dominique Cansell

  • Nokia Research Center, Finland

    Klaus Kronlöf, Michele Marchetti, Ian Oliver

  • Paderborn University/C-LAB, Germany

    Alexander Krupp, Wolfgang Mueller, Tim Schattkowsky

  • ClearSy, France

    Thierry Lecomte, Denis Sabatier

  • INTRACOM S.A., Greece

    Nikolaos S. Voros

Bibliographic Information

  • Book Title: UML-B Specification for Proven Embedded Systems Design

  • Authors: Fredrik Bernin, Michael Butler, Dominique Cansell, Stefan Hallerstede, Klaus Kronlöf, Alexander Krupp, Thierry Lecomte, Michael Lundell, Ola Lundkvist, Michele Marchetti, Wolfgang Mueller, Ian Oliver, Denis Sabatier, Tim Schattkowsky, Colin Snook, Nikolaos S. Voros, … Yann Zimmermann

  • Editors: Jean Mermet

  • DOI: https://doi.org/10.1007/978-1-4020-2867-0

  • Publisher: Springer New York, NY

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Science+Business Media New York 2004

  • Hardcover ISBN: 978-1-4020-2866-3Published: 31 December 1899

  • Softcover ISBN: 978-1-4419-5256-1Published: 03 December 2010

  • eBook ISBN: 978-1-4020-2867-0Published: 19 March 2013

  • Edition Number: 1

  • Number of Pages: IX, 300

  • Number of Illustrations: 48 b/w illustrations

  • Topics: Electrical Engineering, Complexity, Mathematical Modeling and Industrial Mathematics, System Performance and Evaluation, Engineering Design, Electronics and Microelectronics, Instrumentation

Publish with us

Policies and ethics

Back to top

Search

Navigation