In a recent announcement, IEEE has approved work to develop a standard for a language to capture software requirements.
Unfortunately, I have not found much information about it. They mention that the information will be presented in a tree-like structure, which should fit well with the hierarchical organization of requirements in typical safety-critical development.