Category Archives: Technical Report

J7 Deliverable – Variability Management in Domain-Specific Languages.

Posted in Publications, Technical Report | Comments Off on J7 Deliverable – Variability Management in Domain-Specific Languages.

Technical Information on Vulnerabilities of Hypercall Handlers

Abstract Modern virtualized service infrastructures expose attack vectors that enable attacks of high severity, such as attacks targeting hypervisors. A malicious user of a guest VM (virtual machine) may execute an attack against the underlying hypervisor via hypercalls, which are … Continue reading

Posted in Publications, Technical Report | Comments Off on Technical Information on Vulnerabilities of Hypercall Handlers

Software Engineering for Software-Intensive Cyber-Physical Systems

Abstract In software-intensive cyber-physical systems (siCPS) the interplay of software control with the physical environment has a prominent role. Nowadays, siCPS are expected to (i) effectively deal with the issues of distribution, scalability, and environment dynamicity, (ii) control their emergent … Continue reading

Posted in Publications, Technical Report | Comments Off on Software Engineering for Software-Intensive Cyber-Physical Systems

Adaptation in Cyber-Physical Systems: from System Goals to Architecture Configurations.

Abstract Design of self-adaptive, autonomic Cyber-Physical Systems (CPS) operating in a not fully determined environment is a significant challenge, especially if the design is to provide for a sufficient level of dependability. This stems partly from the fact that the … Continue reading

Posted in Publications, Technical Report | Comments Off on Adaptation in Cyber-Physical Systems: from System Goals to Architecture Configurations.

Inductive Triple Graphs: A purely functional approach to represent RDF

Abstract RDF is one of the cornerstones of the Semantic Web. It can be considered as a knowledge representation common language based on a graph model. In the functional programming community, inductive graphs have been proposed as a purely functional … Continue reading

Posted in Publications, Technical Report | Comments Off on Inductive Triple Graphs: A purely functional approach to represent RDF

On Benchmarking Intrusion Detection Systems in Virtualized Environments

Abstract In this work, the authors analyze state-of-the-art intrusion detection techniques applied in virtualized environments and architectures of VMM-based IDSes. Further, they identify challenges that apply specifically to benchmarking VMM-based IDSes focussing on workloads and metrics. For example, the challenge … Continue reading

Posted in Publications, Technical Report | Comments Off on On Benchmarking Intrusion Detection Systems in Virtualized Environments

Cloud Usage Patterns: A Formalism for Description of Cloud Usage Scenarios

Abstract Cloud computing is becoming an increasingly lucrative branch of the existing information and communication technologies (ICT). Enabling a debate about cloud usage scenarios can help with attracting new customers, sharing best-practices, and designing new cloud services. In contrast to … Continue reading

Posted in Technical Report | Comments Off on Cloud Usage Patterns: A Formalism for Description of Cloud Usage Scenarios

DEECo – an Ensemble-Based Component System

Abstract The recent increase in the ubiquity and connectivity of computing devices allows forming large-scale distributed systems that respond to and influence the activities in their environment. Engineering of such systems is very complex because of their inherent dynamicity, open-endedness, … Continue reading

Posted in Technical Report | Comments Off on DEECo – an Ensemble-Based Component System

DEECo computational model – I

Abstract This report provides the formalization of DEECo concepts and operational semantic of DEECo systems. Further, it establishes the refinement relation and shows the centralized tuple space semantics (as featured by local and Apache River-based knowledge providers in jDEECo). PDF

Posted in Technical Report | Comments Off on DEECo computational model – I

Survey on state of the art work on cloud application portability

Posted in Technical Report | Comments Off on Survey on state of the art work on cloud application portability