How to Safely Integrate Multiple Applications on Embedded Many-Core Systems by Applying the “Correctness by Construction” Principle
Author
Source
Advances in Software Engineering
Issue
Vol. 2012, Issue 2012 (31 Dec. 2012), pp.1-14, 14 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2012-06-12
Country of Publication
Egypt
No. of Pages
14
Main Subjects
Abstract EN
Software-intensive embedded systems, especially cyber-physical systems, benefit from the additional performance and the small power envelope offered by many-core processors.
Nevertheless, the adoption of a massively parallel processor architecture in the embedded domain is still challenging.
The integration of multiple and potentially parallel functions on a chip—instead of just a single function—makes best use of the resources offered.
However, this multifunction approach leads to new technical and nontechnical challenges during the integration.
This is especially the case for a distributed system architecture, which is subject to specific safety considerations.
In this paper, it is argued that these challenges cannot be effectively addressed with traditional engineering approaches.
Instead, the application of the “correctness by construction” principle is proposed to improve the integration process.
American Psychological Association (APA)
Hilbrich, Robert. 2012. How to Safely Integrate Multiple Applications on Embedded Many-Core Systems by Applying the “Correctness by Construction” Principle. Advances in Software Engineering،Vol. 2012, no. 2012, pp.1-14.
https://search.emarefa.net/detail/BIM-465293
Modern Language Association (MLA)
Hilbrich, Robert. How to Safely Integrate Multiple Applications on Embedded Many-Core Systems by Applying the “Correctness by Construction” Principle. Advances in Software Engineering No. 2012 (2012), pp.1-14.
https://search.emarefa.net/detail/BIM-465293
American Medical Association (AMA)
Hilbrich, Robert. How to Safely Integrate Multiple Applications on Embedded Many-Core Systems by Applying the “Correctness by Construction” Principle. Advances in Software Engineering. 2012. Vol. 2012, no. 2012, pp.1-14.
https://search.emarefa.net/detail/BIM-465293
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-465293