![](/images/graphics-bg.png)
How to Safely Integrate Multiple Applications on Embedded Many-Core Systems by Applying the “Correctness by Construction” Principle
المؤلف
المصدر
Advances in Software Engineering
العدد
المجلد 2012، العدد 2012 (31 ديسمبر/كانون الأول 2012)، ص ص. 1-14، 14ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2012-06-12
دولة النشر
مصر
عدد الصفحات
14
التخصصات الرئيسية
الملخص 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.
نمط استشهاد جمعية علماء النفس الأمريكية (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
نمط استشهاد الجمعية الأمريكية للغات الحديثة (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
نمط استشهاد الجمعية الطبية الأمريكية (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
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-465293
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)