Runtime verification of component-based embedded software

Simple item page
dc.citation.epage477en_US
dc.citation.spage471en_US
dc.contributor.authorSözer, Hasanen_US
dc.contributor.authorHofmann, C.en_US
dc.contributor.authorTekinerdoğan, Bediren_US
dc.contributor.authorAkşit, M.en_US
dc.coverage.spatialLondon, UK
dc.date.accessioned2016-02-08T12:11:53Z
dc.date.available2016-02-08T12:11:53Z
dc.date.issued2011-09en_US
dc.departmentDepartment of Computer Engineeringen_US
dc.descriptionDate of Conference: 26-28 September 2011
dc.descriptionConference name: Computer and Information Sciences II - 26th International Symposium on Computer and Information Sciences
dc.description.abstractTo 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. © 2012 Springer-Verlag London Limited.en_US
dc.description.provenanceMade available in DSpace on 2016-02-08T12:11:53Z (GMT). No. of bitstreams: 1 bilkent-research-paper.pdf: 70227 bytes, checksum: 26e812c6f5156f83f0e77b261a471b5a (MD5) Previous issue date: 2012en
dc.identifier.doi10.1007/978-1-4471-2155-8_60en_US
dc.identifier.urihttp://hdl.handle.net/11693/28128
dc.language.isoEnglishen_US
dc.publisherSpringer
dc.relation.isversionofhttps://doi.org/10.1007/978-1-4471-2155-8_60en_US
dc.source.titleComputer and Information Sciences II - 26th International Symposium on Computer and Information Sciencesen_US
dc.subjectComponent baseden_US
dc.subjectComponent-based software developmenten_US
dc.subjectError-detection mechanismen_US
dc.subjectLevels of abstractionen_US
dc.subjectRun-time errorsen_US
dc.subjectRun-time verificationen_US
dc.subjectRuntime behaviorsen_US
dc.subjectWorking modeen_US
dc.subjectEmbedded systemsen_US
dc.subjectSpecificationsen_US
dc.subjectInformation scienceen_US
dc.titleRuntime verification of component-based embedded softwareen_US
dc.typeConference Paperen_US

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Runtime verification of component-based embedded software.pdf
Size:
1.66 MB
Format:
Adobe Portable Document Format
Description:
Full printable version
Download

Collections

Department of Computer Engineering