• About
  • Policies
  • What is openaccess
  • Library
  • Contact
Advanced search
      View Item 
      •   BUIR Home
      • Scholarly Publications
      • Faculty of Engineering
      • Department of Computer Engineering
      • View Item
      •   BUIR Home
      • Scholarly Publications
      • Faculty of Engineering
      • Department of Computer Engineering
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      Runtime verification of component-based embedded software

      Thumbnail
      View / Download
      1.7 Mb
      Author
      Sözer, Hasan
      Hofmann, C.
      Tekinerdoğan, Bedir
      Akşit, M.
      Date
      2011-09
      Source Title
      Computer and Information Sciences II - 26th International Symposium on Computer and Information Sciences
      Publisher
      Springer
      Pages
      471 - 477
      Language
      English
      Type
      Conference Paper
      Item Usage Stats
      116
      views
      93
      downloads
      Abstract
      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. © 2012 Springer-Verlag London Limited.
      Keywords
      Component based
      Component-based software development
      Error-detection mechanism
      Levels of abstraction
      Run-time errors
      Run-time verification
      Runtime behaviors
      Working mode
      Embedded systems
      Specifications
      Information science
      Permalink
      http://hdl.handle.net/11693/28128
      Published Version (Please cite this version)
      https://doi.org/10.1007/978-1-4471-2155-8_60
      Collections
      • Department of Computer Engineering 1368
      Show full item record

      Browse

      All of BUIRCommunities & CollectionsTitlesAuthorsAdvisorsBy Issue DateKeywordsTypeDepartmentsThis CollectionTitlesAuthorsAdvisorsBy Issue DateKeywordsTypeDepartments

      My Account

      Login

      Statistics

      View Usage StatisticsView Google Analytics Statistics

      Bilkent University

      If you have trouble accessing this page and need to request an alternate format, contact the site administrator. Phone: (312) 290 1771
      Copyright © Bilkent University - Library IT

      Contact Us | Send Feedback | Off-Campus Access | Admin | Privacy