Slicing UML-based Models of Real-time Embedded Systems

Ahmadi, Reza; Posse, Ernesto; Dingel, Juergen

doi:10.1145/3239372.3239407

Cited by 6 publications

(4 citation statements)

References 33 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It is worth noting that we understand views in our current work as slices of the system. In this sense, our work is comparable to previous ones [1,10,34,45,50]. However, a notable difference with these approaches is that our interest is not slices generation, slices update, nor generation of slices that are syntactically valid with respect to the original metamodels.…”

Section: Related Workmentioning

confidence: 50%

“…Let us build such a multi-transition with our example. If we take Q = ( 0 , 3 , 4 ) and = {( , ), ( , )}, then we can build a transition with = ( , ) in order to fulfill condition (1). We then have a transition fulfilling 2…”

Section: Multi-transitionsmentioning

confidence: 99%

“…To cope with this constraint, we follow the agnostic principle advocated for by Le Guernic [37] and introduce a new abstract semantic domain 1 to formally express modeling requirements in an agnostic way. Some parts of this semantic domain definition bears resemblance to IO automata [33,39].…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

A language agnostic approach to modeling requirements

Alidra

Beugnard

Godfroy

et al. 2020

Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedi

View full text Add to dashboard Cite

Modeling is a complex and error prone activity which can result in ambiguous models containing omissions and inconsistencies. Many works have addressed the problem of checking models' consistency. However, most of these works express consistency requirements for a specific modeling language. On the contrary, we argue that in some contexts those requirements should be expressed independently from the modeling language of the models to be checked. We identify a set of modeling requirements in the context of embedded systems design that are expressed independently from any modeling language concrete syntax. We propose a dedicated semantic domain to support them and give a formal characterization of those requirements that is modeling language agnostic. CCS CONCEPTS • Software and its engineering → Model-driven software engineering; System modeling languages; • Computing methodologies → Model verification and validation.

show abstract

Section: Related Workmentioning

confidence: 50%

Section: Multi-transitionsmentioning

confidence: 99%

See 1 more Smart Citation

A language agnostic approach to modeling requirements

Alidra

Beugnard

Godfroy

et al. 2020

Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedi

View full text Add to dashboard Cite

show abstract

“…-SafeSlice: Operates on SysML, and its primary goal is requirement traceability rather than reachability analysis (Briand et al 2014). -Ahmadi et al's Slicer: Operates on UML-RT, and its primary goal is preservation of the structural and behavioral aspects of a reduced model (e.g., Weiser's original goal) (Ahmadi et al 2018). -Kompren: Operates on any metamodel and conformant model to automatically generate a slicer for the model (Blouin et al 2015).…”

Section: Model Slicingmentioning

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