Abstract
[Context and Motivation] In function-centered engineering of embedded systems, changes of stakeholder intentions are often directly incorporated in the functional design without updating the behavioral requirements accordingly. [Question/Problem] As a consequence, it is likely that the behavioral requirements of the system become outdated over the course of the engineering process. [Principal Ideas/Results] We propose a validation technique that aids the requirements engineer in detecting and correcting outdated behavioral requirements. The approach relies on a dedicated review model that represents a consolidated view of behavioral requirements and functional design. [Contributions] This paper reports on a semi-automated approach and presents first experimental results showing that our technique can significantly aid the requirements engineer in the detection and correction of outdated behavioral requirements.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
ISO/IEC/IEEE: International Standard 24765: Systems and software engineering-Vocabulary (2010)
Davis, A., Overmyer, S., Jordan, K., Caruso, J., Dandashi, F., Dinh, A., Kincaid, G., Ledeboer, G., Reynolds, P., Sitaram, P., Ta, A., Theofanos, M.: Identifying and measuring quality in a software requirements specification. In: Proc. of IEEE Intl. Software Metrics Symposium, pp. 141–152 (1993)
Knauss, E., Schneider, K., Stapel, K.: Learning to write better requirements through heuristic critiques. In: Proc. of RE, pp. 387–388 (2009)
Nuseibeh, B.: Weaving together requirements and architectures. In: IEEE Computer, pp. 115–119 (2001)
Whalen, M., Murugesan, A., Heimdahl, M.: Your what is my how: why requirements and architectural design should be iterative. In: Proc. of Twin Peaks WS, pp. 36–40 (2012)
ISO/IEC/IEEE: International Standard 29148: Systems and software engineering - life cycle processes - Requirements engineering (2011)
Pretschner, A., Broy, M., Kruger, I., Stauner, T.: Software engineering for automotive systems: a roadmap. In: Proc. of Future of Software Engineering, pp. 55–71 (2007)
Brinkkemper, S., Pachidi, S.: Functional architecture modeling for the software product industry. In: Babar, M.A., Gorton, I. (eds.) ECSA 2010. LNCS, vol. 6285, pp. 198–213. Springer, Heidelberg (2010)
Jantsch, A., Sander, I.: On the roles of functions and objects in system specification. In: Proc. of Int. WS on Hardware/Software Codesign, pp. 8–12 (2000)
Weber, M., Weisbrod, J.: Requirements engineering in automotive development - experiences and challenges. In: Proc. of RE, pp. 331–340 (2002)
Clarke, E., Emerson, E., Sifakis, J.: Model checking: algorthmic verification and debugging. In: Commun. ACM, pp. 74–84 (2009)
Blanc, X., Mounier, I., Mougenot, A., Mens, T.: Detecting model inconsistency through operation-based model construction. In: Proc. of ICSE, pp. 511–520 (2008)
Borges, R., Garcez, A., Lamb, L.: Integrating model verification and self-adaptation. In: Proc. of ASE, pp. 317–320 (2010)
Fradet, P., Le Métayer, D., Périn, M.: Consistency checking for multiple view. In: Proc. of ESEC/FSE, pp. 410–428 (1999)
Paige, R., Brooke, P., Ostroff, J.: Metamodel-based model conformance and multiview consistency checking. In: TOSEM, pp. 1–49 (2007)
Van Paesschen, E., De Meuter, W., D’Hondt, M.: SelfSync: a dynamic round-trip engineering environment. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 633–647. Springer, Heidelberg (2005)
Malavolta, I., Muccini, H., Pelliccione, P., Tamburri, D.: Providing architectural languages and tools interoperability through model transformation technologies. In: TSE, pp. 119–140 (2010)
Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. SoSyM Journal, 21–43 (2009)
Gotel, O., Finkelstein, A.: An analysis of the requirements traceability problem. In: Proc. of RE, pp. 94–101 (1994)
Winkler, S., Pilgrim, J.: A survey of traceability in requirements engineering and model-driven development. SoSyM Journal, 529–565 (2010)
Boehm, B., Basili, V.: Software defect reduction top 10 list. In: IEEE Computer, pp. 135–137 (2001)
Gilb, T., Graham, D.: Software Inspection, Addison-Wesley (1993)
Basili, V., Green, S., Laitenberger, O., Shull, F., Sorumgard, S., Zelkowski, M.: The empirical investigation of perspective-based reading. J. Empir. Softw. Eng., 133–164 (1996)
Shull, F., Basili, V., Zelkowitz, M., Boehm, B., Brown, A., Port, D., Rus, I., Tesoreiro, R.: What we have learned about fighting defects. In: Proc. of Intl. Symp. on Softw. Metrics, pp. 133–154 (2002)
Daun, M., Weyer, T., Pohl, K.: Validating the functional design of embedded systems against stakeholder intentions. In: Proc. of Intl. Conf. on Model-Driven Eng. and Softw. Dev., pp. 333–339 (2014)
Faul, F., Erdfelder, E., Lang, A., Buchner, A.: G*Power 3: A flexible statistical power analysis program for the social, behavioral, and biomedical sciences. Behavior Research Methods 39, 175–191 (2007)
Campbell, D., Stanley, J.: Experimental and Quasi-Experimental Designs for Research. Houghton Mifflin Company, Boston (1963)
Cook, T., Campbell, D.: Quasi-Experimentation - Design and Analysis Issues for Field Settings. Houghton Mifflin Company (1979)
Wieringa, R.: Empirical research methods for technology validation: Scaling up to practice. J. Syst. Software, 19–31 (2014)
Daun, M., Höfflinger, J., Weyer, T.: Function-centered engineering of embedded systems: evaluating industry needs and possible solutions. In: Proc. of Intl. Conf. on Eval. of Novel Approaches to Softw. Eng., pp. 226–234 (2014)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Daun, M., Weyer, T., Pohl, K. (2015). Detecting and Correcting Outdated Requirements in Function-Centered Engineering of Embedded Systems. In: Fricker, S., Schneider, K. (eds) Requirements Engineering: Foundation for Software Quality. REFSQ 2015. Lecture Notes in Computer Science(), vol 9013. Springer, Cham. https://doi.org/10.1007/978-3-319-16101-3_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-16101-3_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-16100-6
Online ISBN: 978-3-319-16101-3
eBook Packages: Computer ScienceComputer Science (R0)