Abstract
AbstractA reference architecture is a key architectural asset for the systems engineer, that intends both to simplify its work and to guarantee the exhaustiveness of the coverage of its system analyses. This paper proposes formal definitions for a reference architecture, based on the theory of abstract interpretation that formalizes the notion of abstraction, which covers respectively large and small‐scale families of systems. These definitions are illustrated by automotive, building, and mining case studies.
Full Text
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call