Division for Software and Systems (SaS)

Research Labs

The research activities take place in 3 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 and modeling languages and environments, including compilers, debuggers, testing tools. Programming frameworks and optimization techniques for parallel, distributed and heterogeneous systems.
• Real Time Systems (RTSLAB)
  System dependability and cybersecurity. Tools, methods and architectures for the design of software intensive real-time systems.

Page responsible: Webmaster
Last updated: 2025-05-02