Verification of Non-functional Properties of a Composable Architecture with Petrinets

• Autorzy: Richling J. , Popova-Zeugmann L. , Werner M.
• Języki publikacji: EN

Abstrakty

EN

In this paper, we introduce our concept of composability and present the MSS architecture as an example for a composable architecture. MSS claims to be composable with respect to timing properties. We discuss, how to model and prove properties in such an architecture with time-extended Petrinets. As a result, the first step of a proof of composability is presented as well as a new kind of Petrinet, which is more suitable for modeling architectures like MSS.

Słowa kluczowe

EN

real time; composability; petrinets; duration nets; [pi]-PN

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2002
• Tom: Vol. 51, nr 1,2
• Strony: 185--200
• Opis fizyczny: bibliogr. 17 poz.

Twórcy

autor

Richling J.

autor

Popova-Zeugmann L.

autor

Werner M.

• Humboldt University Berlin, Institute für Informatik, Rudower Chaussee 25, 12489 Berlin, Germany,