Non-functional property specifications for WRIGHT ADL

Suleiman, Basem; Tošić, Vladimir; Aliev, E.

doi:10.1109/cit.2008.4594771

Cited by 2 publications

(1 citation statement)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A software architecture can be represented using UML, 27 architecture description language (ADL), as with Wright 28 or other well-formed methods. All these architecture models have a common part represented with components and their relationships, although they have their own special features.…”

Section: Software Architecturementioning

confidence: 99%

Evaluating energy efficiency of Internet of Things software architecture based on reusable software components

Kim

Choi

Hong

2017

International Journal of Distributed Sensor Networks

View full text Add to dashboard Cite

Nowadays, Internet of Things technology has garnered a great amount of interest because it can make our life much easier, convenient, and even safer. Internet of Things devices can be connected to the Internet or to each other whenever and wherever in order to collect, process, and share information to support various services. In order to provide useful support, important issues related to security, performance, and energy consumption have to be considered. For example, important personal information can be easily exposed to others because Internet of Things can be easily hacked; low performance and high energy consumption can limit the effectiveness of devices. These issues can be considered as quality factors that need to be met in order to develop software applications in the Internet of Things domain. Energy consumption is critical to provide sustained service within mobile and wireless environments. To this end, this article focuses on how to develop Internet of Things software that takes low energy consumption into account. In particular, we propose energy evaluation techniques that are based on a software architecture that is designed to use reusable components. By performing an experiment, we could verify that our proposing method shows maximum 6.83% of error rate against code-based energy simulation. Our technique can help software engineers to judge whether or not software is developed to satisfy the particular requirements related with energy consumption.

show abstract

Section: Software Architecturementioning

confidence: 99%

Evaluating energy efficiency of Internet of Things software architecture based on reusable software components

Kim

Choi

Hong

2017

International Journal of Distributed Sensor Networks

View full text Add to dashboard Cite

show abstract

Relationship between Testing Criteria for Architecture Configuration Testing Based on Wright Specification

Lun

Chi

2010

2010 International Conference on Computational Intelligence and Software Engineering

View full text Add to dashboard Cite

Coverage criteria of verification techniques play an important role in software development and testing. The goal is to reduce the size of test suites to economize on time, and to ensure whether all conditions are covered. This paper presents formal testing criteria for architecture-level testing that are based on formal specifications of the software architecture. Firstly, this method describes software architecture with Wright specification, secondly, transform the architecture configuration behavior to revised configuration behavior graph (RCBG) to indicate the computation of the single component and the transfer, thirdly, based on the component connected path coverage criteria and the component connected path coverage generation algorithm FindC-CPaths, generate tested path. This approach is implemented in the WTPT. Experimental and analysis demonstrated the validity and efficiency of the algorithm FindC-CPaths. Finally, the criteria is assessed, the assessing result provide a theoretical basis for applying the criteria.

show abstract

Non-functional property specifications for WRIGHT ADL

Cited by 2 publications

References 12 publications

Evaluating energy efficiency of Internet of Things software architecture based on reusable software components

Evaluating energy efficiency of Internet of Things software architecture based on reusable software components

Relationship between Testing Criteria for Architecture Configuration Testing Based on Wright Specification

Contact Info

Product

Resources

About