Runtime Monitoring Based on Interface Specifications

Kurtev, Ivan; Hooman, Jozef; Schuts, Mathijs

doi:10.1007/978-3-319-68270-9_17

Cited by 6 publications

(3 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Timing Constraints Next to a state machine specification, a ComMA interface also allows the specification of timing behavior as a set of timing constraints. In ComMA there are four types of timing constraints [25], but we will only consider three of them.…”

Section: Model-based Definition Of Interfaces In Commamentioning

confidence: 99%

See 1 more Smart Citation

Reverse engineering models of software interfaces

Bera¹,

Schuts

Hooman³

et al. 2021

COMSIS J

Self Cite

View full text Add to dashboard Cite

Cyber-physical systems consist of many hardware and software components. Over the lifetime of these systems their components are often replaced or updated. To avoid integration problems, formal specifications of component interface behavior are crucial. Such a formal specification captures not only the set of provided operations but also the order of using them and the constraints on their timing behavior. Usually the order of operations are expressed in terms of a state machine. For new components such a formal specification can be derived from requirements. However, for legacy components such interface descriptions are usually not available. So they have to be reverse engineered from existing event logs and source code. This costs a lot of time and does not scale very well. To improve the efficiency of this process, we present a passive learning technique for interface models inspired by process mining techniques. The approach is based on representing causal relations between events present in an event log and their timing information as a timed-causal graph. The graph is further processed and eventually transformed into a state machine and a set of timing constraints. Compared to other approaches in literature which focus on the general problem of inferring state-based behavior, we exploit patterns of client-server interactions in event logs.

show abstract

Section: Model-based Definition Of Interfaces In Commamentioning

confidence: 99%

“…1.6, we provide templates to generate three types of timing constraints. A brief description of these is given below (for detailed semantics, see [25]):…”

Section: Remarksmentioning

confidence: 99%

Reverse engineering models of software interfaces

Bera¹,

Schuts

Hooman³

et al. 2021

COMSIS J

Self Cite

View full text Add to dashboard Cite

show abstract

“…There are many formalisms to describe these specifications. In the ComMA framework (Kurtev et al, 2017), specifications are based on MTL (Koymans, 1990), the real-time extension of LTL. Hendriks et al (2016) uses MTL to check timed properties using ex-ecution traces.…”

Section: Related Workmentioning

confidence: 99%

Virtual Prototyping of Large-scale IoT Control Systems using Domain-specific Languages

Verriet¹,

Buit²,

Doornbos³

et al. 2019

Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development

View full text Add to dashboard Cite

IoT applications and other distributed control applications are characterized by the interaction of many hardware and software components. The inherent complexity of the distributed functionality introduces challenges on the detection and correction of issues related to functionality or performance, which are only possible to do after system prototypes or pilot installations have been built. Correcting these issues is typically very expensive, which could have been avoided by earlier detection. This paper makes four main contributions. (1) It presents a virtual prototyping approach to specify and analyze distributed control applications. The approach is based on a domain model, which can be configured for a specific application. It consists of eight domainspecific languages (DSLs), each describing one system aspect.(2) The DSLs provide each stakeholder in the application's lifecycle a natural and comprehensible way to describe his/her concerns in an unambiguous manner.(3) The paper shows how the DSLs are used to automatically detect common configuration errors and erroneous behavior. (4) The virtual prototyping approach is demonstrated using a lighting domain case study, in which the control system of an office floor is specified and analyzed.

show abstract

Runtime Verification of Compound Components with ComMA

Kurtev

Hooman²

2022

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Runtime Monitoring Based on Interface Specifications

Cited by 6 publications

References 11 publications

Reverse engineering models of software interfaces

Reverse engineering models of software interfaces

Virtual Prototyping of Large-scale IoT Control Systems using Domain-specific Languages

Runtime Verification of Compound Components with ComMA

Contact Info

Product

Resources

About