Zobrazeno 1 - 10
of 26
pro vyhledávání: '"Attiogbe, Christian"'
Autor:
Attiogbé, Christian
Nous présentons un ensemble de travaux sur l'intégration de méthodes formelles et l'analyse multifacette de systèmes logiciels. %deuxième partie Partant de l'idée que les différentes facettes d'un système doivent être étudiées et développ
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00481602
http://tel.archives-ouvertes.fr/docs/00/48/16/02/PDF/manuscrit_hdr_attiogbe.pdf
http://tel.archives-ouvertes.fr/docs/00/48/16/02/PDF/manuscrit_hdr_attiogbe.pdf
Nowadays, there are several complex systems in different sectors such as aviation, air traffic control ...etc. These systems do not have a precise perimeter, they are open and made of various specific components built with different languages and env
Externí odkaz:
http://arxiv.org/abs/2111.10426
Critical and cyber-physical systems (CPS) that exist in large industries, such as nuclear power plants, railway, automotive or aeronautical industries are complex heterogeneous systems. They are complex because they are open, perimeter-less, often bu
Externí odkaz:
http://arxiv.org/abs/2012.13671
Autor:
Attiogbé, Christian, Rocheteau, Jérôme
Publikováno v:
In Journal of Computer Languages November 2023 77
Autor:
Attiogbé, Christian, Rocheteau, Jérôme
Internet of Things applications impact more and more industrial areas such as smart manufacturing, smart health monitoring and home automation; physical objects or devices equipped with sensors and actuators are interconnected and then controlled wit
Externí odkaz:
http://arxiv.org/abs/1912.08912
Autor:
Attiogbé, Christian
Software Defined Networking (SDN) brings flexibility in the construction and managment of distributed applications by reducing the constraints imposed by physical networks and by moving the control of networks closer to the applications. However mast
Externí odkaz:
http://arxiv.org/abs/1806.09476
This paper presents a solution to the landing gear system case study using Event-B and Rodin. We study the whole system (both the digital part and the controlled part). We use feature augmentation to build an abstract model of the whole system and st
Externí odkaz:
http://arxiv.org/abs/1803.05647
Autor:
Attiogbé, Christian
Classical approaches like process algebras or labelled transition systems deal with static composition to model non-trivial concurrent or distributed systems; this is not sufficient for systems with dynamic architecture and with variable number of co
Externí odkaz:
http://arxiv.org/abs/1112.5774
Publikováno v:
EPTCS 37, 2010, pp. 71-85
This article contributes to the design and the verification of trusted components and services. The contracts are declined at several levels to cover then different facets, such as component consistency, compatibility or correctness. The article intr
Externí odkaz:
http://arxiv.org/abs/1010.2827
Autor:
Attiogbe, Christian
Publikováno v:
Conference on Current Trends in Theory and Practice of Computer Science, Czech Republic, Spindleruv Ml\'yn, : Czech Republic (2009)
Component-oriented and service-oriented approaches have gained a strong enthusiasm in industries and academia with a particular interest for service-oriented approaches. A component is a software entity with given functionalities, made available by a
Externí odkaz:
http://arxiv.org/abs/0910.1901