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

✍ Scribed by Loïc Besnard, Thierry Gautier, Paul Le Guernic (auth.), Sandeep K. Shukla, Jean-Pierre Talpin (eds.)

Publisher: Springer
Year: 2010
Tongue: English
Leaves: 266
Edition: 1
Category: Library

⬇ Acquire This Volume

No coin nor oath required. For personal study only.

✦ Subjects

Computer-Aided Engineering (CAD, CAE) and Design

📜 SIMILAR VOLUMES

Synthesis of Embedded Software: Framewor

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

✍ Loïc Besnard, Thierry Gautier, Paul Le Guernic (auth.), Sandeep K. Shukla, Jean- 📂 Library 📅 2010 🏛 Springer US 🌐 English

Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction Edited by: Sandeep Kumar Shukla Jean-Pierre Talpin Embedded software is ubiquitous today. There are millions of lines of embedded code in smart phones, and even more in systems responsible for automotive

Co-Synthesis of Hardware and Software fo

📁 Co-Synthesis of Hardware and Software for Digital Embedded Systems

✍ Rajesh Kumar Gupta (auth.) 📂 Library 📅 1995 🏛 Springer US 🌐 English

Co-Synthesis of Hardware and Software for Digital Embedded Systems, with a Foreword written by Giovanni De Micheli, presents techniques that are useful in building complex embedded systems. These techniques provide a competitive advantage over purely hardware or software

Software Frameworks and Embedded Control

📁 Software Frameworks and Embedded Control Systems

✍ Alessandro Pasetti (eds.) 📂 Library 📅 2002 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Although framework technology has proven its worth as a software reuse technique in many domains, there have been reservations regarding its application in embedded systems, mostly due to limited CPU and memory resources. Recent hardware advances, however, have changed this picture. This book

Hardware-Software Co-Synthesis of Distri

📁 Hardware-Software Co-Synthesis of Distributed Embedded Systems

✍ Ti-Yen Yen, Wayne Wolf (auth.) 📂 Library 📅 1996 🏛 Springer US 🌐 English

Embedded computer systems use both off-the-shelf microprocessors and application-specific integrated circuits (ASICs) to implement specialized system functions. Examples include the electronic systems inside laser printers, cellular phones, microwave ovens, and an automobile anti-lock brake contr

Constructing Correct Software

📁 Constructing Correct Software

✍ John Cooke 📂 Library 📅 2005 🏛 Springer 🌐 English

Constructing Correct Software - The Basics illustrates and explains the constructive approach to software development. This approach involves calculating an answer from the initial statement of requirements or specification, rather than "guessing" an answer and then testing whether it actually works

Constructing correct software

📁 Constructing correct software

✍ John Cooke 📂 Library 📅 2005 🏛 Springer 🌐 English