Theoretical foundation for rapid prototyping of time-critical systems

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

Theoretical foundation for rapid prototyping of time-critical systems

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

Mechanical Engineering

Research output: Contribution to conference › Paper › peer-review

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

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

Cite this

@conference{2d467060f6fa405aa898931f20e82720,

title = "Theoretical foundation for rapid prototyping of time-critical systems",

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.",

author = "Tanik, {Murat M.} and Cengiz Erbas and Atila Ertas and Gatchel, {Stanley G.}",

year = "1994",

language = "English",

pages = "583--586",

note = "null ; Conference date: 04-07-1994 Through 07-07-1994",

}

Theoretical foundation for rapid prototyping of time-critical systems. / Tanik, Murat M.; Erbas, Cengiz; Ertas, Atila; Gatchel, Stanley G.

1994. 583-586 Paper presented at Proceedings of the 2nd Biennial European Joint Conference on Engineering Systems Design and Analysis. Part 1 (of 8), London, Engl, .

Research output: Contribution to conference › Paper › peer-review

TY - CONF

T1 - Theoretical foundation for rapid prototyping of time-critical systems

AU - Tanik, Murat M.

AU - Erbas, Cengiz

AU - Ertas, Atila

AU - Gatchel, Stanley G.

PY - 1994

Y1 - 1994

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0027989172&partnerID=8YFLogxK

M3 - Paper

AN - SCOPUS:0027989172

SP - 583

EP - 586

Y2 - 4 July 1994 through 7 July 1994

ER -

Theoretical foundation for rapid prototyping of time-critical systems

Abstract

Conference

Other files and links

Cite this