Formal verification with HiLLS-specified models: A further step in multi-analysis modeling of complex systems
| dc.rights.license | open | en_US |
| dc.contributor.author | SAMUEL, Kehinde G. | |
| dc.contributor.author | MAIGA, Oumar | |
| hal.structure.identifier | Laboratoire de l'intégration, du matériau au système [IMS] | |
| dc.contributor.author | TRAORE, Mamadou Kaba
IDREF: 112136893 | |
| dc.date.accessioned | 2024-09-13T11:43:28Z | |
| dc.date.available | 2024-09-13T11:43:28Z | |
| dc.date.issued | 2019-10-01 | |
| dc.identifier.issn | 1793-9623 | en_US |
| dc.identifier.uri | oai:crossref.org:10.1142/s1793962319500326 | |
| dc.identifier.uri | https://oskar-bordeaux.fr/handle/20.500.12278/201578 | |
| dc.description.abstractEn | The multi-analysis modeling of a complex system is the act of building a family of models which allows to cover a large spectrum of analysis methods (such as simulation, formal methods, enactment,[Formula: see text]) that can be performed to derive various properties of this system. The High-Level Language for Systems Specification (HiLLS) has recently been introduced as a graphical language for discrete event simulation, with potential for other types of analysis, like enactment for rapid system prototyping. HiLLS defines an automata language that also opens the way to formal verification. This paper provides the building blocks for such a feature. That way, a unique model can be used not only to perform both simulation and enactment experiments but also to allow the logical analysis of properties without running any experiment. Therefore, it saves from the effort of building three different analysis-specific models and the need to align them semantically. | |
| dc.language.iso | EN | en_US |
| dc.source | crossref | |
| dc.subject.en | Discrete Event System Specification (DEVS) | |
| dc.subject.en | High Level Language for Systems Specification (HiLLS) | |
| dc.subject.en | Multi-analysis modeling | |
| dc.subject.en | Discrete Event Simulation | |
| dc.subject.en | Model Checking | |
| dc.title.en | Formal verification with HiLLS-specified models: A further step in multi-analysis modeling of complex systems | |
| dc.title.alternative | Int. j. model. simul. sci. comput. | en_US |
| dc.type | Article de revue | en_US |
| dc.identifier.doi | 10.1142/s1793962319500326 | en_US |
| dc.subject.hal | Sciences de l'ingénieur [physics] | en_US |
| bordeaux.journal | International Journal of Modeling, Simulation, and Scientific Computing | en_US |
| bordeaux.page | 1950032 | en_US |
| bordeaux.volume | 10 | en_US |
| bordeaux.hal.laboratories | IMS : Laboratoire de l'Intégration du Matériau au Système - UMR 5218 | en_US |
| bordeaux.issue | 05 | en_US |
| bordeaux.institution | Université de Bordeaux | en_US |
| bordeaux.institution | Bordeaux INP | en_US |
| bordeaux.institution | CNRS | en_US |
| bordeaux.peerReviewed | oui | en_US |
| bordeaux.inpress | non | en_US |
| bordeaux.import.source | dissemin | |
| hal.popular | non | en_US |
| hal.audience | Internationale | en_US |
| hal.export | false | |
| workflow.import.source | dissemin | |
| dc.rights.cc | Pas de Licence CC | en_US |
| bordeaux.COinS | ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.jtitle=International%20Journal%20of%20Modeling,%20Simulation,%20and%20Scientific%20Computing&rft.date=2019-10-01&rft.volume=10&rft.issue=05&rft.spage=1950032&rft.epage=1950032&rft.eissn=1793-9623&rft.issn=1793-9623&rft.au=SAMUEL,%20Kehinde%20G.&MAIGA,%20Oumar&TRAORE,%20Mamadou%20Kaba&rft.genre=article |
