Logiciel - Archive ouverte HAL Accéder directement au contenu
Brevet Année : 2009

Logiciel

Résumé

HORUS est un outil de vérification semi-formelle de systèmes embarqués matériels et logiciels en cours de conception et/ou de fonctionnement, basé sur des propriétés logiques et temporelles exprimées dans des langages standards (PSL, SVA) : d'une part au niveau transfert de registres, comportemental ou structurel, d'autre part au niveau transactionnel (TLM) SystemC.
Fichier non déposé

Dates et versions

hal-00578146 , version 1 (18-03-2011)

Identifiants

  • HAL Id : hal-00578146 , version 1

Citer

D. Borrione, L. Ferro, Laurent Fesquet, Katell Morin-Allory, Y. Oddos, et al.. Logiciel. France, Patent n° : FR.001.220016.000.S.P.2009.000.31500. 2009. ⟨hal-00578146⟩

Collections

UGA CNRS TIMA
44 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More