Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction - Image 1

£73.10

Springer Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction

Name: Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
Brand: Springer
Price: 72.45 GBP
Availability: InStock

Programming

Price History & Forecast

Last 91 days • 91 data points

Historical

Generating forecast...

Price Distribution

Price distribution over 91 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £73 (81 days, 89.0%)

Price range: £73 - £73

Price levels: 2 different prices over 91 days

Description

Embedded software is ubiquitous today. There are millions of lines of embedded code in smart phones, and even more in systems responsible for automotive control, avionics control, weapons control and space missions. Some of these are safety-critical systems whose correctness, timely response, and reliability are of paramount importance. These requirement pose new challenges to system designers. This necessitates that a proper design science, based on "constructive correctness" be developed. Correct-by-construction design and synthesis of embedded software is done in a way so that post-development verification is minimized, and correct operation of embedded systems is maximized. This book presents the state of the art in the design of safety-critical, embedded software. It introduced readers to three major approaches to specification driven, embedded software synthesis/construction: synchronous programming based approaches, models of computation based approaches, and an approach based on concurrent programming with a co-design focused language. It is an invaluable reference for practitioners and researchers concerned with improving the product development life-cycle.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 1489987371
Category: Books > Subjects > Computing & Internet > Programming
Domain: Amazon UK
Release Date: 20 November 2014
Listed Since: 21 November 2014

Barcode

No barcode data available

Springer Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Hardware-Software Co-Synthesis of Distributed Embedded Systems

Quality-of-Service Aware Design and Management of Embedded Mixed-Criticality Systems

Software Engineering and Environment: An Object-oriented Perspective (Software Science & Engineering)

Cooperating Embedded Systems and Wireless Sensor Networks

Multiprocessor Scheduling for Real-Time Systems (Embedded Systems)

Software Engineering Frameworks for the Cloud Computing Paradigm (Computer Communications and Networks)

Logic Synthesis and Verification: 654 (The Springer International Series in Engineering and Computer Science, 654)

Embedded and Real-Time Operating Systems

Soft Error Reliability Using Virtual Platforms: Early Evaluation of Multicore Systems

Advanced Multicore Systems-On-Chip: Architecture, On-Chip Network, Design

Designing Mobile Robot Interfaces with 16-bit Microchip Microcontrollers

Quality-Driven SystemC Design

Software Architectures: Advances and Applications

Mathematical Foundations of Software Engineering: A Practical Guide to Essentials (Texts in Computer Science)

Towards One-Pass Synthesis

Web Engineering: Modelling and Implementing Web Applications: 12 (Human–Computer Interaction Series)

Ein Verfahren zur Entwicklung flexibler Fahrzeug-Software- und -Hardware-Architekturen unter Unsicherheit

Digital Synthesizers and Transmitters for Software Radio

Concise Guide to Software Testing (Undergraduate Topics in Computer Science)

Models and Tools for Managing Development Processes: 1646 (Lecture Notes in Computer Science, 1646)

Software Engineering for Games in Serious Contexts: Theories, Methods, Tools, and Experiences

Transaction-Level Modeling with SystemC: TLM Concepts and Applications for Embedded Systems

Designing Aircraft Simulators (Springer Aerospace Technology)

Guide to Automotive Connectivity and Cybersecurity: Trends, Technologies, Innovations and Applications (Computer Communications and Networks)