Table of Contents
Advances in Software Engineering
Volume 2012 (2012), Article ID 354274, 14 pages
http://dx.doi.org/10.1155/2012/354274
Research Article

How to Safely Integrate Multiple Applications on Embedded Many-Core Systems by Applying the “Correctness by Construction” Principle

Department Systems Architecture, Fraunhofer FIRST, Kekuléstraße 7, 12489 Berlin, Germany

Received 8 December 2011; Revised 28 March 2012; Accepted 17 April 2012

Academic Editor: Michael H. Schwarz

Copyright © 2012 Robert Hilbrich. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

How to Cite this Article

Robert Hilbrich, “How to Safely Integrate Multiple Applications on Embedded Many-Core Systems by Applying the “Correctness by Construction” Principle,” Advances in Software Engineering, vol. 2012, Article ID 354274, 14 pages, 2012. doi:10.1155/2012/354274