Towards Computer-Aided Software Requirements Process

It is a consensus that projects that start from good requirements have greater chances of success. Clearly specified requirements lead to better feature development, validation and verification. Unfortunately, many avionics product defects can be traced back to flaws in the Software Requirement Process (SRP), such as errors in requirements and in the communication between requirement engineers (SRE) and reviewers (SRR). This short-paper reports on our first steps towards a ComputerAided SRP (CSRP). CSRP relies on three key ideas, leading to better quality requirements: Domain Specific Requirements (DSRs), Automated Requirement Quality Checks, and Structured Feedback. We illustrate CSRP with a use case on the development of requirements for a software in an embedded avionics system.

[1]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[2]  Sabine Teufl,et al.  Seamless Model-based Requirements Engineering: Models, Guidelines, Tools , 2017 .

[3]  Robyn R. Lutz,et al.  Analyzing software requirements errors in safety-critical, embedded systems , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[4]  Camille Ben Achour,et al.  Linguistic Instruments for the Integration of Scenarios in Requirement Engineering , 1997 .

[5]  Hitoshi Kume,et al.  A Case History Analysis of Software Error Cause-Effect Relationships , 1991, IEEE Trans. Software Eng..

[6]  Alistair Mavin,et al.  Easy Approach to Requirements Syntax (EARS) , 2009, 2009 17th IEEE International Requirements Engineering Conference.

[7]  Lars Grunske,et al.  Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar , 2015, IEEE Transactions on Software Engineering.

[8]  Mats Per Erik Heimdahl,et al.  Proving the shalls , 2003, International Journal on Software Tools for Technology Transfer.

[9]  George S. Avrunin,et al.  Patterns in property specifications for finite-state verification , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[10]  Andreas Vogelsang,et al.  Model-based Requirements Engineering for Multifunctional Systems , 2015 .

[11]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[12]  Vincent Aravantinos,et al.  AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems , 2015, ACES-MB&WUCOR@MoDELS.