Conference Paper To Appear

Characterizing and Injecting Faults in Executable Models Specified with fUML

Authors Guilherme Wilson dos Santos Lopes Leonardo Montecchi
Abstract
Fault Injection (FI) is a well-known system verification technique, in which faults are artificially introduced into a system, to assess its behavior in exceptional conditions. FI can be applied at different levels, including physical, hardware and software. FI has also been applied at model level, although the amount of work in this direction is limited. However, the importance of models in the development of complex systems is growing, pushing towards model-level verification and simulations. The Foundational UML (fUML) is a specific subset of UML, released as an OMG standard, that has a precise execution semantics and can therefore be executed. In this paper we investigate the application of FI to executable models specified with fUML. We first characterize the kind of fault that may be applied to fUML models, and then we realize an injection mechanisms based on automated model transformation. We apply the methodology to a simple example in the space domain, adapted from a real satellite system. We believe this is an important first step for the adoption of FI techniques on fUML models, for an early detection of design flaws. We conclude discussing some challenges and directions for future work.
Event 10th Latin-American Symposium on Dependable Computing (LADC 2021)
Venue Florianopolis, Brazil
Date November 22-26, 2021 (To appear)
Publisher IEEE
Citation
Bibtex
@inproceedings{2021LADC,
  author = {dos Santos Lopes, Guilherme Wilson and Montecchi, Leonardo},
  title = {{Characterizing and Injecting Faults in Executable Models Specified with fUML}},
  booktitle = {10th Latin-American Symposium on Dependable Computing (LADC 2021)},
  address = {Florianopolis, Brazil},
  date = {2021-11-22/2021-11-26},
  note = {\emph{To appear}},
  year = {2021}
}

Plain Text
G. Lopes, L. Montecchi. Characterizing and Injecting Faults in Executable Models Specified with fUML. In: 10th Latin-American Symposium on Dependable Computing (LADC 2021). Florianopolis, Brazil, November 22-26, 2021.
 
 

© 2017-2021 Leonardo Montecchi