Projects

Components and Services

Formal Methods

Middleware

Operating Systems

Performance Evaluation

Components and Services

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
Ferdinand
Research Framework
 Model-Driven Evaluation of Design Decision Impacts in Software Engineering
Q-ImPrESS (FP7 STREP)
Research Framework
 Quality Impact Prediction for Evolving Service-oriented Software
ASCENS (FP7 FET IP)
Research Framework
 Autonomic Service-Component Ensembles
RELATE (FP7 ITN)
Research Framework
 Trans-European Research Training Network on Engineering and Provisioning of Service Based Cloud Applications
ARCAS
Research Framework
 Automated Resolution of Connector Architectures using constraint-Solving techniques
proNXT Environment for prototyping NXT-based embedded systems
DEECo Component model for Dependable Emergent Ensembles of Components

Past projects

Enhanced EJB
Research Framework
 A proposal for enhancing the EJB component architecture model
CREF
Research Framework
 Component Reliability Extension for Fractal Component Model
OSIRIS (ITEA2)
Research Framework
 An open source platform and infrastructure for run-time integration of services
OSMOSE (ITEA2)
Research Framework
 Open Source Middleware for Open Systems in Europe
CoCoME
Research Framework
 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
SOFA/DCUP Hierarchical component model supporting advanced features like software connectors, annotation-based development, seamless distribution, etc.
P2 Component middleware using autonomic computing principles in a peer-to-peer environment

Formal Methods

JAbstractor Extracting TBP specification from the Java implementation of a primitive component
BeJC Behavior Java Checker
Q-ImPrESS (FP7 STREP)
Research Framework
 Quality Impact Prediction for Evolving Service-oriented Software
ASCENS (FP7 FET IP)
Research Framework
 Autonomic Service-Component Ensembles
Gimple Model Checker Model checker of the Gimple intermediate code produced by the gcc compiler

Past projects

CREF
Research Framework
 Component Reliability Extension for Fractal Component Model
CoCoME
Research Framework
 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
Research Framework
 Extending the Fractal component model and its Julia implementation with support for behavior protocols
Behavior protocols in SOFA
Research Framework
 Specification of component behavior in a process-algebra like manner
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
Procasor Deriving behavior specifications from textual use cases
ReProTool Requirements Processing Tool

Middleware

Ferdinand
Research Framework
 Model-Driven Evaluation of Design Decision Impacts in Software Engineering

Past projects

Bourgogne Transactions
Research Framework
 Long-lived transactional computations and cooperation among transactions
PEPiTA
Research Framework
 Platform for Enhanced Provisioning of Terminal independent Applications
TOCOOS Copernicus Project
Research Framework
 Tools for the Composition of Open Object-Oriented Distributed Systems
UTMA Unified Translation Memory Access

Operating Systems

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

Past projects

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

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
JPMF Measurement Framework Framework for collecting performance measurements
Ferdinand
Research Framework
 Model-Driven Evaluation of Design Decision Impacts in Software Engineering
Q-ImPrESS (FP7 STREP)
Research Framework
 Quality Impact Prediction for Evolving Service-oriented Software
ASCENS (FP7 FET IP)
Research Framework
 Autonomic Service-Component Ensembles

Past projects

CORBA Comparison
Research Framework
 Benchmarking and performance evaluation of several enterprise CORBA implementations
EJB Comparison
Research Framework
 Benchmarking and performance evaluation of several EJB implementations
CoCoME
Research Framework
 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
IDLtester Testing of IDL compilers
IIOPtester Testing of IIOP engines
Sampler Simplified Benchmark suites for CORBA
Xampler Comprehensive Benchmark suites for CORBA
SkladR Generic repository for storing and plotting measurements
MONO Regression Benchmarking
Research Framework
 Detection of performance regressions in daily development versions of MONO
vmtune Tuning Virtual Memory for Performance
Modified on 2010-10-05