Articles liés à Hardware-Software Co-Design of Embedded Systems: The...

9780792399360: Hardware-Software Co-Design of Embedded Systems: The Polis Approach

Synopsis

Embedded systems are informally defined as a collection of programmable parts surrounded by ASICs and other standard components, that interact continuously with an environment through sensors and actuators. The programmable parts include micro-controllers and Digital Signal Processors (DSPs).
Embedded systems are often used in life-critical situations, where reliability and safety are more important criteria than performance. Today, embedded systems are designed with an ad hoc approach that is heavily based on earlier experience with similar products and on manual design. Use of higher-level languages such as C helps structure the design somewhat, but with increasing complexity it is not sufficient. Formal verification and automatic synthesis of implementations are the surest ways to guarantee safety.
Thus, the POLIS system which is a co-design environment for embedded systems is based on a formal model of computation.
POLIS was initiated in 1988 as a research project at the University of California at Berkeley and, over the years, grew into a full design methodology with a software system supporting it.
Hardware-Software Co-Design of Embedded Systems: The POLIS Approach is intended to give a complete overview of the POLIS system including its formal and algorithmic aspects.
Hardware-Software Co-Design of Embedded Systems: The POLIS Approach will be of interest to embedded system designers (automotive electronics, consumer electronics and telecommunications), micro-controller designers, CAD developers and students.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

  • ÉditeurSpringer
  • Date d'édition1997
  • ISBN 10 0792399366
  • ISBN 13 9780792399360
  • ReliureRelié
  • Langueanglais
  • Nombre de pages297
  • Coordonnées du fabricantnon disponible

Acheter D'occasion

état :  Assez bon
Zustand: Gut | Seiten: 322 | Sprache...
Afficher cet article
EUR 36,17

Autre devise

EUR 3,90 expédition depuis Allemagne vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
EUR 160,49

Autre devise

EUR 11 expédition depuis Allemagne vers France

Destinations, frais et délais

Autres éditions populaires du même titre

9781461378082: Hardware-Software Co-Design of Embedded Systems: The POLIS Approach

Edition présentée

ISBN 10 :  1461378087 ISBN 13 :  9781461378082
Editeur : Springer, 2013
Couverture souple

Résultats de recherche pour Hardware-Software Co-Design of Embedded Systems: The...

Image d'archives

F. Balarin, Alberto Sangiovanni-Vincentelli, Bassam Tabbara, Paolo Giusto, Attila Jurecska, Claudio Passerone, Ellen Sentovich, Kei Suzuki, M. Chiodo, Harry Hsieh, Luciano Lavagno
Edité par Springer US, 1997
ISBN 10 : 0792399366 ISBN 13 : 9780792399360
Ancien ou d'occasion Couverture rigide

Vendeur : Buchpark, Trebbin, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Gut. Zustand: Gut | Seiten: 322 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 1368866/3

Contacter le vendeur

Acheter D'occasion

EUR 36,17
Autre devise
Frais de port : EUR 3,90
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Hsieh, Harry
Edité par Springer, 1997
ISBN 10 : 0792399366 ISBN 13 : 9780792399360
Ancien ou d'occasion Couverture rigide

Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Hardcover. Etat : Like New. LIKE NEW. book. N° de réf. du vendeur ERICA82807923993663

Contacter le vendeur

Acheter D'occasion

EUR 92,08
Autre devise
Frais de port : EUR 29,80
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

F. Balarin
Edité par Springer US Mai 1997, 1997
ISBN 10 : 0792399366 ISBN 13 : 9780792399360
Neuf Couverture rigide
impression à la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Embedded systems are informally defined as a collection of programmable parts surrounded by ASICs and other standard components, that interact continuously with an environment through sensors and actuators. The programmable parts include micro-controllers and Digital Signal Processors (DSPs). Embedded systems are often used in life-critical situations, where reliability and safety are more important criteria than performance. Today, embedded systems are designed with an ad hoc approach that is heavily based on earlier experience with similar products and on manual design. Use of higher-level languages such as C helps structure the design somewhat, but with increasing complexity it is not sufficient. Formal verification and automatic synthesis of implementations are the surest ways to guarantee safety. Thus, the POLIS system which is a co-design environment for embedded systems is based on a formal model of computation. POLIS was initiated in 1988 as a research project at the University of California at Berkeley and, over the years, grew into a full design methodology with a software system supporting it. Hardware-Software Co-Design of Embedded Systems: The POLIS Approach is intended to give a complete overview of the POLIS system including its formal and algorithmic aspects. Hardware-Software Co-Design of Embedded Systems: The POLIS Approach will be of interest to embedded system designers (automotive electronics, consumer electronics and telecommunications), micro-controller designers, CAD developers and students. 322 pp. Englisch. N° de réf. du vendeur 9780792399360

Contacter le vendeur

Acheter neuf

EUR 160,49
Autre devise
Frais de port : EUR 11
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

