Research report 2014 - Max Planck Institute for Software Systems, Kaiserslautern site

Towards a “structural analysis” for the computer age

Brandenburg, Björn B.
Real-Time Systems Group
Computers permeate all modern technologies: they monitor, they control, they decide. If everything goes as planned, they keep cars on the road and unmanned aerial vehicles in the air. But what happens if something goes wrong? What if the ever-present computers, so called cyber-physical systems, are erroneous? To ensure that future technologies remain safe and trustworthy despite the pervasive use of embedded computers, researchers at the Max Planck Institute for Software Systems develop the foundations for provably correct cyber-physical systems.

For the full text, see the German version.

Go to Editor View