Analysis and Generation of Logical Signals for Discrete Events Behavioral Modeling

Abstract : This paper presents a proposal for structuring logical signals for discrete events behavioral modeling. Graphical formalisms will be used to illustrate applicability of the proposed techniques. Input logical signals are generated based on the analysis of physical signals coming from the environment and other input logical signals. Their analysis is introduced in the flow of the input signal analysis, defined as pre-processing when using a modeling formalism. Their analysis is done in the first step of pre-processing, allowing to put these signals at the same level of the physical ones, enabling its use in the rest of the signals’ analysis, and also allowing the generation of events and conditions associated with these signals. Likewise, logical signals are also defined in the flow of post-processing, allowing the definition of output logical signals through analysis and composition of the output signals generated by the model execution. The output logical signals are analyzed in the last step of post-processing in order to allow the use of the signals affected by the events in its analysis. The usage of these signals allows improvements in terms of expressiveness and compactness of the resulted models, both directly due to its use as well as by the increase of the possibilities of analysis provided to the following parts of the development flow.
Type de document :
Communication dans un congrès
Luis M. Camarinha-Matos; Thais A. Baldissera; Giovanni Di Orio; Francisco Marques. 6th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2015, Costa de Caparica, Portugal. IFIP Advances in Information and Communication Technology, AICT-450, pp.147-156, 2015, Technological Innovation for Cloud-Based Engineering Systems. 〈10.1007/978-3-319-16766-4_16〉
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01343478
Contributeur : Hal Ifip <>
Soumis le : vendredi 8 juillet 2016 - 14:58:01
Dernière modification le : vendredi 8 juillet 2016 - 15:33:08

Fichier

336594_1_En_16_Chapter.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Rogério Campos-Rebelo, Anikó Costa, Luis Gomes. Analysis and Generation of Logical Signals for Discrete Events Behavioral Modeling. Luis M. Camarinha-Matos; Thais A. Baldissera; Giovanni Di Orio; Francisco Marques. 6th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2015, Costa de Caparica, Portugal. IFIP Advances in Information and Communication Technology, AICT-450, pp.147-156, 2015, Technological Innovation for Cloud-Based Engineering Systems. 〈10.1007/978-3-319-16766-4_16〉. 〈hal-01343478〉

Partager

Métriques

Consultations de la notice

44

Téléchargements de fichiers

2