Ubiquitous Verification of Ubiquitous Systems

13 years 4 months ago
Ubiquitous Verification of Ubiquitous Systems
Abstract. Ubiquitous embedded computing systems expected to reliably perform one or more relevant tasks need design and verification methods currently not available. New envisioned applications and trends in system design increase this need. Several of these trends, e.g. function integration, concurrency, energy awareness, networking and their consequences for verification are considered in this article. It is described that, already in the past, verification was made possible only due to rules restricting the design and it is argued that even more so in the future the constructive influence on the design of hardware and software will be a necessary condition to keep the verification task tractable.
Reinhard Wilhelm, Matteo Maffei
Added 15 Feb 2011
Updated 15 Feb 2011
Type Journal
Year 2010
Where SEUS
Authors Reinhard Wilhelm, Matteo Maffei
Comments (0)