Editors:
Provides state-of-the-art research on new software engineering life-cycle for safety-critical, embedded software
Includes theory, methodologies, and examples of "correct by construction" software engineering
Allows for the design of embedded software with a reduced verification burden and guarantee of correctness
Offers a single source reference to the latest research, otherwise available only in disparate journals and conference proceedings
Includes supplementary material: sn.pub/extras
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (8 chapters)
-
Front Matter
-
Back Matter
About this book
Editors and Affiliations
-
Bradley Dept. Electrical &, Computer Engineering, Virginia Tech, Blacksburg, USA
Sandeep K. Shukla
-
INRIA Rennes-Bretagne Atlantique, Rennes CX, France
Jean-Pierre Talpin
Bibliographic Information
Book Title: Synthesis of Embedded Software
Book Subtitle: Frameworks and Methodologies for Correctness by Construction
Editors: Sandeep K. Shukla, Jean-Pierre Talpin
DOI: https://doi.org/10.1007/978-1-4419-6400-7
Publisher: Springer New York, NY
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer Science+Business Media, LLC 2010
Hardcover ISBN: 978-1-4419-6399-4Published: 17 September 2010
Softcover ISBN: 978-1-4899-8737-2Published: 20 November 2014
eBook ISBN: 978-1-4419-6400-7Published: 05 August 2010
Edition Number: 1
Number of Pages: XV, 266
Topics: Circuits and Systems, Computer-Aided Engineering (CAD, CAE) and Design