Show/Hide Menu
Hide/Show Apps
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Open Science Policy
Open Science Policy
Open Access Guideline
Open Access Guideline
Postgraduate Thesis Guideline
Postgraduate Thesis Guideline
Communities & Collections
Communities & Collections
Help
Help
Frequently Asked Questions
Frequently Asked Questions
Guides
Guides
Thesis submission
Thesis submission
MS without thesis term project submission
MS without thesis term project submission
Publication submission with DOI
Publication submission with DOI
Publication submission
Publication submission
Supporting Information
Supporting Information
General Information
General Information
Copyright, Embargo and License
Copyright, Embargo and License
Contact us
Contact us
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
131
views
0
downloads
Cite This
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
IEEE
ACM
APA
CHICAGO
MLA
BibTeX
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.