UML-B Specification for Proven Embedded Systems Design

Nonfiction, Science & Nature, Technology, Electricity, Mathematics, Applied
Cover of the book UML-B Specification for Proven Embedded Systems Design by , Springer US
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9781402028670
Publisher: Springer US Publication: March 19, 2013
Imprint: Springer Language: English
Author:
ISBN: 9781402028670
Publisher: Springer US
Publication: March 19, 2013
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer US

Cover of the book Neuroanatomy for the Neuroscientist by
Cover of the book Accelerated Lattice Boltzmann Model for Colloidal Suspensions by
Cover of the book Becoming a Food Scientist by
Cover of the book Hybridomas and Cellular Immortality by
Cover of the book Vitamin D by
Cover of the book Waters in Peril by
Cover of the book Cellular and Molecular Biology of Mammary Cancer by
Cover of the book Teaching Transcultural Care by
Cover of the book Cardiac Allograft Rejection by
Cover of the book Organ Directed Toxicities of Anticancer Drugs by
Cover of the book A Perinatal Strategy For Preventing Adult Disease: The Role Of Long-Chain Polyunsaturated Fatty Acids by
Cover of the book Cognitive Assessment by
Cover of the book The Heavens Are Falling by
Cover of the book Endocrine Neoplasms by
Cover of the book Real-Time Systems by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy