An automated system repair framework with signal temporal logic

Date

2021-01-01

Author

Ergurtuna, Mert
Yalcinkaya, Beyazit
Aydın Göl, Ebru

Metadata

Show full item record

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Item Usage Stats

128
views

0
downloads

We present an automated system repair framework for cyber-physical systems. The proposed framework consists of three main steps: (1) system simulation and fault detection to generate a labeled dataset, (2) identification of the repairable temporal properties leading to the faulty behavior and (3) repairing the system to avoid the occurrence of the cause identified in the second step. We express the cause as a past time signal temporal logic (ptSTL) formula and present an efficient monotonicity-based method to synthesize a ptSTL formula from a labeled dataset. Then, in the third step, we modify the faulty system by removing all behaviors that satisfy the ptSTL formula representing the cause of the fault. We apply the framework to two rich modeling formalisms: discrete-time dynamical systems and timed automata. For both of them, we define repairable formulae, the corresponding repair procedures, and illustrate them over case studies.

URI

https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85108088478&origin=inward
https://hdl.handle.net/11511/91214

Journal

Acta Informatica

DOI

https://doi.org/10.1007/s00236-021-00403-z

Collections

Department of Computer Engineering, Article

Suggestions

OpenMETU
Core

A generalized expert system for database design Doğaç, Asuman; Yürüten, Betigül; Spaccapietra, Stefano (Institute of Electrical and Electronics Engineers (IEEE), 1989-4) Generalized Expert System for Database Design (GESDD) is a compound expert system made up of two parts: (1) an expert system for generating methodologies for database design, called ESGM; and (2) an expert system for database design, called ESDD. ESGM provides a tool for the database design expert to specify different design methodologies or to modify existing ones. The database designer uses ESDD in conjunction with one of these methodologies to design a database starting from the requirement specification...
An automated tool for information security management system Erkan, Ahmet; Arifoğlu, Ali; Department of Information Systems (2006) This thesis focuses on automation of processes of Information Security Management System. In accordance with two International Standards, ISO/IEC 27001:2005 and ISO/IEC 17799:2005, to automate the activities required for a documented ISMS as much as possible helps organizations. Some of the well known tools in this scope are analyzed and a comparative study on them including “InfoSec Toolkit”, which is developed for this purpose in the thesis scope, is given. “InfoSec Toolkit” is based on ISO/IEC 27001:2005...
An approach for eliciting functional requirements of the software intensive systems based on business process modeling Yıldız, Okan; Güçlü, Nusret; Demirös, Onur; Department of Information Systems (2002) In this thesis, eliciting system functional requirements based on business requirements during software intensive systems acquisition or development process is investigated and an approach is proposed for this purpose. Concepts and current problems within the framework of business requirements are investigated with a general literature review of requirements engineering and technology acquisition. Determination of requirements of IT system to be acquired according to the business objectives and base lining ...
A Reflexion Model based Architecture Conformance Analysis Toolkit for OSGi-compliant Applications Cilden, Evren; Oğuztüzün, Mehmet Halit S. (2017-04-07) Component-based software platforms like OSGi facilitate the development of complex software. As software systems become more complicated, tool support is often a necessity for assuring the conformance between designed and implemented architectures. We present ARTOS, an architecture toolkit to facilitate the design and conformance analysis of the software running on the OSGi platform. The toolkit consists of an architecture editor and a conformance analyzer. The editor provides definition constructs specific...
A LOCAL EXTREMA BASED METHOD ON 2D BRIGHTNESS TEMPERATURE MAPS FOR DETECTION OF ARCHAEOLOGICAL ARTIFACTS SOYDAN, HİLAL; DÜZGÜN, HAFİZE ŞEBNEM; Alatan, Abdullah Aydın (2016-07-15) Archaeological studies using computer vision based analysis methods on thermal imageries mainly lack an important stage of pointwise detection of artifact positions, which is needed for the automation of the system in a generic application. In this paper, we propose a pointwise detection method working in the thermal range of hyperspectral band for archaeological artifacts. The proposed method first optimally converts a given 3D hyperspectral image of the searched scene into a 2D brightness-temperature map ...

Citation Formats

M. Ergurtuna, B. Yalcinkaya, and E. Aydın Göl, “An automated system repair framework with signal temporal logic,” Acta Informatica, pp. 0–0, 2021, Accessed: 00, 2021. [Online]. Available: https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85108088478&origin=inward.