Abstract
The main goal of this chapter is to demonstrate the feasibility of PUSSEE development framework. For that purpose, a case study borrowed from the telecommunication domain is used in order to exhibit the applicability the method and associated tools for the design of complex systems. The application described is part of an embedded system based on HIPERLAN/2 protocol.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
ETSI 2000, Broadband Radio Access Networks BRAN; HIPERLAN Type 2; Data Link Control (DLC) Layer Part] : Basic Data Transport Functions, ETSI TS 101 761-1 v1.1.1.
C. Snook, M. Walden, Use of U2B for Specking B Action Systems, Proceedings of International Workshop on Refinement of Critical Systems: Methods, Tools and Developments, Grenoble, France, January 2002.
C. Snook, M. Butler, U2B Downloads, Available at: http://www.ecs.soton.ac.uld~cfs/U2Bdownloads.htm
K. Antonis, N. Voros, D3.1.2: Specification of the Telecom System-on-Chip Experiment, IST-2000-30103 PUSSEE, Project Report, 2002.
Atelier B, Available at: http://www.AtelierB.societe.com/, 2003.
T. Lecomte, D4.4.1: Methodological Guidelines: Interface based synthesis/ refinement in B, IST-2000-30103 PUSSEE, Project Report, 2003.
ClearSy, Event B Reference Manual v1.0, Available at: http://www.atelierb.societe.com/ressources/evt2b/eventbreferencemanual.pdf, 2001.
KessDA, BHDLUser Guide Preliminary Version, Available at: http://www.keesda.com/pussee/bibliography.htm
PUSSEE Project, Available at: http://www.keesda.com/pussee, 2003.
MATISSE Project, Event B to B Translator User Manual, IST-1999-11435, Project Report 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer Science+Business Media New York
About this chapter
Cite this chapter
Voros, N.S. (2004). The PUSSEE Method in Practice. In: Mermet, J. (eds) UML-B Specification for Proven Embedded Systems Design. Springer, Boston, MA. https://doi.org/10.1007/978-1-4020-2867-0_17
Download citation
DOI: https://doi.org/10.1007/978-1-4020-2867-0_17
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-5256-1
Online ISBN: 978-1-4020-2867-0
eBook Packages: Springer Book Archive