Verwandte Artikel zu UML-B Specification for Proven Embedded Systems Design

UML-B Specification for Proven Embedded Systems Design - Hardcover

 
9781402028663: UML-B Specification for Proven Embedded Systems Design

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

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.

Reseña del editor

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 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 is done by combining the formal and informal means of specification by way of the UML and B languages to allow the verification of system specifications through the composition of proven sub-systems (with some particular attention to interfaces, in line with the VSIA/SLIF approach). The link of B with C, VHDL and SystemC extends the correct-by-construction design process to lower system-on-chip (SoC) development stages. The production of proven embedded software is therefore complemented by the production of proven hardware. Prototype tools have been developed for the code generation from UML and B, and existing B verification tools will be extended to support IP reuse, according to the VSIA recommendations. The methodology and tools were validated through the development of three industrial applications: a wireless mobile terminal a telecom system-on-chip based on HIPERLAN/2 protocol and an anti-collision module for automobiles.

The problem was known to be hard and the scope ambitious. But the seventeen chapters of UML-B Specification for Proven Embedded Systems Design, describing the main results obtained demonstrate the success of the research, acknowledged by the European reviewers. They are released to allow the largest audience including the various sectors of industry's system design engineers, university teachers and researchers. They will hopefully convince skeptical professionals that formal approaches can now cope with industrial strength problems.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

  • VerlagSpringer
  • Erscheinungsdatum1899
  • ISBN 10 1402028660
  • ISBN 13 9781402028663
  • EinbandTapa dura
  • SpracheEnglisch
  • Anzahl der Seiten316
  • HerausgeberMermet Jean
  • Kontakt zum HerstellerNicht verfügbar

Gebraucht kaufen

Zustand: Befriedigend
Pages can have notes/highlighting...
Diesen Artikel anzeigen

EUR 10,21 für den Versand von USA nach Deutschland

Versandziele, Kosten & Dauer

Gratis für den Versand von USA nach Deutschland

Versandziele, Kosten & Dauer

Weitere beliebte Ausgaben desselben Titels

9781441952561: UML-B Specification for Proven Embedded Systems Design

Vorgestellte Ausgabe

ISBN 10:  144195256X ISBN 13:  9781441952561
Verlag: Springer, 2010
Softcover

Suchergebnisse für UML-B Specification for Proven Embedded Systems Design

Beispielbild für diese ISBN

MERMET J.P.
Verlag: Springer, 1899
ISBN 10: 1402028660 ISBN 13: 9781402028663
Neu Hardcover

Anbieter: Basi6 International, Irving, TX, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEJUNE24-397744

Verkäufer kontaktieren

Neu kaufen

EUR 45,71
Währung umrechnen
Versand: Gratis
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 6 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Mermet Jean
Verlag: Springer, 1899
ISBN 10: 1402028660 ISBN 13: 9781402028663
Neu Hardcover

Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. pp. 316. Bestandsnummer des Verkäufers 18291539

Verkäufer kontaktieren

Neu kaufen

EUR 44,93
Währung umrechnen
Versand: EUR 2,30
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 4 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 1899
ISBN 10: 1402028660 ISBN 13: 9781402028663
Neu Hardcover

Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Bestandsnummer des Verkäufers ABNR-249263

Verkäufer kontaktieren

Neu kaufen

EUR 47,70
Währung umrechnen
Versand: Gratis
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 1899
ISBN 10: 1402028660 ISBN 13: 9781402028663
Neu Hardcover

Anbieter: Books Puddle, New York, NY, USA

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. pp. 316. Bestandsnummer des Verkäufers 26291545

Verkäufer kontaktieren

Neu kaufen

EUR 45,14
Währung umrechnen
Versand: EUR 7,94
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 4 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 1899
ISBN 10: 1402028660 ISBN 13: 9781402028663
Gebraucht Hardcover

Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Hardcover. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.54. Bestandsnummer des Verkäufers G1402028660I3N00

Verkäufer kontaktieren

Gebraucht kaufen

EUR 43,54
Währung umrechnen
Versand: EUR 10,21
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 1899
ISBN 10: 1402028660 ISBN 13: 9781402028663
Neu Hardcover

Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. pp. 316 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Bestandsnummer des Verkäufers 7589126

Verkäufer kontaktieren

Neu kaufen

EUR 43,41
Währung umrechnen
Versand: EUR 10,55
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 4 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Unbekannt
Verlag: SPRINGER NATURE, 1899
ISBN 10: 1402028660 ISBN 13: 9781402028663
Gebraucht Hardcover

Anbieter: Buchpark, Trebbin, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Sehr gut. Zustand: Sehr gut - Neubindung, Buchkanten leicht angestossen, Buchschnitt leicht verkürzt, Auflage 2004 | Seiten: 300 | Sprache: Englisch | Produktart: Bücher. Bestandsnummer des Verkäufers 1754575/12

Verkäufer kontaktieren

Gebraucht kaufen

EUR 68,35
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Jean Mermet
Verlag: Springer, 1899
ISBN 10: 1402028660 ISBN 13: 9781402028663
Neu Hardcover

Anbieter: Basi6 International, Irving, TX, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEJUNE24-166364

Verkäufer kontaktieren

Neu kaufen

EUR 79,10
Währung umrechnen
Versand: Gratis
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 1899
ISBN 10: 1402028660 ISBN 13: 9781402028663
Gebraucht Hardcover

Anbieter: HPB-Red, Dallas, TX, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Hardcover. Zustand: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Bestandsnummer des Verkäufers S_332765197

Verkäufer kontaktieren

Gebraucht kaufen

EUR 39,91
Währung umrechnen
Versand: EUR 100,56
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 1899
ISBN 10: 1402028660 ISBN 13: 9781402028663
Neu Hardcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. In. Bestandsnummer des Verkäufers ria9781402028663_new

Verkäufer kontaktieren

Neu kaufen

EUR 170,93
Währung umrechnen
Versand: EUR 5,94
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Es gibt 4 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen