Browsing Institutt for datateknologi, elektroteknologi og realfag by Journals "Journal of Systems and Software"

Now showing items 1-3 of 3

    • Adaptive distributed monitors of spatial properties for cyber–physical systems 

      Audrito, Giorgio; Casadei, Roberto; Damiani, Ferruccio; Stolz, Volker; Viroli, Mirko (Peer reviewed; Journal article, 2021)
      Cyber–physical systems increasingly feature highly-distributed and mobile deployments of devices spread over large physical environments: in these contexts, it is generally very difficult to engineer trustworthy critical ...

    • Architecture evaluation in continuous development 

      Ågren, S. Magnus; Knauss, Eric; Heldal, Rogardt; Pelliccione, Patrizio; Alminger, Anders; Antonsson, Magnus; Karlkvist, Thomas; Lindeborg, Anders (Peer reviewed; Journal article, 2022)
      Context In automotive, stage-gate processes have previously been the norm, with architecture created mainly during an early phase and then used to guide subsequent development phases. Current iterative and Agile development ...

    • Distributed runtime verification by past-CTL and the field calculus 

      Audrito, Giorgio; Damiani, Ferruccio; Stolz, Volker; Torta, Gianluca; Viroli, Mirko (Peer reviewed; Journal article, 2022)
      Recent trends in the engineering of software-intensive systems increasingly promote the adoption of computation at the edge of the network, in the proximity of where sensing and actuation are performed. Applications are ...