Components and Services

Our primary focus in the domain of components and services is devoted to component-based software engineering methods of development applications and operating systems.

Research Frameworks

• Enhanced EJB – A proposal for enhancing the EJB component architecture model
• CREF – Component Reliability Extension for Fractal Component Model
• OSIRIS (ITEA2) – An open source platform and infrastructure for run-time integration of services
• OSMOSE (ITEA2) – Open Source Middleware for Open Systems in Europe
• CoCoME – Common Component Modeling Environment is evaluation and comparison of the practical appliance of existing component models using a common component-based system as modelling example
• Ferdinand – Model-Driven Evaluation of Design Decision Impacts in Software Engineering
• Q-ImPrESS (FP7 STREP) – Quality Impact Prediction for Evolving Service-oriented Software
• ASCENS (FP7 FET IP) – Autonomic Service-Component Ensembles
• RELATE (FP7 ITN) – Trans-European Research Training Network on Engineering and Provisioning of Service Based Cloud Applications
• ARCAS – Automated Resolution of Connector Architectures using constraint-Solving techniques

Software and Tools

• SOFA/DCUP – Hierarchical component model supporting advanced features like software connectors, annotation-based development, seamless distribution, etc.
• SOFA 2 – SOFA 2 is the current version of the hierarchical component model supporting advanced features like software connectors, annotation-based development, seamless distribution, etc. The current version is based on the previous project SOFA/DCUP.
• SOFA HI – SOFA HI (High Integrity) is a profile of the SOFA 2 project targeting embedded, safety and mission-critical domains
• jPapaBench – Java version of the PapaBench benchmark, which is based on the Paparazzi project
• P2 – Component middleware using autonomic computing principles in a peer-to-peer environment
• proNXT – Environment for prototyping NXT-based embedded systems
• DEECo – Component model for Dependable Emergent Ensembles of Components

Formal Methods

One of the main directions of our research is behavior specification of software components using the formalism of Behavior Protocols and their automated analysis. This includes analysis of correctness of communication among components, component substitutability, correspondence between component specification and its implementation and evolution and enhancing of the behavior specification formalisms.

Research Frameworks

• CREF – Component Reliability Extension for Fractal Component Model
• CoCoME – Common Component Modeling Environment is evaluation and comparison of the practical appliance of existing component models using a common component-based system as modelling example
• Behavior protocols in Fractal – Extending the Fractal component model and its Julia implementation with support for behavior protocols
• Behavior protocols in SOFA – Specification of component behavior in a process-algebra like manner
• Q-ImPrESS (FP7 STREP) – Quality Impact Prediction for Evolving Service-oriented Software
• ASCENS (FP7 FET IP) – Autonomic Service-Component Ensembles

Software and Tools

• BPEL checker – Checker of BPEL code against behavior protocols
• BLAST Extension – Behavior analysis extension of the BLAST model checker
• Carmen – Software component model checker for Fractal
• COMBAT – Component Behavior Analysis Toolset
• dChecker – Distributed checker of behavior protocols (with behavior protocol slicing extension BPSlicer)
• EnvGen – ENVironment GENerator for Java PathFinder
• JAbstractor – Extracting TBP specification from the Java implementation of a primitive component
• Procasor – Deriving behavior specifications from textual use cases
• ReProTool – Requirements Processing Tool
• BeJC – Behavior Java Checker
• Gimple Model Checker – Model checker of the Gimple intermediate code produced by the gcc compiler

Operating Systems

Our goals in the area of operating systems research are formal reasoning about correctness and safety properties of both embedded and general-purpose operating systems. To achieve this we make use of methods of formal description of operating system architecture and behavior, implementing parts of the operating system as fine-grained software components and also building on the state-of-the-art software engineering principles.

Software and Tools

• HelenOS – Research development operating system based on microkernel multiserver paradigm, built from fine-grained software components and with partial formal description of architecture and behavior
• MSIM – Light-weight MIPS R4000 computer simulator
• LFS – Log-structured file system for Linux
• zlomekFS – Networked file system
• vmtune – Tuning Virtual Memory for Performance
• OBJIX – A class hierarchy framework-based operating system

Performance Evaluation

Our performance evaluation research focuses on measuring and analyzing software performance.

Research Topics

• Models of performance impact of resource sharing
• Methods and tools for evaluating middleware performance
• Methods and tools for tracking software performance during development

Research Frameworks

• CORBA Comparison – Benchmarking and performance evaluation of several enterprise CORBA implementations
• EJB Comparison – Benchmarking and performance evaluation of several EJB implementations
• CoCoME – Common Component Modeling Environment is evaluation and comparison of the practical appliance of existing component models using a common component-based system as modelling example
• MONO Regression Benchmarking – Detection of performance regressions in daily development versions of MONO
• Ferdinand – Model-Driven Evaluation of Design Decision Impacts in Software Engineering
• Q-ImPrESS (FP7 STREP) – Quality Impact Prediction for Evolving Service-oriented Software
• ASCENS (FP7 FET IP) – Autonomic Service-Component Ensembles

Software and Tools

• BEEN framework – Automated execution of performance experiments
• RIB framework – Resource experiments with interleaved workloads
• RIP framework – Resource experiments with parallel workloads
• RPG framework – Prediction Validation using Randomly Generated Systems
• SPL framework – Stochastic Performance Evaluation framework
• IDLtester – Testing of IDL compilers
• IIOPtester – Testing of IIOP engines
• JPMF Measurement Framework – Framework for collecting performance measurements
• Sampler – Simplified Benchmark suites for CORBA
• Xampler – Comprehensive Benchmark suites for CORBA
• SkladR – Generic repository for storing and plotting measurements
• vmtune – Tuning Virtual Memory for Performance