Open Access Open Access  Restricted Access Subscription or Fee Access

NFR Framework for Generic Real Time Systems

Rajendra R. Dube, Shantanu K. Dixit

Abstract


Real-time systems are organized in terms of abstraction levels which are required to maintain high integrity and dependability. Complex real-time systems require conceptual models that can demonstrate the system scenario as a whole. This paper focuses on nonfunctional requirements (NFR), which need to be captured and analyzed at the initial phases of the software development process. The NFRs can be classified and organized in order to have better representation. NFRs typically express the system behavior with satisfaction of constraints that must be met. NFRs are associated with functional requirements with additional constraint or attribute that addresses the abilities of system. The paper presents a NFR framework to capture and maintain NFRs for real-time systems. We use taxonomy to classify NFRs into primary and secondary NFRs. Primary NFRs are those that contain secondary NFRs as a subset. Depending on the static and dynamic views of the system leads to static and dynamic NFRs. Dynamic NFRs incorporates abstract concepts such as portability, reliability and interoperability, while static NFRs incorporates concrete concepts such as accuracy, scalability, precision. As the requirement population has to be catalogued in terms of configuration management, we use graph-based traceability mechanism to address the issue of requirement change.


Keywords


NFR, MDA, Real-Time System, Requirement Traceability

Full Text:

PDF

References


R. Alur, T.A. Henzinger, and M. Y. Vardi, Parametric Real-Time Reasoning, Proc. 25th ACM Symposium, Theory of Computing (STOC), 1993, pp. 592–601.

Guillem Bernat, Member, IEEE, Alan Burns, Senior Member, IEEE, and Albert Llamos, Weakly Hard Real-Time Systems, IEEE Transactions on Computers, VOL. 50, NO. 4, APRIL 2001, pp 308-321

Jos´e Luis D´ıaz, Daniel F. Garc´ıa, Kanghee Kim, Chang-Gun Lee, Stochastic Analysis of Periodic Real-Time Systems, Proceedings of the 23rd IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS’02), pp 1-12

Farn Wang, Formal Verification of Timed Systems: A Survey and Perspective, PROCEEDINGS OF THE IEEE, VOL. 92, NO. 8, AUGUST 2004, pp 1283-1305

Fabio Paulo Basso, Toacy Cavalcante Oliveira, Leandro Buss Becker, Using the FOMDA Approach to Support Object-Oriented Real-Time Systems Development, Proceedings of the Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, pp 1-8

Yan Sun, Xiaoqing (Frank) Liu, Bruce McMillin, A Methodology for Structured Object-Oriented Elicitation and Analysis of Temporal Constraints in Hardware/Software Co-analysis and Co-design of Real- Time Systems, Proceedings of the 30th Annual International Computer Software and Applications Conference (COMPSAC'06), pp 1-8

Hooman J, Kugler H, Ober I, Votintseva A, Yushtein Y., Supporting UML-based development of embedded systems by formal techniques, Softw Syst Model 7(2), 2008,pp 131–155

Marco A. Wehrmeister, Edison P. Freitas, Carlos E. Pereira, Flávio R. Wagner, An Aspect-Oriented Approach for Dealing with Non-Functional Requirements in a Model-Driven Development of Distributed Embedded Real-Time Systems, Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07), pp 1-5

Bondé L, Dumoulin C, Dekeyser J-L, Metamodels and MDA transformations for embedded systems. In: Boulet P (ed) Advances in design and specification languages for SoCs, Chapter 8. Springer, Boston 2005, pp 89–105

Chen R, Sgroi M, Martin G, Lavagno L, Vincentelli AS, Rabaey J, Embedded system design using UML and platforms, FDL’02. Proceedings of forum on specification and design languages 2002

Murilo LG, Mura M, Prevostini M., MDE Support for HW/SW co-design: A UML-based design flow, Borrione D (ed) Advances in methods from modeling languages for embedded systems and SoC’s, lecture notes in electrical engineering, Vol. 63. Springer, 2010 ,pp 19–37

Perseil I, Pautet L, A co-modeling methodology designed for RT architecture models integration, 12th international conference on engineering of complex computer systems, ICECCS, IEEE Computer Society, Auckland 2007, pp 371–376

Subramaniam Ganesan,Vijayan Sugumaran, Non Functional Requirements for IT Convergence and Infrastructure, 2011 First ACIS/JNU International Conference on Computers, Networks, Systems, and Industrial Engineering, pp 452-457

