Inspec keywords: real-time systems; formal specification; control system analysis computing; aerospace control; scheduling; safety-critical software; software quality

Other keywords: flight safety critical software systems; manufacturing possibility; information modelling; real time software development process; real time control engineering requirements; formal methods; post emergent technologies; cyclic scheduling

Subjects: Aerospace industry; Aerospace control; Data security; Aerospace engineering computing; Control system design and analysis; Software management; Formal methods; Health and safety aspects; Software engineering techniques