UML-B Specification for Proven Embedded Systems Design

  • 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
  • Jean Mermet

Table of contents

  1. Front Matter
    Pages i-ix
  2. Nikolaos S. Voros, Wolfgang Mueller, Colin Snook
    Pages 1-20
  3. Nikolaos S. Voros, Colin Snook, Stefan Hallerstede, Thierry Lecomte
    Pages 37-51
  4. Colin Snook, Ian Oliver, Michael Butler
    Pages 69-84
  5. U2B
    Colin Snook, Michael Butler
    Pages 85-108
  6. Alexander Krupp, Wolfgang Mueller
    Pages 155-167
  7. Fredrik Bernin, Michael Lundell, Ola Lundkvist, Denis Sabatier
    Pages 169-197
  8. Alexander Krupp, Ola Lundkvist, Tim Schattkowsky, Colin Snook
    Pages 199-210
  9. Yann Zimmermann, Stefan Hallerstede, Dominique Cansell
    Pages 211-226
  10. Alexander Krupp, Wolfgang Mueller, Ian Oliver
    Pages 227-240
  11. Ian Oliver, Klaus Kronlöf
    Pages 241-259
  12. D. Cansell, S. Hallerstede, I. Oliver
    Pages 261-277
  13. Nikolaos S. Voros
    Pages 279-292
  14. Nikolaos S. Voros, Ola Lundkvist, Klaus Kronlöf
    Pages 293-300

About this book

Introduction

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 support IP 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.

Keywords

Embedded System Hardware Hardwarebeschreibungssprache Interface SoC Software SystemC Unified Modeling Language (UML) VHDL design process development embedded systems production system on chip (SoC) usability

Authors and affiliations

  • Fredrik Bernin
    • 1
  • Michael Butler
    • 2
  • Dominique Cansell
    • 3
  • Stefan Hallerstede
    • 4
  • Klaus Kronlöf
    • 5
  • Alexander Krupp
    • 6
  • Thierry Lecomte
    • 7
  • Michael Lundell
    • 1
  • Ola Lundkvist
    • 1
  • Michele Marchetti
    • 5
  • Wolfgang Mueller
    • 6
  • Ian Oliver
    • 5
  • Denis Sabatier
    • 7
  • Tim Schattkowsky
    • 6
  • Colin Snook
    • 2
  • Nikolaos S. Voros
    • 8
  • Yann Zimmermann
    • 4
  1. 1.Volvo Technology CorporationSweden
  2. 2.University of SouthamptonGreat-Britain
  3. 3.LORIAFrance
  4. 4.KeesDA S.A.France
  5. 5.Nokia Research CenterFinland
  6. 6.Paderborn University/C-LABGermany
  7. 7.ClearSyFrance
  8. 8.INTRACOM S.A.Greece

Editors and affiliations

  • Jean Mermet
    • 1
  1. 1.KeesDA S.A.France

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4020-2867-0
  • Copyright Information Springer-Verlag US 2004
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4419-5256-1
  • Online ISBN 978-1-4020-2867-0
  • About this book