Title :
Operative architecture design and modelling for the validation of real-time applications
Author :
Faucou, Sebastien ; DEPLANCHE, Anne-Marie ; Trinquet, Yvon
Author_Institution :
IRCCyN, Nantes, France
Abstract :
In this paper we describe a process for the design and the validation of the "architectural design" step of a realtime application. This process relies on a model of the system that is analysed to perform a validation of the timing constraints of the system prior to its effective design.
Keywords :
formal verification; real-time systems; software architecture; real-time application; real-time control systems; software architecture; timing constraints; validated operative architecture design; Application software; Computer architecture; Hardware; Performance analysis; Process design; Production; Protocols; Real time systems; Software architecture; Timing;
Conference_Titel :
Emerging Technologies and Factory Automation, 2001. Proceedings. 2001 8th IEEE International Conference on
Conference_Location :
Antibes-Juan les Pins, France
Print_ISBN :
0-7803-7241-7
DOI :
10.1109/ETFA.2001.997749
