Ontology and Rules for Characterization of Sensors and Actuators Devices in AADL Models

  • Diego Sales UFSC
  • Cristian Koliver IFAM
  • Leandro Becker UFSC

Resumo


This paper presents a set of ontologies to organize concepts, categories, properties, and relationships that are typically used by designers for characterizing sensing and actuation devices that compose a given system architecture (SA). From the characterization of such devices, modeling can be done using the Architecture Analysis and Design Language (AADL). AADL supports modeling and analysis of functional and nonfunctional properties to evaluate quality attributes from ontology models. The paper also proposes an AADL property set that can be applied to sensors and actuators (S&A), based on previous researches with ontologies applied to sensor networks. Specific characteristics are provided to describe systems' quality attributes. This aims to be used for analyzing the designed architecture, and also its probable future evolution.

Palavras-chave: Sensors and actuators, Ontology, Architectural model, AADL, ISO/IEC 25010 characteristics

Referências

P. H. Feiler B. A. Lewis and S. Vestal "The sae architecture analysis & design language (aadl) a standard for engineering performance critical systems" IEEE pp. 1206-1211 2006.

F. S. Goncalves and L. B. Becker "Preparing cyber-physical systems functional models for implementation" 2015 Brazilian Symposium on Computing Systems Engineering (SBESC) pp. 136-141 2015.

F. S. Goncalves and L. B. Becker "Model driven engineering approach to design sensing and actuation subsystems" 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA) pp. 1-8 2016.

T. Hovorushchenko and O. Pomorova Ontological approach to the assessment of information sufficiency for software quality determination 2016.

"Iso/iec 25010:systems and software engineering-systems and software quality requirements and evaluation (square)-system and software quality models" ISO/IEC 2011.

T. R. Gruber et al. "A translation approach to portable ontology specifications" Knowledge acquisition vol. 5 no. 2 pp. 199-220 1993.

A. Haller Janowicz et al. Semantic sensor network ontology w3c recommendation october 2017.

S. Cox "Observations and measurements" Open Geospatial Consortium Best Practices Document. Open Geospatial Consortium 2006.

M. Botts and A. Robin Opengis® sensor model language (sensorml) implementation specification. version 1.0. 0 2007.

M. Compton C. A. Henson L. Lefort H. Neuhaus A. P. Sheth et al. A survey of the semantic specification of sensors 2009.

M. Compton Barnaghi et al. "The ssn ontology of the w3c semantic sensor network incubator group" Journal of Web Semantics vol. 17 pp. 25-32 2012.

K. Janowicz Compton et al. "The stimulus-sensor-observation ontology design pattern and its integration into the semantic sensor network ontology" SSN vol. 668 2010.

K. Janowicz A. Haller Cox et al. "Sosa: A lightweight ontology for sensors observations samples and actuators" Journal of Web Semantics vol. 56 pp. 1-10 2019.

"Architecture analysis and design language (aadl)" Embedded Computing Systems Committee SAE 2004.

R. Behjati T. Yue S. Nejati L. Briand and B. Selic "Extending sysml with aadl concepts for comprehensive system architecture modeling" European Conference on Modelling Foundations and Applications pp. 236-252 2011.

P. Feiler The open source aadl tool environment (osate) 2019.

P. Feiler and A. Rugina Dependability modeling with the architecture analysis & design language (aadl) 2007.

P. Feiler L. Wrage and J. Hansson System architecture virtual integration: A case study 2010.

B. R. Larson P. Chalin and J. Hatcliff "Bless: Formal specification and verification of behaviors for embedded systems with software" NASA Formal Methods Symposium pp. 276-290 2013.

M. Haoues A. Sellami H. Ben-Abdallah and L. Cheikhi "A guideline for software architecture selection based on iso 25010 quality related characteristics" International Journal of System Assurance Engineering and Management vol. 8 no. 2 pp. 886-909 2017.

A. Aleti S. Bjornander L. Grunske and I. Meedeniya "Archeopterix: An extendable tool for architecture optimization of aadl models" 2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software pp. 61-71 2009.

N. Esfahani et al. "Guidearch: Guiding the exploration of architectural solution space under uncertainty" 2013 35th International Conference on Software Engineering (ICSE) pp. 43-52 2013.

S. Procter and L. Wrage "Guided architecture trade space exploration: Fusing model based engineering design by shopping" 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS) pp. 117-127 2019.

E. Insfran S. Abrahao J. Gonzalez-Huerta and J. Mcgregor A multimodeling approach for quality-driven architecture derivation 2012.
Publicado
23/11/2020
SALES, Diego; KOLIVER, Cristian; BECKER, Leandro. Ontology and Rules for Characterization of Sensors and Actuators Devices in AADL Models. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SISTEMAS COMPUTACIONAIS (SBESC), 10. , 2020, Evento Online. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2020 . p. 95-102. ISSN 2237-5430.