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.
Type de document :
Communication dans un congrès
Sang Lyul Min; Robert Pettit; Peter Puschner; Theo Ungerer. 8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. Springer, Lecture Notes in Computer Science, LNCS-6399, pp.47-58, 2010, Software Technologies for Embedded and Ubiquitous Systems. 〈10.1007/978-3-642-16256-5_7〉
Liste complète des métadonnées

Littérature citée [51 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01055377
Contributeur : Hal Ifip <>
Soumis le : mardi 12 août 2014 - 15:34:15
Dernière modification le : vendredi 1 décembre 2017 - 01:09:49
Document(s) archivé(s) le : mercredi 26 novembre 2014 - 23:05:53

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Reinhard Wilhelm, Matteo Maffei. Ubiquitous Verification of Ubiquitous Systems. Sang Lyul Min; Robert Pettit; Peter Puschner; Theo Ungerer. 8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. Springer, Lecture Notes in Computer Science, LNCS-6399, pp.47-58, 2010, Software Technologies for Embedded and Ubiquitous Systems. 〈10.1007/978-3-642-16256-5_7〉. 〈hal-01055377〉

Partager

Métriques

Consultations de la notice

254

Téléchargements de fichiers

130