0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R2,500 - R5,000 (2)
  • -
Status
Brand

Showing 1 - 2 of 2 matches in All Departments

Hardware-Software Co-Design of Embedded Systems - The POLIS Approach (Hardcover, 1997 ed.): F. Balarin, Paolo Giusto, Attila... Hardware-Software Co-Design of Embedded Systems - The POLIS Approach (Hardcover, 1997 ed.)
F. Balarin, Paolo Giusto, Attila Jurecska, Claudio Passerone, Ellen Sentovich, …
R4,532 Discovery Miles 45 320 Ships in 10 - 15 working days

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.

Hardware-Software Co-Design of Embedded Systems - The POLIS Approach (Paperback, Softcover reprint of the original 1st ed.... Hardware-Software Co-Design of Embedded Systems - The POLIS Approach (Paperback, Softcover reprint of the original 1st ed. 1997)
F. Balarin, Paolo Giusto, Attila Jurecska, Claudio Passerone, Ellen Sentovich, …
R4,356 Discovery Miles 43 560 Ships in 10 - 15 working days

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.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Bestway Maintenance Kit (203 cm)
R424 Discovery Miles 4 240
Volkano Active Doorway Gym
 (2)
R515 Discovery Miles 5 150
Volkano Earth Wired Mouse (Black) - For…
R67 Discovery Miles 670
Ultimate Cookies & Cupcakes For Kids
Hinkler Pty Ltd Kit R299 R270 Discovery Miles 2 700
ZA Key ring - Gun Metal
R199 Discovery Miles 1 990
Christmas Nativity Set - 11 Pieces
R599 R511 Discovery Miles 5 110
Teddy Fun Dough Castle Kit
R240 Discovery Miles 2 400
Russell Hobbs Toaster (2 Slice…
R727 Discovery Miles 7 270
Dala A2 Sketch Pad (120gsm)(36 Sheets)
R283 Discovery Miles 2 830
Behind Prison Walls - Unlocking a Safer…
Edwin Cameron, Rebecca Gore, … Paperback R350 R310 Discovery Miles 3 100

 

Partners