UML-B Specification for Proven Embedded Systems Design /

UML-B Specification for Proven Embedded Systems Design presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUSSEE) as conceived in the course of the research during 2002 - 2003. The goal of the research in this project was to...

Full description

Bibliographic Details
Main Author:	Bernin, Fredrik
Corporate Author:	SpringerLink (Online service)
Other Authors:	Butler, Michael, Cansell, Dominique, Hallerstede, Stefan, Kronlöf, Klaus, Krupp, Alexander, Lecomte, Thierry, Lundell, Michael, Lundkvist, Ola, Marchetti, Michele, Mueller, Wolfgang, Oliver, Ian, Sabatier, Denis, Schattkowsky, Tim, Snook, Colin, Voros, Nikolaos S., Zimmermann, Yann, Mermet, Jean
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 2004.
Subjects:	Engineering. Computer system performance. Physics. Engineering design. Computer engineering. Electronics. Electronic books.
Online Access:	Connect to the full text of this electronic book

Table of Contents:

Preface
Acknowledgements
1. An Introduction to Formal Methods
2. Formally Unified System Specification Environment with UML, B and SystemC
3. Embedded System Design Using the PUSSEE Method
4. System Level Modelling and Refinement with Event-B
5. The UML-B Profile for Formal Systems Modelling in UML
6. U2B
7. BHDL
8. Towards a Conceptual Framework for UML to Hardware Description Language Mappings
9. Interface-Based Synthesis Refinement in B
10. Refinement of Finite State Machines with Complementary Model Checking
11. Adaptive Cruise Control Case Study Design Experiment
12. Adaptive Cruise Controller Case Study
13. Formal Modelling of Electronic Circuits Using Event-B
14. The Echo Cancellation Unit Case Study
15. Results of the Mobile Design System Experiment
16. UML-B Specification and Hardware Implementation of a Hamming Coder/Decoder
17. The PUSSEE Method in Practice
A1. Evaluation Criteria for Embedded System Design Methods.