Runtime verification of component-based embedded software

Name: Runtime verification of component-based embedded software
Author: Sözer, Hasan, Hofmann, C, Tekinerdoğan, B., Akşit, M.

İsim	Runtime verification of component-based embedded software
Yazar	Sözer, Hasan, Hofmann, C, Tekinerdoğan, B., Akşit, M.
Basım Tarihi:	2011
Basım Yeri	- Springer
Konu	Component based, Component-based software development, Error-detection mechanism, Levels of abstraction, Run-time errors, Run-time verification, Runtime behaviors, Working mode
Tür	Kitap
Dil	İngilizce
Dijital	Evet
Yazma	Hayır
Kütüphane:	Özyeğin Üniversitesi
Demirbaş Numarası	978-1-4471-2155-8
Kayıt Numarası	0665292f-7d2d-4945-aa2b-3f423f0f30b3
Lokasyon	Computer Science
Tarih	2011
Notlar	Due to copyright restrictions, the access to the full text of this article is only available via subscription.
Örnek Metin	To deal with increasing size and complexity, component-based software development has been employed in embedded systems. Due to several faults, components can make wrong assumptions about the working mode of the system and the working modes of the other components. To detect mode inconsistencies at runtime, we propose a “lightweight” error detection mechanism, which can be integrated with component-based embedded systems. We define links among three levels of abstractions: the runtime behavior of components, the working mode specifications of components and the specification of the working modes of the system. This allows us to detect the user observable runtime errors. The effectiveness of the approach is demonstrated by implementing a software monitor integrated into a TV system.

Kaynağa git Özyeğin Üniversitesi

Aramaya Dön

Özyeğin Üniversitesi

Kaynağa git

Runtime verification of component-based embedded software

Yazar Sözer, Hasan, Hofmann, C, Tekinerdoğan, B., Akşit, M.

Basım Tarihi 2011

Basım Yeri - Springer

Konu Component based, Component-based software development, Error-detection mechanism, Levels of abstraction, Run-time errors, Run-time verification, Runtime behaviors, Working mode

Tür Kitap

Dil İngilizce

Dijital Evet

Yazma Hayır

Kütüphane Özyeğin Üniversitesi

Demirbaş Numarası 978-1-4471-2155-8

Kayıt Numarası 0665292f-7d2d-4945-aa2b-3f423f0f30b3

Lokasyon Computer Science

Tarih 2011

Notlar Due to copyright restrictions, the access to the full text of this article is only available via subscription.

Örnek Metin To deal with increasing size and complexity, component-based software development has been employed in embedded systems. Due to several faults, components can make wrong assumptions about the working mode of the system and the working modes of the other components. To detect mode inconsistencies at runtime, we propose a “lightweight” error detection mechanism, which can be integrated with component-based embedded systems. We define links among three levels of abstractions: the runtime behavior of components, the working mode specifications of components and the specification of the working modes of the system. This allows us to detect the user observable runtime errors. The effectiveness of the approach is demonstrated by implementing a software monitor integrated into a TV system.