| Abstract: |
Today, the functionality and economical value of industrial systems and products, such as cars, airplanes, and medical equipment, is defined and realized by embedded software. Dynamic software updates are critical for new features, product customization and security patches, but presently are not well supported for safety-critical systems. MIMOS is a tool environment providing a new design paradigm and software tools for building embedded software which can be updated on demand dynamically, safely, and securely over their operational life-time. The talk will be concluded with a tool demo. |
