On timed components and their abstraction

Salah, Ramzi Ben; Bozga, Marius; Maler, Oded

doi:10.1145/1292316.1292324

Cited by 7 publications

(3 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Thereby, the visible interactions and their causal order are identified from the choreography specification for each role. Following the approaches of Neumann et al [8] and Salah et al [155], the interface description abstracts from local interaction activities that are not visible or could be hidden to the outside of the collaboration. The interface description comprises: First, the causal order of interactions defined by the control flow of the choreography specification, e. g., the message x is send before message y.…”

Section: Collaboration Role Interfacesmentioning

confidence: 99%

Modeling Collaborations in Adaptive Systems of Systems

Wätzoldt

Giese

2015

Proceedings of the 2015 European Conference on Software Architecture Workshops

View full text Add to dashboard Cite

Recently, due to an increasing demand on functionality and flexibility, beforehand isolated systems have become interconnected to gain powerful adaptive System of Systems (SoS) solutions with an overall robust, flexible and emergent behavior. The adaptive SoS comprises a variety of different system types ranging from small embedded to adaptive cyber-physical systems. On the one hand, each system is independent, follows a local strategy and optimizes its behavior to reach its goals. On the other hand, systems must cooperate with each other to enrich the overall functionality to jointly perform on the SoS level reaching global goals, which cannot be satisfied by one system alone. Due to difficulties of local and global behavior optimizations conflicts may arise between systems that have to be solved by the adaptive SoS.This thesis proposes a modeling language that facilitates the description of an adaptive SoS by considering the adaptation capabilities in form of feedback loops as first class entities. Moreover, this thesis adopts the Models@runtime approach to integrate the available knowledge in the systems as runtime models into the modeled adaptation logic. Furthermore, the modeling language focuses on the description of system interactions within the adaptive SoS to reason about individual system functionality and how it emerges via collaborations to an overall joint SoS behavior. Therefore, the modeling language approach enables the specification of local adaptive system behavior, the integration of knowledge in form of runtime models and the joint interactions via collaboration to place the available adaptive behavior in an overall layered, adaptive SoS architecture.Beside the modeling language, this thesis proposes analysis rules to investigate the modeled adaptive SoS, which enables the detection of architectural patterns as well as design flaws and pinpoints to possible system threats. Moreover, a simulation framework is presented, which allows the direct execution of the modeled SoS architecture. Therefore, the analysis rules and the simulation framework can be used to verify the interplay between systems as well as the modeled adaptation effects within the SoS. This thesis realizes the proposed concepts of the modeling language by mapping them to a state of the art standard from the automotive domain and thus, showing their applicability to actual systems. Finally, the modeling language approach is evaluated by remodeling up to date research scenarios from different domains, which demonstrates that the modeling language concepts are powerful enough to cope with a broad range of existing research problems.-I - Zusammenfassung

show abstract

Section: Collaboration Role Interfacesmentioning

confidence: 99%

Modeling Collaborations in Adaptive Systems of Systems

Wätzoldt

Giese

2015

Proceedings of the 2015 European Conference on Software Architecture Workshops

View full text Add to dashboard Cite

show abstract

“…Stevens, R.B. Salah and M. Bogza [19][20][21]. Please bear in mind that the method presented is not confined only to acyclic combinational circuits, as proven by M. Riedel [22].…”

Section: Introductionmentioning

confidence: 99%

Novel Logic Circuits Dynamic Parameters Analysis

Galupa¹

2016

Computer Science &Amp; Information Technology ( CS &Amp; IT )

View full text Add to dashboard Cite

Combinational logic circuit timing analysis is an important issue that all designers need to address. The present paper presents a simple and compact analysis procedure. We follow the guidelines drawn by previous methods, but we shall define new time-dependent logic variables that help us improve their efficiency. By using the methodology suggested, we shall replace a very laborious technique (pure delay circuit + time constants method) with a simpler procedure that can pinpoint the specific conditions for a logic circuit's anomalous behaviour within a few simple steps. Considering the logic function implemented the methodology presented will require analysis of only a limited number of situations/combinations to determine the presence of an anomalous behaviour. When anomalous behaviour is identified, the methodology provides a clear timing description.

show abstract

“…To do that we need to restrict the number of components in M to the capabilities of existing verification tools (5-20 components) and treat larger systems in a divide-and-conquer fashion by decomposing them into smaller chunks, applying the abstraction technique and composing the resulting abstract models. Before diving into the formal details of the chain of transformations leading from M to M let us illustrate informally the nature of the abstraction via an example (see also [8]). …”

Section: Introductionmentioning

confidence: 99%

Compositional timing analysis

Salah

Bozga

Maler

2009

Proceedings of the Seventh ACM International Conference on Embedded Software

Self Cite

View full text Add to dashboard Cite

We develop and implement a methodology for automatic abstraction of systems defined as networks of timed components modeled by timed automata. The abstraction technique yields an abstract model with much less clocks and states which overapproximate the timed behavior of the concrete system. Using this technique we can analyze timed system of size beyond the capabilities of contemporary analysis tools for timed automata.

show abstract

On timed components and their abstraction

Cited by 7 publications

References 12 publications

Modeling Collaborations in Adaptive Systems of Systems

Modeling Collaborations in Adaptive Systems of Systems

Novel Logic Circuits Dynamic Parameters Analysis

Compositional timing analysis

Contact Info

Product

Resources

About