NDLI: Vérification de propriétés quantitatives des systèmes logiques par model-checking hybride

Please wait, while we are loading the content...

Vérification de propriétés quantitatives des systèmes logiques par model-checking hybride

Content Provider	Semantic Scholar
Author	Orozco, Zulema Juarez
Copyright Year	2008
Abstract	La verification formelle des controleurs logiques a donne lieu a de nombreux travaux scientifiques cette derniere decennie. Elle permet de demontrer (obtention d'un niveau requis de surete de fonctionnement (SdF) des systemes industriels, et tout particulierement des systemes critiques. Nos travaux portent sur la preuve des proprietes relatives a la qualite du service rendu par le systeme automatise, que nous nommons des proprietes quantitatives. Par exemple, au lieu de verifier que plusieurs produits ont effectivement ete doses avant d'enclencher un melange puis une reaction chimique, il peut etre important de prouver que la bonne quantite de ces produits a ete dosee. Autre exemple, au lieu de prouver qu'un mobile s'arrete dans une position donnee, il peut etre important de prouver que cet arret en position s'effectue avec une precision garantie. Ce sont de telles proprietes quantitatives que nous nous sommes attaches a etre capables de prouver pour les systemes a evenement discrets (SED), et plus exactement pour une sous classe des SED : les systemes logiques. Dans ce memoire nous explorons l'apport des automates hybrides pour la prise en compte simultanee du caractere discret du controleur et continu du processus. A cette fin, nous introduisons un formalisme d'automates hybrides a transitions typees et nous proposons une methodologie de modelisation basee sur des automates modulaires generiques. La verification est alors obtenue par le model checker PHAVer. Deux etudes de cas sont presentees en fin de memoire.
File Format	PDF HTM / HTML
Alternate Webpage(s)	https://tel.archives-ouvertes.fr/tel-00341969/document
Language	English
Access Restriction	Open
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in