FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W589355344> ?p ?o ?g. }

• W589355344 abstract "Cette these contribue a l’etude de la fiabilite et de la securite-innocuite des systemes informatises, modelises par des systemes a evenements discrets. Les principales contributions concernent la theorie des Systemes de Controle (notes C Systems) et l’approche par Monitoring des modeles.Dans la premiere partie de la these, nous etudions la theorie des Systemes de Controle qui combine et etend de facon significative, les systemes de reecriture de la theorie des langages et le controle supervise. Un systeme de controle est une structure generique qui contient deux composants : le composant controle et le composant controlant qui restreint le comportement du composant controle. Les deux composants sont exprimes en utilisant le meme formalisme comme des automates ou des grammaires. Nous considerons differentes classes de systemes de controle bases sur differents formalismes comme, par exemple, les automates, les grammaires, ainsi que leurs versions infinies et concurrentes. Ensuite, une application de cette theorie est presentee. Les systemes de controle bases sur les automates de Buchi sont utilises pour verifier par model-checking, des proprietes definissant la correction sur des traces d’execution specifiees par une assertion de type nevertrace.Dans la seconde partie de la these, nous investiguons l’approche de monitoring des modeles dont la theorie des systemes de controle constitue les fondations formelles. Le principe pivot de cette approche est la «specification de proprietes comme controleur». En d’autres termes, pour un systeme, les exigences fonctionnelles, d’une part, et des proprietes, d’autre part, sont modelisees et implantees separement, les proprietes specifiees controlant le comportement issu des exigences fonctionnelles. De cette approche decoule ainsi deux techniques alternatives, respectivement nommees monitoring de modele et generation de modele. Cette approche peut etre utilisee de diverses manieres pour ameliorer la fiabilite et la securite-innocuite de divers types de systemes. Nous presentons quelques applications qui montrent l’interet pratique de cette contribution theorique. Tout d’abord, cette approche aide a prendre en compte les evolutions des specifications des proprietes. En second lieu, elle fournit une base theorique a la securite fonctionnelle, popularisee par la norme IEC 61508. En troisieme lieu, l’approche peut etre utilisee pour formaliser et verifier l’application de guides de bonnes pratiques ou des regles de modelisation appliquees par exemple pour des modeles UML.Ces resultats constituent les bases pour des etudes futures de dispositifs plus perfectionnes, et fournissent une nouvelle voie pour s’assurer de la fiabilite et de la securite-innocuite des systemes" @default.
• W589355344 created "2016-06-24" @default.
• W589355344 creator A5087631945 @default.
• W589355344 date "2010-07-09" @default.
• W589355344 modified "2023-09-26" @default.
• W589355344 title "The control system in formal language theory and the model monitoring approach for reliability and safety" @default.
• W589355344 cites W117768600 @default.
• W589355344 cites W132594803 @default.
• W589355344 cites W1487815041 @default.
• W589355344 cites W1491178396 @default.
• W589355344 cites W1496007014 @default.
• W589355344 cites W1498342204 @default.
• W589355344 cites W1498432697 @default.
• W589355344 cites W1501731334 @default.
• W589355344 cites W1503973138 @default.
• W589355344 cites W1515624550 @default.
• W589355344 cites W1517173520 @default.
• W589355344 cites W1523003890 @default.
• W589355344 cites W1523509419 @default.
• W589355344 cites W1535806969 @default.
• W589355344 cites W1571819235 @default.
• W589355344 cites W1577059114 @default.
• W589355344 cites W1584587517 @default.
• W589355344 cites W1591412383 @default.
• W589355344 cites W1593085889 @default.
• W589355344 cites W1596926623 @default.
• W589355344 cites W1607146086 @default.
• W589355344 cites W1733639101 @default.
• W589355344 cites W175551733 @default.
• W589355344 cites W1766054560 @default.
• W589355344 cites W1816620374 @default.
• W589355344 cites W1905633610 @default.
• W589355344 cites W1905756341 @default.
• W589355344 cites W1921371332 @default.
• W589355344 cites W1943502734 @default.
• W589355344 cites W194774452 @default.
• W589355344 cites W1964596896 @default.
• W589355344 cites W1965979806 @default.
• W589355344 cites W1969470083 @default.
• W589355344 cites W1972614028 @default.
• W589355344 cites W1979349468 @default.
• W589355344 cites W1981345493 @default.
• W589355344 cites W1982449618 @default.
• W589355344 cites W1990609140 @default.
• W589355344 cites W1993499670 @default.
• W589355344 cites W1997093946 @default.
• W589355344 cites W1999807683 @default.
• W589355344 cites W2000302396 @default.
• W589355344 cites W2002089154 @default.
• W589355344 cites W2005594817 @default.
• W589355344 cites W2012700936 @default.
• W589355344 cites W2012935476 @default.
• W589355344 cites W2014847582 @default.
• W589355344 cites W2016206602 @default.
• W589355344 cites W2018389955 @default.
• W589355344 cites W2023808162 @default.
• W589355344 cites W2030037781 @default.
• W589355344 cites W2035117740 @default.
• W589355344 cites W2038722538 @default.
• W589355344 cites W2043452331 @default.
• W589355344 cites W2043703540 @default.
• W589355344 cites W2059057465 @default.
• W589355344 cites W2070641420 @default.
• W589355344 cites W2084814487 @default.
• W589355344 cites W2093287224 @default.
• W589355344 cites W2095668028 @default.
• W589355344 cites W2101521071 @default.
• W589355344 cites W2112775311 @default.
• W589355344 cites W2115179079 @default.
• W589355344 cites W2115309705 @default.
• W589355344 cites W2115418642 @default.
• W589355344 cites W2118382442 @default.
• W589355344 cites W2119466401 @default.
• W589355344 cites W2122517552 @default.
• W589355344 cites W2124479173 @default.
• W589355344 cites W2126509366 @default.
• W589355344 cites W2129103796 @default.
• W589355344 cites W2131320354 @default.
• W589355344 cites W2132008977 @default.
• W589355344 cites W2134180922 @default.
• W589355344 cites W2134495021 @default.
• W589355344 cites W2134732423 @default.
• W589355344 cites W2136515807 @default.
• W589355344 cites W2138856440 @default.
• W589355344 cites W2141499275 @default.
• W589355344 cites W2143320215 @default.
• W589355344 cites W2145071552 @default.
• W589355344 cites W2148554434 @default.
• W589355344 cites W2157058319 @default.
• W589355344 cites W2159090554 @default.
• W589355344 cites W2162686404 @default.
• W589355344 cites W2166011785 @default.
• W589355344 cites W2169325581 @default.
• W589355344 cites W2293287097 @default.
• W589355344 cites W2294967233 @default.
• W589355344 cites W2340735175 @default.
• W589355344 cites W25697034 @default.
• W589355344 cites W2609981592 @default.
• W589355344 cites W2611515161 @default.
• W589355344 cites W2913459036 @default.

• next