Flow-Based Specification of Time Design Requirements
Journal Title: International Journal of Advanced Computer Science & Applications - Year 2015, Vol 6, Issue 8
Abstract
This paper focuses on design requirements in real-time systems where information is processed to produce a response within a specified time. Nowadays, computer control applications embedded in chips have grown in significance in many aspects of human life. These systems need a high level of reliability to gain the trust of users. Ensuring correctness in the early stages of the design process is especially a major challenge in these systems. Faulty requirements lead to errors in the final product that have to be fixed later, often at a high cost. A crucial step in this process is modeling the intended system. This paper explores the potential of flow-based modeling in expressing design requirements in real-time systems that include time constraints and synchronization. The main emphasized problem is how to represent time. The objective is to assist real-time system requirement engineers, in an early state of the development, to express the timing behavior of the developed system. Several known examples are modeled and the results point to the viability of the flow-based representation in comparison with such time specifications as state-based and line-based modeling.
Authors and Affiliations
Sabah Al-Fedaghi
A Survey of Quality Prediction of Product Reviews
With the help of Web-2.0, the Internet offers a vast amount of reviews on many topics and in different domains. This has led to an explosive growth of product reviews and customer feedback, which presents the problem of...
A Proposed Peer Selection Algorithm for Transmission Scheduling in P2P-VOD Systems
Video transmission in peer-to-peer video-on-demand faces some challenges. These challenges include long transmission delay and poor quality of service. The peer selection plays an important role in enhancing transmission...
On Algebraic Spectrum of Ontology Evaluation
Ontology evaluation remains an important open problem in the area of its application. The ontology structure evaluation framework for benchmarking the internal graph structures was proposed. The framework was used in tra...
MDSA: Modified Distributed Storage Algorithm for Wireless Sensor Networks
In this paper, we propose a Modified distributed storage algorithm for wireless sensor networks (MDSA). Wireless Sensor Networks, as it is well known, suffer of power limitation, small memory capacity,and limited process...
A Proposed Architectural Model for an Automatic Adaptive E-Learning System Based on Users Learning Style
It has been established through literature that, if an e-learning system could adapt to learning characteristics of learners, it will increase learning performance and content knowledge acquisition of learners. This pape...