0
Your cart

Your cart is empty

Books > Professional & Technical > Energy technology & engineering > Electrical engineering

Not currently available

Rigorous System Design (Paperback) Loot Price: R1,380
Discovery Miles 13 800
Rigorous System Design (Paperback): Joseph Sifakis

Rigorous System Design (Paperback)

Joseph Sifakis

Series: Foundations and Trends (R) in Electronic Design Automation

 (sign in to rate)
Loot Price R1,380 Discovery Miles 13 800 | Repayment Terms: R129 pm x 12*

Bookmark and Share

Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.

Rigorous System Design deals with the formalization of the design of mixed hardware/software systems. It advocates rigorous system design as a coherent and accountable model-based process leading from requirements to correct implementations. It presents the current state of the art in system design, discusses its limitations and identifies possible avenues for overcoming them. A rigorous system design flow is defined as a formal accountable and iterative process composed of steps, and based on four principles: 1) separation of concerns; 2) component-based construction; 3) semantic coherency; 4) correctness-by-construction. The combined application of these principles allows the definition of a methodology clearly identifying where human intervention and ingenuity are needed to resolve design choices, as well as activities that can be supported by tools to automate tedious and error-prone tasks. The presented view for rigorous system design has been amply implemented in the BIP (Behavior, Interaction, Priority) component framework and substantiated by numerous experimental results showing both its relevance and feasibility.Rigorous System Design concludes with a discussion advocating a system-centric vision for computing, identifying possible links with other disciplines and emphasizing centrality of system design. It is an ideal primer for researchers and practitioners interested in the design of mixed hardware/software systems.

General

Imprint: Now Publishers Inc
Country of origin: United States
Series: Foundations and Trends (R) in Electronic Design Automation
Release date: April 2013
First published: March 2013
Authors: Joseph Sifakis
Dimensions: 234 x 156 x 4mm (L x W x T)
Format: Paperback
Pages: 84
ISBN-13: 978-1-60198-660-3
Categories: Books > Professional & Technical > Energy technology & engineering > Electrical engineering > General
Promotions
LSN: 1-60198-660-2
Barcode: 9781601986603

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Power System Analysis and Design, SI…
J. Duncan Glover, Mulukutla Sarma, … Paperback R1,312 R1,223 Discovery Miles 12 230
Eskom - Power, Politics And The (Post…
Faeeza Ballim Paperback R320 R295 Discovery Miles 2 950
Uncertainties in Modern Power Systems
Ahmed F. Zobaa, Shady H.E Abdel Aleem Paperback R3,339 Discovery Miles 33 390
Hybrid-Renewable Energy Systems in…
Hina Fathima, Prabaharan N, … Paperback R4,492 R4,170 Discovery Miles 41 700
Smart Sensors and MEMS - Intelligent…
S. Nihtianov, A. Luque Paperback R6,287 R5,808 Discovery Miles 58 080
Ultra-Supercritical Coal Power Plants…
Dongke Zhang Ftse Hardcover R4,072 R3,790 Discovery Miles 37 900
Biomass Combustion Science, Technology…
Lasse Rosendahl Hardcover R4,381 Discovery Miles 43 810
Combined Cycle Systems for Near-Zero…
Ashok D Rao Hardcover R4,213 Discovery Miles 42 130
Power Plant Life Management and…
John E. Oakey Hardcover R5,701 Discovery Miles 57 010
High Temperature Superconductors (HTS…
Ziad Melhem Hardcover R4,493 Discovery Miles 44 930
Microgeneration - Low energy strategies…
Dave Parker Paperback R928 Discovery Miles 9 280
Practical Grounding, Bonding, Shielding…
G. Vijayaraghavan, Mark Brown, … Paperback R1,427 Discovery Miles 14 270

See more

Partners