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
  • 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
  • Ferdinand – Model-Driven Evaluation of Design Decision Impacts in Software Engineering
  • Q-ImPrESS (FP7 STREP) – Quality Impact Prediction for Evolving Service-oriented Software
  • ARCAS – Automated Resolution of Connector Architectures using constraint-Solving techniques

Software and Tools

  • DEECo – Component model for Dependable Emergent Ensembles of Components
  • 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
  • IRM – Invariant Refinement Method
  • Requirements processing methods – Requirements processing methods and tools
  • 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
  • ReProTool – Requirements Processing Tool
  • proNXT – Environment for prototyping NXT-based embedded systems

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
  • ASCENS (FP7 FET IP) – Autonomic Service-Component Ensembles
  • 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

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
  • JPF-static – Practical Verification Using Static Analysis and Java Pathfinder
  • Panda – Predicate Abstraction in Dynamic Analysis
  • Web verification for PHP – Static analysis framework for security analyses of PHP applications

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
  • RCU – Research related to the Read-Copy-Update synchronization scheme

Performance Evaluation

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

Research Topics

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
  • ASCENS (FP7 FET IP) – Autonomic Service-Component Ensembles
  • 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

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

News

Next D3S Seminar

Open Position

Tenure-Track Assistant Professorship in Formal Methods

More details

Study Computer Science

Study Computer Science

Ph.D. Studies

Are you interested in

  • Component systems?
  • Software verification?
  • Software benchmarking?
  • Operating systems?

Consider Ph.D. studies at D3S!

Modified on 2012-04-13