Title of article :
Verification and analysis of domain-specific models of physical characteristics in embedded control software
Author/Authors :
de Roo، نويسنده , , Arjan and S?zer، نويسنده , , Hasan and Ak?it، نويسنده , , Mehmet، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 2012
Pages :
22
From page :
1432
To page :
1453
Abstract :
Context iderable 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. ive 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. velopment 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. s aper 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. sions esented 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.
Keywords :
Control software , Runtime verification , aspect-oriented software development , embedded systems , domain-specific languages
Journal title :
Information and Software Technology
Serial Year :
2012
Journal title :
Information and Software Technology
Record number :
2374881
Link To Document :
بازگشت