Avionics Systems Requirements: A Comparison of RSML and SCR

This invention relates to novel phosphoramidates of the formula: wherein A is an optionally substituted (C6-C10) aryl group; R is a hydrogen atom, a (C1-C6) alkyl group, a di(C1-C4) alkylamino group, a (C4-C6) cycloamino group, a (C1-C6) alkoxy group, a (C1-C6) alkylthio group or a cyano group; R1 is (a) an optionally substituted (C1-C6) alkyl group; (B) AN OPTIONALLY SUBSTITUTED (C3-C8) cycloalkyl group; (C) AN OPTIONALLY SUBSTITUTED (C3-C6) alkenyl group; (D) AN OPTIONALLY SUBSTITUTED (C5-C8) cycloalkenyl group; (E) A (C3-C6) alkynyl group; or (F) AN OPTIONALLY SUBSTITUTED ARALKYL GROUP OF UP TO 11 CARBON ATOMS; R2 is a (C1-C6) alkyl group; R3 is a (C1-C6) alkyl group; and X is an oxygen or sulfur atom; TO COMPOSITIONS CONTAINING THEM AND TO METHODS OF USING THEM TO CONTROL CERTAIN HARMFUL PESTS.

[1]  Nancy G. Leveson,et al.  Requirements Specification for Process-Control Systems , 1994, IEEE Trans. Software Eng..

[2]  Constance L. Heitmeyer,et al.  SCR: a toolset for specifying and analyzing requirements , 1995, COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security'.

[3]  Kathryn L. Heninger.  Specifying Software Requirements for Complex Systems: New Techniques and Their Application , 2001, IEEE Transactions on Software Engineering.

[4]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[5]  David Lorge Parnas,et al.  Documentation of requirements for computer systems , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[6]  Constance L. Heitmeyer,et al.  Automated consistency checking of requirements specifications , 1996, TSEM.

[7]  Nancy G. Leveson,et al.  Completeness and Consistency in Hierarchical State-Based Requirements , 1996, IEEE Trans. Software Eng..

[8]  Nancy G. Leveson,et al.  Safeware: System Safety and Computers , 1995 .

[9]  David Lorge Parnas,et al.  Documentation for safety critical software , 1993, Proceedings of 1993 15th International Conference on Software Engineering.