CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Model-based Verification of Adaptive Embedded Systems under Environment Constraints

Ina Schaefer (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Arnd Poetzsch-Heffter
2nd Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2009) (2009)
[Konferensbidrag, refereegranskat]

Model-based verification of adaptive embedded systems is a promising approach to deal with the increased complexity that adaptation imposes on system design. Properties of embedded systems typically depend on the environment in which they are deployed. Thus, the environment has to be considered for verification. In this paper, we propose a technique to verify properties of design-level models of adaptive embedded systems under environment constraints. We transfer ideas originating from assume-guarantee reasoning for Kripke structures to design- level models of adaptive embedded systems in order to reduce conditional validity checking to standard model checking.

Nyckelord: Adaptive Embedded Systems; Model-based Verification; Temporal Logic; Assume-Guarantee Reasoning

Denna post skapades 2009-12-15. Senast ändrad 2009-12-15.
CPL Pubid: 103642


Institutioner (Chalmers)

Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers) (2008-2010)



Chalmers infrastruktur