Theoretical foundation for rapid prototyping of time-critical systems

Murat M. Tanik, Cengiz Erbas, Atila Ertas, Stanley G. Gatchel

Research output: Contribution to conferencePaper

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 languageEnglish
Pages583-586
Number of pages4
StatePublished - 1994
EventProceedings of the 2nd Biennial European Joint Conference on Engineering Systems Design and Analysis. Part 1 (of 8) - London, Engl
Duration: Jul 4 1994Jul 7 1994

Conference

ConferenceProceedings of the 2nd Biennial European Joint Conference on Engineering Systems Design and Analysis. Part 1 (of 8)
CityLondon, Engl
Period07/4/9407/7/94

Fingerprint Dive into the research topics of 'Theoretical foundation for rapid prototyping of time-critical systems'. Together they form a unique fingerprint.

Cite this