Abstract
The paper presents three axioms to characterize the nature of complex systems development. These are the Axiom of Specification, the Axiom of Feedback and the Axiom of Automation. An approach based on precedence graphs is discussed to analyze the timing behavior of real time systems allowing the modeling of certain real time related properties of programs. This model potentially provides a practical and formal base for a real-time software development environment.
Original language | English |
---|---|
Pages | 583-586 |
Number of pages | 4 |
State | Published - 1994 |
Event | Proceedings of the 2nd Biennial European Joint Conference on Engineering Systems Design and Analysis. Part 1 (of 8) - London, Engl Duration: Jul 4 1994 → Jul 7 1994 |
Conference
Conference | Proceedings of the 2nd Biennial European Joint Conference on Engineering Systems Design and Analysis. Part 1 (of 8) |
---|---|
City | London, Engl |
Period | 07/4/94 → 07/7/94 |