The OSATE Slicer: Graph-Based Reachability for Architectural Models

By: Sam Procter


Model-based specification of embedded, critical systems (i.e., systems whose failure is deemed unacceptable) is increasingly becoming the standard of practice. However, analysis of these models can prove challenging when the models grow in size and complexity, which is common as more types and volume of data are loaded into them. One well-studied technique for grappling with complexity in models is slicing, where slices of models are highlighted according to some criterion. In this work, we describe a new software tool: the OSATE Slicer, which extends the concept of slicing to architectural models of embedded, critical systems. It does this by calculating of various notions of reachability which can be used to support both manual and automated analyses of system models. We then evaluate the utility of our approach based on several existing analyses and its performance based on a pre-existing corpus of architectural models and find both to be satisfactory.


Architecture Analysis and Design Language, Model Based Engineering, Slicing, Reachability, Model Analysis, Safety, Security.

Cite as:

Sam Procter, “The OSATE Slicer: Graph-Based Reachability for Architectural Models”, Journal of Object Technology, Volume 22, no. 2 (July 2023), pp. 2:1-14, doi:10.5381/jot.2023.22.2.a3.

PDF | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn

The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact