Reference:
Andreas Seibel, "Behavioral Synthesis of Potential Component Real-Time Behavior", Master's thesis, 2007.
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 speci&64257;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 speci&64257;ed as real-time behavior and fur- ther describes a certain communication protocol. The overall behavior of a component is de&64257;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 de&64257;ned to specify real-time behavior which has similarities to the common timed automaton. Further, a proper notion of concurrency is de&64257;ned on this model. To reason about the overall component behavior, a discrete-time semantic is de&64257;ned. To describe violating situations, two kinds of restrictions are de&64257;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 con&64258;ict between the requirements of the application domain and the overall behavior of a component exists.
Links:
@MastersThesis{Seibel2007a,
AUTHOR = {Seibel, Andreas},
TITLE = {{Behavioral Synthesis of Potential Component Real-Time Behavior}},
YEAR = {2007},
MONTH = {July},
PAGES = {154},
INSTITUTION = {University of Paderborn},
URL = {http://wwwcs.uni-paderborn.de/cs/ag-schaefer-static/Veroeffentlichungen/Quellen/Diplom/2007/Seibel_thesis.pdf},
PDF = {uploads/pdf/seibel_thesis.pdf},
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 specified 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 specified as real-time behavior and fur-
ther describes a certain communication protocol. The overall behavior of a component
is defined 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 defined to specify real-time behavior which has similarities to the common timed automaton. Further, a proper notion of concurrency is defined on this model. To reason about the overall component behavior, a discrete-time semantic is defined. To describe violating situations, two kinds of restrictions are defined: 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 conflict between the requirements of the application domain and the overall behavior of a component exists. }
}
Copyright notice: This material is presented to ensure timely dissemination of
scholarly and technical work. Copyright and all rights therein are retained by
authors or by other copyright holders. All persons copying this information are
expected to adhere to the terms and constraints invoked by each author's copyright.
In most cases, these works may not be reposted without the explicit permission of
the copyright holder.
Powered by
bibtexbrowser