Project laboratory

Topics of project laboratory:

• Formal methods and e-business
  • MathML and metamodelling
  • Static program testing
  • Fault modelling in e-business infrastructures
  • Modelling of project management processes (CostXPert from IBM alphaWorks, COCOMO II)
  • Transformation from dataflow networks to Petri nets
  • Graph pattern matching for a model transformation system (GRAPH package from IBM alphaWorks)
  • Transformation from UML statecharts to Petri nets
• Distributed systems and OO software
  • TCP/IP communication in a time triggered architecture
  • Model checking of distributed Java applications
  • Modelling of software reliability
  • Software testing based on UML system model
  • Performance analysis
  • Data mining technologies (IBM Intelligent Miner)
  • Real-time operating systems
• System design
  • Application level fault tolerance
  • Load balancing
  • UML modelling of a railway control software
  • Component based fault tolerance
  • Analysis of component based middleware solutions
• Networks and Linux
  • System management with UniCenter TNG
  • Design of a personal access control system
  • UniCenter system management
  • Scalable HA Linux cluster (IBM CSM)
  • Convolo Linux cluster
  • Linux in embedded systems