An Architecture-Centric Process For Mils Development

Delange, Julien; Nam, Min-Young; Feiler, Peter H.; Klieber, Will

doi:10.5281/zenodo.47976

Cited by 1 publication

(1 citation statement)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The second security analysis where we expect the OSATE Slicer to prove helpful is in the generation of attack trees. Existing tooling for calculating attack trees (Delange et al 2016) has proven difficult to maintain and less robust than desired; this stems in part from the difficulty of calculating reachability directly on the AADL instance model. This corresponds directly to our goal of simplifying model traversal (see Section 1.1.2).…”

Section: Securitymentioning

confidence: 99%

The OSATE Slicer: Graph-Based Reachability for Architectural Models.

Procter¹

2023

JOT

View full text Add to dashboard Cite

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.

show abstract

Section: Securitymentioning

confidence: 99%

The OSATE Slicer: Graph-Based Reachability for Architectural Models.

Procter¹

2023

JOT

View full text Add to dashboard Cite

show abstract

An Architecture-Centric Process For Mils Development

Cited by 1 publication

References 10 publications

The OSATE Slicer: Graph-Based Reachability for Architectural Models.

The OSATE Slicer: Graph-Based Reachability for Architectural Models.

Contact Info

Product

Resources

About