Mkaouar, Hana and Zalila, Bechir and Hugues, Jérôme
and Jmaiel, Mohamed
Towards a formal specification for an AADL behavioural subset using the LNT language.
(2020)
International Journal of Business and Systems Research, 14 (2). 162-190. ISSN 1751-200X
Full text not available from this repository.
Official URL: https://doi.org/10.1504/IJBSR.2020.106278
Abstract
The analysis of real-time systems designed by architectural languages such as architecture analysis and design language (AADL) is a challenging research topic. In such a context, formal methods become an advocated practice in software engineering for rigorous analysis. Yet, they are applied on specific formalisms to be analysed on dedicated tools. This paper studies the formal verification of real-time systems modelled with the AADL language and its behaviour annex. We define a formal semantics of an AADL behavioural subset using the LNT language. This work is illustrated with a robot case study.
| Item Type: | Article |
|---|---|
| Audience (journal): | International peer-reviewed journal |
| Uncontrolled Keywords: | |
| Institution: | Other partners > Digital Research Center of Sfax (TUNISIA) Other partners > École Nationale d'Ingénieurs de Sfax - ENIS (TUNISIA) Other partners > Université de Sfax (TUNISIA) |
| Laboratory name: | |
| Statistics: | download |
| Deposited On: | 04 Nov 2020 13:04 |
Repository Staff Only: item control page