F. Balarin
ISBN 10 : 0792399366 ISBN 13 : 9780792399360
Neuf Couverture rigide

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Buch. Etat : Neu. Neuware -Embedded systems are informally defined as a collection of programmable parts surrounded by ASICs and other standard components, that interact continuously with an environment through sensors and actuators. The programmable parts include micro-controllers and Digital Signal Processors (DSPs).Embedded systems are often used in life-critical situations, where reliability and safety are more important criteria than performance. Today, embedded systems are designed with an ad hoc approach that is heavily based on earlier experience with similar products and on manual design. Use of higher-level languages such as C helps structure the design somewhat, but with increasing complexity it is not sufficient. Formal verification and automatic synthesis of implementations are the surest ways to guarantee safety.Thus, the POLIS system which is a co-design environment for embedded systems is based on a formal model of computation.POLIS was initiated in 1988 as a research project at the University of California at Berkeley and, over the years, grew into a full design methodology with a software system supporting it.Hardware-Software Co-Design of Embedded Systems: The POLIS Approach is intended to give a complete overview of the POLIS system including its formal and algorithmic aspects.Hardware-Software Co-Design of Embedded Systems: The POLIS Approach will be of interest to embedded system designers (automotive electronics, consumer electronics and telecommunications), micro-controller designers, CAD developers and students.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 322 pp. Englisch. N° de réf. du vendeur 9780792399360

Contacter le vendeur

Acheter neuf

EUR 160,49
Autre devise
Frais de port : EUR 15
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Balarin, F.; Giusto, Paolo; Jurecska, Attila; Passerone, Claudio; Sentovich, Ellen; Tabbara, Bassam; Chiodo, M.; Hsieh, Harry; Lavagno, Luciano; Sangiovanni-Vincentelli, Alberto; Suzuki, Kei
Edité par Springer, 1997
ISBN 10 : 0792399366 ISBN 13 : 9780792399360
Neuf Couverture rigide

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. In. N° de réf. du vendeur ria9780792399360_new

Contacter le vendeur

Acheter neuf

EUR 170,93
Autre devise
Frais de port : EUR 4,76
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

F. Balarin
Edité par Springer US, Springer US, 1997
ISBN 10 : 0792399366 ISBN 13 : 9780792399360
Neuf Couverture rigide

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Embedded systems are informally defined as a collection of programmable parts surrounded by ASICs and other standard components, that interact continuously with an environment through sensors and actuators. The programmable parts include micro-controllers and Digital Signal Processors (DSPs). Embedded systems are often used in life-critical situations, where reliability and safety are more important criteria than performance. Today, embedded systems are designed with an ad hoc approach that is heavily based on earlier experience with similar products and on manual design. Use of higher-level languages such as C helps structure the design somewhat, but with increasing complexity it is not sufficient. Formal verification and automatic synthesis of implementations are the surest ways to guarantee safety. Thus, the POLIS system which is a co-design environment for embedded systems is based on a formal model of computation. POLIS was initiated in 1988 as a research project at the University of California at Berkeley and, over the years, grew into a full design methodology with a software system supporting it. Hardware-Software Co-Design of Embedded Systems: The POLIS Approach is intended to give a complete overview of the POLIS system including its formal and algorithmic aspects. Hardware-Software Co-Design of Embedded Systems: The POLIS Approach will be of interest to embedded system designers (automotive electronics, consumer electronics and telecommunications), micro-controller designers, CAD developers and students. N° de réf. du vendeur 9780792399360

Contacter le vendeur

Acheter neuf

EUR 168,73
Autre devise
Frais de port : EUR 10,99
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

F. Balarin|Paolo Giusto|Attila Jurecska|Claudio Passerone|Ellen Sentovich|Bassam Tabbara|M. Chiodo|Harry Hsieh|Luciano Lavagno|Alberto Sangiovanni-Vincentelli|Kei Suzuki
Edité par Springer US, 1997
ISBN 10 : 0792399366 ISBN 13 : 9780792399360
Neuf Couverture rigide

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. Embedded systems are informally defined as a collection of programmable parts surrounded by ASICs and other standard components, that interact continuously with an environment through sensors and actuators. The programmable parts include micro-controller. N° de réf. du vendeur 5971830

Contacter le vendeur

Acheter neuf

EUR 178,14
Autre devise
Frais de port : EUR 9,70
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Balarin, F.; Giusto, Paolo; Jurecska, Attila; Passerone, Claudio; Sentovich, Ellen; Tabbara, Bassam; Chiodo, M.; Hsieh, Harry; Lavagno, Luciano; Sangiovanni-Vincentelli, Alberto; Suzuki, Kei
Edité par Springer, 1997
ISBN 10 : 0792399366 ISBN 13 : 9780792399360
Neuf Couverture rigide

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur ABLIING23Feb2416190186317

Contacter le vendeur

Acheter neuf

EUR 162,60
Autre devise
Frais de port : EUR 66,16
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Balarin Felice Jurecska Attila Giusto Paolo
Edité par Springer, 1997
ISBN 10 : 0792399366 ISBN 13 : 9780792399360
Neuf Couverture rigide
impression à la demande

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. PRINT ON DEMAND pp. 324. N° de réf. du vendeur 18300691

Contacter le vendeur

Acheter neuf

EUR 245,80
Autre devise
Frais de port : EUR 7,95
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Balarin Felice Jurecska Attila Giusto Paolo
Edité par Springer, 1997
ISBN 10 : 0792399366 ISBN 13 : 9780792399360
Neuf Couverture rigide
impression à la demande

Vendeur : Majestic Books, Hounslow, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. Print on Demand pp. 324 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. N° de réf. du vendeur 7547206

Contacter le vendeur

Acheter neuf

EUR 243,39
Autre devise
Frais de port : EUR 10,55
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier