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 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
Page responsible: Webmaster
Last updated: 2021-08-30