Show simple item record

dc.contributor.authorRoo, A. de
dc.contributor.authorSözer, Hasan
dc.contributor.authorAkşit, M.
dc.descriptionDue to copyright restrictions, the access to the full text of this article is only available via subscription.en_US
dc.description.abstractContextA considerable portion of the software systems today are adopted in the embedded control domain. Embedded control software deals with controlling a physical system, and as such models of physical characteristics become part of the embedded control software.ObjectiveDue to the evolution of system properties and increasing complexity, faults can be left undetected in these models of physical characteristics. Therefore, their accuracy must be verified at runtime. Traditional runtime verification techniques that are based on states/events in software execution are inadequate in this case. The behavior suggested by models of physical characteristics cannot be mapped to behavioral properties of software. Moreover, implementation in a general-purpose programming language makes these models hard to locate and verify. Therefore, this paper proposes a novel approach to perform runtime verification of models of physical characteristics in embedded control software.MethodThe development of an approach for runtime verification of models of physical characteristics and the application of the approach to two industrial case studies from the printing systems domain.ResultsThis paper presents a novel approach to specify models of physical characteristics using a domain-specific language, to define monitors that detect inconsistencies by exploiting redundancy in these models, and to realize these monitors using an aspect-oriented approach. We complement runtime verification with static analysis to verify the composition of domain-specific models with the control software written in a general-purpose language.ConclusionsThe presented approach enables runtime verification of implemented models of physical characteristics to detect inconsistencies in these models, as well as broken hardware components and wear and tear of hardware in the physical system. The application of declarative aspect-oriented techniques to realize runtime verification monitors increases modularity and provides the ability to statically verify this realization. The complementary static and runtime verification techniques increase the reliability of embedded control software.en_US
dc.description.sponsorshipNetherlands Ministry of Economic Affairs
dc.relation.ispartofInformation and Software Technology
dc.titleVerification and analysis of domain-specific models of physical characteristics in embedded control softwareen_US
dc.contributor.departmentÖzyeğin University
dc.contributor.authorID(ORCID 0000-0002-2968-4763 & YÖK ID 23178) Sözer, Hasan
dc.contributor.ozuauthorSözer, Hasan
dc.subject.keywordsRuntime verificationen_US
dc.subject.keywordsDomain-specific languagesen_US
dc.subject.keywordsEmbedded systemsen_US
dc.subject.keywordsControl softwareen_US
dc.subject.keywordsAspect-oriented software developmenten_US

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

Share this page