Výsledky vyhledávání - "Event-B method"

Modeling and Specification of Bootstrapping and Registration Design Patterns for IoT Applications

Autor: Hadj Kacem, Mohamed, Tounsi, Imen, Khalfi, Najeh

Publikováno v: The Impact of Digital Technologies on Public Health in Developed and Developing Countries

The architectures of software systems are becoming more complex, large, and dynamic. The design of these architectures allows architects to master building complex software systems. But, their informal description, may give rise to ambiguity, their u

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=pmc_________::a750a30fb3affebfbf2e5fe91f7a7bdd
http://europepmc.org/articles/PMC7313281

Zobrazit plný text záznamu

Formal development of an operation monitoring and control system for nuclear reactors using Event‐B method

Autor: Jihun Kim, Moon-Ghu Park

Publikováno v: International Journal of Energy Research. 44:8170-8180

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::f2f79fd4860ea860e9f14ce369f79b88
https://doi.org/10.1002/er.5262

Zobrazit plný text záznamu

Modeling train systems: from high-level architecture graphical models to formal specifications

Autor: Laleau, Régine, Bougacha, Racem, Dutilleul, Simon, Bon, Philippe, Ben Ayed, Rahma

Model Driven Engineering (MDE) is a software developmentmethodology applied on complex systems, which are composed of manyinteracting components. This paper proposes a holistic approach basedon MDE for modeling and formally verifying the high-level a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_____10692::a3784c9a8d4459514f9583975413ff59
https://hal.science/hal-04031098

Zobrazit plný text záznamu

Model event-B DLA zwiększenia efektywności zarządzania hurtownią

Autor: Denisa Hrušecká, Said Krayem, Rawa Adla, Michal Pivnička

Publikováno v: Polish Journal of Management Studies
Polish Journal of Management Studies, Vol 17, Iss 2, Pp 63-74 (2018)

With raising customers’ requirements and competition forces, companies face the pressure to increase both the efficiency and flexibility of production and logistic processes thatdirectly influences their management activities. This article deals es

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a4cd70dd9a8456f008fc9a567f7a7ead
https://doi.org/10.17512/pjms.2018.17.2.06

Zobrazit plný text záznamu

A model transformation approach for multiscale modeling of software architectures applied to smart cities

Autor: Ilhem Khlif, Cédric Eichler, Ahmed Hadj Kacem, Mohamed Hadj Kacem, Khalil Drira

Publikováno v: Concurrency and Computation: Practice and Experience
Concurrency and Computation: Practice and Experience, Wiley, 2021, ⟨10.1002/cpe.6298⟩
Concurrency and Computation: Practice and Experience, 2021, Distributed Computing for Smart Networks: Recent Advances and Future Trends (DiCES-N2019). AMMCS19. Security and Privacy in IoT Communication (IOTSEC19). SKG2019, 34 (7), pp.e6298. ⟨10.1002/cpe.6298⟩

Special Issue: Distributed Computing for Smart Networks: Recent Advances and Future Trends (DiCES‐N2019). AMMCS19. Security and Privacy in IoT Communication (IOTSEC19). SKG2019; International audience; Modeling and specifying correct software syste

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b1af5863cc7099ce5b72b707098c8403
https://hal.archives-ouvertes.fr/hal-03282430

Zobrazit plný text záznamu

Modeling of a speed control system using Event-B

Autor: Mammar, Amel, Frappier, Marc

Publikováno v: Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings
ABZ 2020: 7th international conference on Rigorous State-Based Methods
ABZ 2020: 7th international conference on Rigorous State-Based Methods, May 2020, Ulm, Germany. pp.367-381, ⟨10.1007/978-3-030-48077-6_29⟩
Rigorous State-Based Methods ISBN: 9783030480769
ABZ
Rigorous State-Based Methods

International audience; The present paper presents our proposal of an Event-B model of a speed control system, a part of the case study provided in the ABZ2020 conference. The case study describes how the system regulates the current speed of a car a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9bd95d645c44f24c3b69124dc285fcdc
https://hal.archives-ouvertes.fr/hal-02975785

Zobrazit plný text záznamu

An Event-B model of an automotive adaptive exterior light system

Autor: Marc Frappier, Amel Mammar, Régine Laleau

Publikováno v: Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings
ABZ 2020: 7th international conference on Rigorous State-Based Methods
ABZ 2020: 7th international conference on Rigorous State-Based Methods, May 2020, Ulm, Germany. pp.351-366, ⟨10.1007/978-3-030-48077-6_28⟩
Rigorous State-Based Methods
Rigorous State-Based Methods ISBN: 9783030480769
ABZ

International audience; This paper introduces an Event-B formal model of the adaptive exterior light system for cars, a case study proposed in the context of the ABZ2020 conference. The system describes the different provided lights and the condition

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::265984d2dd7c9c1396fe153b775ab5ec
https://hal.archives-ouvertes.fr/hal-02975783

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání