Verification and Evaluation of Computer and Communication Systems : 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings. [elektronicky zdroj]

Autor: Ben Hedia, Belgacem

Externí odkaz: Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on request.)

Towards Formal Co-validation of Hardware and Software Timing Models of CPSs

Autor: Asavoae, Mihail, Haur, Imane, Jan, Mathieu, Ben Hedia, Belgacem, Schoeberl, Martin

Publikováno v: Asavoae, M, Haur, I, Jan, M, Ben Hedia, B & Schoeberl, M 2020, Towards Formal Co-validation of Hardware and Software Timing Models of CPSs . in R Chamberlain, M Edin Grimheden & W Taha (eds), Cyber Physical Systems. Model-Based Design . Springer, Cham, Lecture Notes in Computer Science, vol. 11971, pp. 203-227, 9th International Workshop on Model-Based Design of Cyber Physical Systems and 15th International Workshop on Embedded and Cyber-Physical Systems Education, New York City, New York, United States, 17/10/2019 . https://doi.org/10.1007/978-3-030-41131-2_10

Timing analysis of safety-critical systems derives timing bounds of applications, or software (SW), executed on dedicated platforms, or hardware (HW). The ensemble HW–SW features, from a timing perspective, two different types of computation – a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1202::281308d266cf85fa1ec00a60abbbdfad
https://orbit.dtu.dk/en/publications/88312aae-16a3-456a-82b9-6b458af9476a

Formal Executable Models for Automatic Detection of Timing Anomalies

Autor: Asavoae, Mihail, Ben Hedia, Belgacem, Jan, Mathieu

A timing anomaly is a counterintuitive timing behavior in the sense that a local fast execution slows down an overall global execution. The presence of such behaviors is inconvenient for the WCET analysis which requires, via abstractions, a certain m

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::8100e21627186ad9ea44452bd8aa3b14

Verifying and Constructing Abstract TLA Specifications: Application to the Verification of C programs

Autor: Methni, Amira, Lemerre, Matthieu, Ben Hedia, Belgacem, Haddad, Serge, Barkaoui, Kamel

Publikováno v: ICSEA 2015 The Tenth International Conference on Software Engineering Advances
Tenth International Conference on Software Engineering Advances (ISCEA 2015)
Tenth International Conference on Software Engineering Advances (ISCEA 2015), Nov 2015, Barcelone, Spain

International audience; One approach to verify the correctness of a system is to prove that it implements an executable (specification) model whose correctness is more obvious. Here, we define a kind of automata whose state is the product of values o

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::fae5d593029de2b04eb9a0caad3115f1
https://hal.archives-ouvertes.fr/hal-01501469

State Space Reduction Strategie for Model Checking Concurrent C Programs

Autor: Methni, Amira, Lemerre, Matthieu, Ben Hedia, Belgacem, Haddad, Serge, Barkaoui, Kamel

Publikováno v: CEUR Workshop Proceedings
9th Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS'15)
9th Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS'15), 2015, Bucharest, Romania. pp.65-76

International audience

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::99295962397ae4a23262338c14c3949c
https://hal.science/hal-01242951