Benchmarking Software Requirements Documentation for Space Application

1. Brooks, F.P.: No silver bullet: essence and accidents of software engineering. IEEE Computer 20(4), 10–19 (1987)

   MathSciNet  Google Scholar 

2. Mission critical systems: defense attempting to address major software challenges. US General Accounting Office (1992)

   Google Scholar 

3. Heitmeyer, C.L., Jeffords, R.D., Labaw, B.G.: Automated consistency checking of requirements specifications. ACM Transactions on Software Engineering and Methodology 5(3), 231–261 (1996)

   Article  Google Scholar 

4. Kim, M., Park, S., Sugumaran, V., Yang, H.: Managing requirements conflicts in software product lines: a goal and scenario based approach. Data and Knowledge Engineering 61(3), 417–432 (2007)

   Article  Google Scholar 

5. Davis, A.M.: Predictions and Farewells. IEEE Software 15(4), 6–9 (1998)

   Article  Google Scholar 

6. ECSS system: description and implementation, ECSS-S-00A Standard (2005)

   Google Scholar 

7. ECSS space engineering: ground systems and operations – telemetry and telecommand packet utilization, ECSS-E-70-41A standard (2003)

   Google Scholar 

8. Leveson, N.G.: The role of software in spacecraft accidents. AIAA Journal of Spacecraft and Rockets 41(4), 564–575 (2004)

   Article  Google Scholar 

9. Ambrosio, A.M., Martins, E., Vijaykumar, N.L., Carvalho, S.V.: Systematic generation of test and fault cases for space application validation. In: 9th ESA Data System in Aerospace (DASIA), Edinburgh, Scotland, May 30 - June 2, ESA Publications, Noordwijk (2005)

   Google Scholar 

10. Halligan, R.J.: Requirements metrics: the basis of informed requirements engineering management. In: Complex Systems Engineering Synthesis and Assessment Technology Workshop (CSESAW 1993), Calvados, MD, USA (1993)

    Google Scholar 

11. Davis, A.M.: Just enough requirements management: where software development meets marketing. Dorset House Publishing Company (2005)

    Google Scholar 

12. Knauss, E., Boustani, C., Flohr, T.: Investigating the impact of software requirements specification quality on project success. Product-Focused Software Process Improvement 32 Part 2, 28–42 (2009)

    Article  Google Scholar 

13. Hofmann, H.F., Lehner, F.: Requirements engineering as a success factor in software projects. IEEE Software (July/August 2001)

    Google Scholar 

14. Boehm, B., In, H.: Identifying quality-requirement conflicts. IEEE Software 13(2), 25–35 (1996)

    Article  Google Scholar 

15. Wilson, W.M., Rosenberg, J.H., Hyatt, L.E.: Automated analysis of requirement specifications. In: 19th international conference on Software engineering, Boston, Massachusetts, United States, May 17-23, pp. 161–171 (1997)

    Google Scholar 

16. Gilliam, D.P., Wolfe, T.L., Sherif, J.S., Bishop, M.: Software security checklist for the software life cycle. In: Proceedings of the 12th IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, pp. 243–248 (June 2003)

    Google Scholar 

17. Sheldon, F.T., Kim, H.Y., Zhou, Z.: A case study: validation of guidance control software requirements for completeness, consistency and fault tolerance. In: Eighth Pacific Rim International Symposium on Dependable Computing (PRDC 2001), Seoul, Korea, December 17-19, IEEE Computer Society, Los Alamitos (2001)

    Google Scholar 

18. Zhu, X., Jin, Z.: Detecting of requirements inconsistency: an ontology-based approach. In: Proceedings of the Fifth International Conference on Computer and Information Technology (CIT 2005), Shanghai, China, September 21-23 (2005)

    Google Scholar 

19. Transaction Processing Performance Council, http://www.tpc.org

20. Spainhower, L., Kanoun, K. (eds.): Dependability Benchmarking for Computer Systems. Wiley-IEEE Computer Society Press, Hoboken (2008) ISBN: 9780470230558

    Google Scholar 

21. Madeira, H., Some, R., Moreira, F., Costa, D., Rennels, D.: Experimental evaluation of a COTS system for space applications. In: The International Conference on Dependable Systems and Networks, Bethesda, Maryland, USA (2002)

    Google Scholar 

22. Ruiz, J.C., Yuste, P., Gil, P., Lemus, L.: On benchmarking the dependability of automotive engine control applications. In: IEEE/IFIP International Conference on Dependable Systems and Networks, Florence, Italy (2004)

    Google Scholar 

23. Koopman, P., Madeira, H.: Dependability benchmarking & prediction: a grand challenge technology problem. In: 1st IEEE Int. Workshop on Real-Time Mission-Critical Systems: Grand Challenge Problems, Phoenix, Arizona, USA (November 30, 1999)

    Google Scholar 

24. Martins, E., Sabião, S.B., Ambrosio, A.M.: ConData: a tool for automating specification-based test case generation for communication systems. Software Quality Journal 8(4), 303–319 (1999)

    Article  Google Scholar 

25. Véras, P.C., et al.: Checklist of the software requirements documentation benchmark for space application, http://eden.dei.uc.pt/~mvieira

Download references