In this group, we are concerned with techniques and technologies for the design, development and analysis of computer architectures and computer systems. We are particularly – but not exclusively – interested in applications from the automotive and automation domain. Learn more...
Partners & Sponsors
None of our work would be possible without support from partners and sponsors.
Academic Partner of Esterel Technologies, a leading provider of critical systems and software development solutions for the Aerospace & Defense - DO-178C Qualified , Rail Transportation - EN 50128:2011 Certified, Nuclear & Energy - IEC 60880 Compliant, Industrial - IEC 61508 Certified and Automotive - ISO 26262 Certified domains. System and software engineers use ANSYS SCADE® solutions to graphically design, verify, and automatically generate critical systems and software applications with high dependability requirements.