Trustworthy Cyber-Physical Systems
Our research aims to improve today's standards and methodology for the development of safety-critical systems. Of particular interest are security aspects linked to integrated development environments, "useful" formalized requirements descriptions that can be linked to architecture descriptions, and cost-effective verification of safety-critical systems.
Mechatronic products such as robots, vehicles and medical devices are constantly provided with new functions, driven by legal requirements, needs for increased performance, increased safety, etc. Mechatronic products such as robots, vehicles and medical devices are also safety critical; the introduction of new features, especially more and more software-based functions, is thus not without problems; new functions and new technologies also entail new risks. Software and networked embedded systems increase the complexity of the systems and bring potential new sources of error as well as errors and dangers. The increased complexity of the development environments also potentially provides new sources of error.TECoSA Center for Trustworthy Edge Computing Systems and Applications