Quantitative Aspects of Embedded Systems: Executive Summary Dagstuhl Seminar 07101

Quantitative Aspects of Embedded Systems

计算机科学;物理学

Boudewijn Haverkort ; Joost-Pieter Katoen ; Lothar Thiele

Others  :  http://drops.dagstuhl.de/opus/volltexte/2007/1137/pdf/07101.SWM.ExtAbstract.1137.pdf
PID  :  10533

学科分类：计算机科学（综合）

来源: CEUR

【 摘 要 】

Embedded software controls the core functionality of many systems: it controls telephone switches and satellites, drives the climate control in our oces and cars, runs pacemakers, is at the heart of our power plants, and makes our cars and TVs work properly. As such systems are massively encroaching on daily life, our reliance on embedded software is growing rapidly.But, how justiable is this reliance? [First Paragraph]