4/2014Machines in Dialog
Cyber-physical systems are in strong demand for their ability to increase road traffic safety and optimize electricity consumption from renewable sources. They link vehicles to sensors that monitor traffic and order the car to brake if a dangerous situation arises, for example. Or they distribute electricity from multiple power plants to consumers as efficiently as possible. Rupak Majumdar, Director at the Max Planck Institute for Software Systems in Kaiserslautern, develops mathematical methods for ensuring the reliability of these networked systems.
Heft 2014The Data Cloak
Data is the raw material of the modern information society. All too often, however, companies that require comprehensive data analyses risk breaching data protection guidelines. Paul Francis, Director at the Max Planck Institute for Software Systems in Kaiserslautern, seeks to strike a balance between these conflicting interests. His company, Aircloak, plays an important role in this endeavor.
Heft 2014On Time – For Sure
When a computer takes forever to load a website, it may be annoying, but it is nothing more serious than that. If, however, the electronics in a car or a plane don’t process commands exactly when they are supposed to, the consequences can be fatal. Björn Brandenburg and his team at the Max Planck Institute for Software Systems in Kaiserslautern and Saarbrücken study how to construct real-time systems in such a way that it can be proven that they always react on time.