Run-time Monitoring of Distributed Applications

Logean, Xavier; Dietrich, Falk; Karamyan, Hayk; Koppenhöfer, Shawn

doi:10.1007/978-1-4471-1283-9_28

Cited by 11 publications

(10 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The properties specified with MOTEL are then constantly checked while the final service implementation is observed at run-time and, if a property is violated by the service, an error message is given to the user. A detailed description of MOTEL can be found in [15] and [16].…”

Section: Motivationmentioning

confidence: 99%

Modeling and testing object‐oriented distributed systems with linear‐time temporal logic

Dietrich

Logean

Hubaux

2001

Concurrency and Computation

View full text Add to dashboard Cite

SUMMARYWe present a framework for constructing formal models of object-oriented distributed systems and a property language to express behavioral constraints in such models. Most of the existing models have their origin in specific mathematical notations and/or concepts. In contrast, we have developed our model such that it accounts for a large set of phenomena associated with industrial implementations of object-oriented distributed systems. The model that we propose, while closer to industrial concerns and practice, still has the powerful features of formal approaches. It also offers the possibility to automatically check at service run-time that the final service implementation has not violated and is not violating properties expressed at the abstraction level of our model. In our model, which relies on event-based behavioral abstraction, we use linear-time temporal logic as the underlying formalism for the specification of properties. We introduce two novel operators which are especially useful for object-oriented systems and which provide a number of advantages over the well-known temporal logic operators. A recent decision of one of our industrial partners to adopt our proposal into one of their development platforms can be seen as a strong evidence of the relevance of our work and as a promising step towards a better understanding between the academic formal methods community and industry.

show abstract

Section: Motivationmentioning

confidence: 99%

Modeling and testing object‐oriented distributed systems with linear‐time temporal logic

Dietrich

Logean

Hubaux

2001

Concurrency and Computation

View full text Add to dashboard Cite

show abstract

“…Runtime monitoring [20,4] is a dynamic analysis approach based on extracting relevant information about the execution. Runtime monitoring may be employed to collect statistics about the service usage over time, and to detect and react to service behavior.…”

Section: Introductionmentioning

confidence: 99%

Formal Verification of Service Level Agreements Through Distributed Monitoring

Nobakht

Gouw

Boer

2015

Service Oriented and Cloud Computing

View full text Add to dashboard Cite

Abstract. In this paper, we introduce a formal model of the availability, budget compliance and sustainability of distributed services, where service sustainability is a new concept which arises as the composition of service availability and budget compliance. The model formalizes a distributed platform for monitoring the above service characteristics in terms of a parallel composition of task automata, where dynamically generated tasks model asynchronous events with deadlines. The main result of this paper is a formal model to optimize and reason about service characteristics through monitoring. In particular, we use schedulability analysis of the underlying timed automata to optimize and guarantee service sustainability.

show abstract

“…There is a considerable number of frameworks [55,27,85,17,82,66,47,64,11,12,86,60,38,71,94,10,81,26,8] that can be employed to implement runtime enforcement techniques. In this thesis, software that is augmented with runtime enforcement characteristics is termed as base software.…”

Section: Motivationsmentioning

confidence: 99%

“…MOTEL [60] facilitates the runtime monitoring of distributed software built on top a distributed object-oriented processing environment such as CORBA [22]. MOTEL provides a user interface through which users can select lists of objects and operations to be observed.…”

Section: Motelmentioning

confidence: 99%

See 1 more Smart Citation

Achieving naturalness in runtime enforcement

Abadi¹

View full text Add to dashboard Cite

Run-time Monitoring of Distributed Applications

Cited by 11 publications

References 4 publications

Modeling and testing object‐oriented distributed systems with linear‐time temporal logic

Modeling and testing object‐oriented distributed systems with linear‐time temporal logic

Formal Verification of Service Level Agreements Through Distributed Monitoring

Achieving naturalness in runtime enforcement

Contact Info

Product

Resources

About