### Skapa referens, olika format (klipp och klistra)

**Harvard**

Schaefer, I. och Poetzsch-Heffter, A. (2009) *Model-based Verification of Adaptive Embedded Systems under Environment Constraints*.

** BibTeX **

@conference{

Schaefer2009,

author={Schaefer, Ina and Poetzsch-Heffter, Arnd},

title={Model-based Verification of Adaptive Embedded Systems under Environment Constraints},

booktitle={2nd Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2009)},

abstract={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.},

year={2009},

keywords={Adaptive Embedded Systems; Model-based Verification; Temporal Logic; Assume-Guarantee Reasoning},

}

** RefWorks **

RT Conference Proceedings

SR Print

ID 103642

A1 Schaefer, Ina

A1 Poetzsch-Heffter, Arnd

T1 Model-based Verification of Adaptive Embedded Systems under Environment Constraints

YR 2009

T2 2nd Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2009)

AB 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.

LA eng

OL 30