HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [51 references]  Display  Hide  Download

Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Tuesday, August 12, 2014 - 3:34:15 PM
Last modification on : Thursday, March 5, 2020 - 5:40:50 PM
Long-term archiving on: : Wednesday, November 26, 2014 - 11:05:53 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Reinhard Wilhelm, Matteo Maffei. Ubiquitous Verification of Ubiquitous Systems. 8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.47-58, ⟨10.1007/978-3-642-16256-5_7⟩. ⟨hal-01055377⟩



Record views


Files downloads