Detection of Common Problems in Real-Time and Multicore Systems Using Model-Based Constraints
المؤلفون المشاركون
Dagenais, Michel R.
Beamonte, Raphaël
المصدر
العدد
المجلد 2016، العدد 2016 (31 ديسمبر/كانون الأول 2016)، ص ص. 1-18، 18ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2016-05-19
دولة النشر
مصر
عدد الصفحات
18
التخصصات الرئيسية
الملخص EN
Multicore systems are complex in that multiple processes are running concurrently and can interfere with each other.
Real-time systems add on top of that time constraints, making results invalid as soon as a deadline has been missed.
Tracing is often the most reliable and accurate tool available to study and understand those systems.
However, tracing requires that users understand the kernel events and their meaning.
It is therefore not very accessible.
Using modeling to generate source code or represent applications’ workflow is handy for developers and has emerged as part of the model-driven development methodology.
In this paper, we propose a new approach to system analysis using model-based constraints, on top of userspace and kernel traces.
We introduce the constraints representation and how traces can be used to follow the application’s workflow and check the constraints we set on the model.
We then present a number of common problems that we encountered in real-time and multicore systems and describe how our model-based constraints could have helped to save time by automatically identifying the unwanted behavior.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Beamonte, Raphaël& Dagenais, Michel R.. 2016. Detection of Common Problems in Real-Time and Multicore Systems Using Model-Based Constraints. Scientific Programming،Vol. 2016, no. 2016, pp.1-18.
https://search.emarefa.net/detail/BIM-1118421
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Beamonte, Raphaël& Dagenais, Michel R.. Detection of Common Problems in Real-Time and Multicore Systems Using Model-Based Constraints. Scientific Programming No. 2016 (2016), pp.1-18.
https://search.emarefa.net/detail/BIM-1118421
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Beamonte, Raphaël& Dagenais, Michel R.. Detection of Common Problems in Real-Time and Multicore Systems Using Model-Based Constraints. Scientific Programming. 2016. Vol. 2016, no. 2016, pp.1-18.
https://search.emarefa.net/detail/BIM-1118421
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1118421
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر