@Article{DBLP:journals/cera/LettnerHNAGME15,
  author    = {Daniela Lettner and Peter Hehenberger and Alexander N{\"{o}}hrer and Klaus Anzengruber and Paul Grünbacher and Michael Mayrhofer and Alexander Egyed},
  title     = {Variability and consistency in mechatronic design},
  journal   = {Concurrent Engineering: R{\&}A},
  year      = {2015},
  volume    = {23},
  number    = {3},
  pages     = {213--225},
  abstract  = {Complex software-intensive systems are often described
as systems of systems (SoS) comprising heterogeneous
architectural elements. As SoS behavior fully emerges during
operation only, runtime monitoring is needed to detect deviations
from requirements. Today, diverse approaches exist to define
and check runtime behavior and performance characteristics.
However, existing approaches often focus on specific types of
systems and address certain kinds of checks, thus impeding
their use in industrial SoS. Furthermore, as many SoS need to
run continuously for long periods, the dynamic definition and
deployment of constraints needs to be supported. In this paper
we describe experiences of developing and applying a DSL-based
approach for monitoring an SoS in the domain of industrial
automation software. We evaluate both the expressiveness of our
DSL as well as the scalability of the constraint checker. We also
describe lessons learned.},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl    = {https://dblp.org/rec/bib/journals/cera/LettnerHNAGME15},
  doi       = {10.1177/1063293X15585008},
  file      = {:Journals\\JCERA 2015 - Variability and Consistency in Mechatronic Design\\Variability and consistency in mechatronic design-preprint.pdf:PDF},
  keywords  = {ACCM},
  timestamp = {Sun, 28 May 2017 13:21:57 +0200},
  url       = {https://doi.org/10.1177/1063293X15585008},
}