Options
Behavioral Synthesis of Potential Component Real-Time Behavior
Date Issued
2007
Author(s)
Seibel, Andreas
Abstract
Due to the increasing demand and complexity of modern component-based real-time
systems, new design methodologies are crucial. A promising approach is separation of
non-orthogonal concerns in combination with component-based real-time system de-
sign which has been a well known research area in the recent years, but only sparsely
conquers real-time domain. A real-time system is specifi,ed by several components.
Each component is related to several ports. A port consists of a functional and also a
behavioral aspect. The behavior of a port is specifi,ed as real-time behavior and fur-
ther describes a certain communication protocol. The overall behavior of a component
is defi,ned as concurrently executed protocol behavior of its related ports. Because
separation of non-orthogonal concerns allows to specify a certain component in dis-
tinct concerns, the composition of these components into an overall component, the
behavior of this component might provide states constellations which yield violating
situations. Therefore, a behavioral synthesis is required that provides a composed
real-time behavior of an overall component which further avoids violating situations.
The comprehensive work Separation of Non-Orthogonal Concerns in Software Archi-
tecture and Design of Holger Giese and Alexander Vilbig is a broad fundament for
this thesis which provides such a behavioral synthesis, but only for the non real-time
behavior. Their results and experiences are employed to handle the behavioral com-
position which is required for a separation of non-orthogonal concerns of component
based real-time system design methodology. To cope with this issue, a rigorous formal model is defi,ned to specify real-time behavior which has similarities to the common timed automaton. Further, a proper notion of concurrency is defi,ned on this model. To reason about the overall component behavior, a discrete-time semantic is defi,ned. To describe violating situations, two kinds of restrictions are defi,ned: a state based restriction type and a sequence based restriction type. The behavioral synthesis synthesizes a maximal consistent real-time behavior of a composed component which is conform with respect to its constituent real-time behavior and also preserves quantitative timing requirements of its constituents. But, the behavioral synthesis fails if a confl,ict between the requirements of the application domain and the overall behavior of a component exists.
systems, new design methodologies are crucial. A promising approach is separation of
non-orthogonal concerns in combination with component-based real-time system de-
sign which has been a well known research area in the recent years, but only sparsely
conquers real-time domain. A real-time system is specifi,ed by several components.
Each component is related to several ports. A port consists of a functional and also a
behavioral aspect. The behavior of a port is specifi,ed as real-time behavior and fur-
ther describes a certain communication protocol. The overall behavior of a component
is defi,ned as concurrently executed protocol behavior of its related ports. Because
separation of non-orthogonal concerns allows to specify a certain component in dis-
tinct concerns, the composition of these components into an overall component, the
behavior of this component might provide states constellations which yield violating
situations. Therefore, a behavioral synthesis is required that provides a composed
real-time behavior of an overall component which further avoids violating situations.
The comprehensive work Separation of Non-Orthogonal Concerns in Software Archi-
tecture and Design of Holger Giese and Alexander Vilbig is a broad fundament for
this thesis which provides such a behavioral synthesis, but only for the non real-time
behavior. Their results and experiences are employed to handle the behavioral com-
position which is required for a separation of non-orthogonal concerns of component
based real-time system design methodology. To cope with this issue, a rigorous formal model is defi,ned to specify real-time behavior which has similarities to the common timed automaton. Further, a proper notion of concurrency is defi,ned on this model. To reason about the overall component behavior, a discrete-time semantic is defi,ned. To describe violating situations, two kinds of restrictions are defi,ned: a state based restriction type and a sequence based restriction type. The behavioral synthesis synthesizes a maximal consistent real-time behavior of a composed component which is conform with respect to its constituent real-time behavior and also preserves quantitative timing requirements of its constituents. But, the behavioral synthesis fails if a confl,ict between the requirements of the application domain and the overall behavior of a component exists.