Mullery G, Core a method for controlled requirement specification, Proceedings of the 4th international conference on software engineering, Munich, Germany 1979, pp 126–135

Kotonya G, Sommerville I., Requirements engineering with viewpoints, Cooperative Systems Engineering Group Technical Report CSEG/10/1995, University of Lancaster, UK

Stephane S. Some, Enhancement of a Use Cases based Requirements Engineering approach with Scenarios, Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC’05), pp 1-8

Bo Wei, Zhi Jin, Didar Zowghi, An Automatic Reasoning Mechanism for NFR Goal Models, 2011 Fifth IEEE International Conference on Theoretical Aspects of Software Engineering, pp 52-59

Lamb DA (ed) ICSE workshop on studies of software design. Lecture notes in computer science, vol 1078, Springer, Heidelberg, ISBN 978-0-387-39361-2 2006, pp 151–163

Sam Supakkul, Tom Hill, Lawrence Chung,Thein Than Tun, Julio Cesar Sampaio do Prado Leite, An NFR Pattern Approach to Dealing with NFRs, 2010 18th IEEE International Requirements Engineering Conference, pp 179-188

OMG UML profile for MARTE, beta 1, ptc/07-08-04. http:// www.omg.org/cgi-bin/doc?ptc/ 2007 2007-08-04

Dahlstedt, Å.G., Persson, A., Requirements interdependencies: state of the art and future challenges, Engineering and Managing Software Requirements, Springer, Berlin 2005, pp 95–116

Mylopoulos J, Chung L, Yu E, Nixon B., Representing and using non-functional requirements: a process-oriented approach, IEEE Trans Software Eng 1992; Vol. 18(6), pp 483–497

Kirner T.G., Davis A.M., Nonfunctional requirements of real-time systems, Adv Computing 1996; pp 1–37

Cleland-Huang, J., Chang, C.K., Christensen, M., Event-based traceability for managing evolutionary change, IEEE Trans Software Eng. 29(9) 2003, pp796–810

Espinoza, A., Alarcon, P.P., Garbajosa, J., Analyzing and systematizing current traceability schemas, Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop, IEEE Computer Society, New York 2006, pp 21–32

France, R., Rumpe, B., Model-driven development of complex software: a research roadmap, FOSE ’07: Future of Software Engineering Proceedings, IEEE Computer Society, New York (2007), pp 37–54

Gotel, O.C.Z., Finkelstein, A.C.W., An analysis of the requirements traceability problem. In: 1st IEEE International Requirements Engineering Conference (RE’94) Proceedings, IEEE Computer Society, New York 1994, pp. 94–101

Hoffmann, M., Kühn, N., Bittner, M., Requirements for requirements management tool, In: 12th IEEE International Conference on Requirements Engineering (RE’04) Proceedings, IEEE Computer Society, New York 2004, pp. 301–308

Hubert Dubois, Marie-Agnès Peraldi-Frati, Fadoi Lakhal, A model for requirements traceability in a heterogeneous model-based design Process, 2010, 15th IEEE International Conference on Engineering of Complex Computer Systems, pp 233-242

Letelier, P., A framework for requirements traceability in UML-based projects, In: Proceedings of the 1st International Workshop on Traceability in Emerging Forms of Software Engineering (TEFSE ’02), ACM, New York 2002, pp 32–41.

Mäder, P., Gotel, O., Philippow, I., Rule-based maintenance of post-requirements traceability relations, 16th IEEE International Requirements Engineering Conference (RE’08) Proceedings, IEEE Computer Society, New York 2008, pp 23–32

Pinheiro, F.A.C., Requirements traceability, In: Sampaio doPrado Leite, J.C., Doorn, J.H. (eds.), Perspectives on Software Requirements, Springer, Berlin 2003, pp 93–113.

Ramesh, B., Jarke, M., Toward reference models for requirements traceability, IEEE Trans Software Eng 2001 , Vol. 27(1), pp 58–93

Spanoudakis, G., Zisman, A. Software traceability: a roadmap. In: Chang, S.K. (ed.) Handbook of Software Engineering and Knowledge Engineering, vol. 3—Recent Advances, World Scientific, Singapore 2005, pp 395–428.

Spanoudakis, G., Zisman, A., Pérez-Miñana, E., Krause, P., Rule-based generation of requirements traceability relations, Journal of System Software Vol. 72(2) 2004, pp 105–127


Refbacks

  • There are currently no refbacks.