Division for Software and Systems (SaS)

Research Labs

The research activities take place in 4 laboratories:

• Embedded Systems (ESLAB)
  codesign and design for testability of embedded HW/SW systems and formal methods for embedded systems
• Programming Environments (PELAB)
  software engineering tools and architectures, programming languages and environments, including compilers, debuggers, testing tools, parallel and real-time programming tools
• Real Time Systems (RTSLAB)
  tools, methods and architectures for the design of software intensive real-time systems
• Theoretical Computer Science (TCSLAB)
  formal methods, logic and constraint programming, constraint satisfaction problems, analysis of algorithms and computational complexity