Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Our objective is to facilitate the development of complex time-triggered systems by automating the allocation and scheduling steps.  show that full automation is possible while taking into account the elements of complexity needed by a complex embedded control system. More precisely,  consider deterministic functional specifications provided (as often in an industrial setting) by means of synchronous data-flow models with multiple modes and multiple relative periods.  first extend this functional model with an original real-time characterization that takes advantage of our time-triggered framework to provide a simpler representation of complex end-to-end flow requirements.  also extend our specifications with additional non-functional properties specifying partitioning, allocation, and preemptability constraints. Then,  provide novel algorithms for the off-line scheduling of these extended specifications onto partitioned time-triggered architectures a la ARINC 653. The main originality of our work is that it takes into account at the same time multiple complexity elements: various types of non-functional properties (real-time, partitioning, allocation, preemptability) and functional specifications with conditional execution and multiple modes. Allocation of time slots/windows to partitions can be fully or partially provided, or synthesized by our tool. Our algorithms allow the automatic allocation and scheduling onto multi-processor (distributed) systems with a global time base, taking into account communication costs.  demonstrate our technique on a model of space flight software system with strong real-time determinism requirements.
['Thomas Carle', 'Dumitru Potop-Butucaru', 'Yves Sorel', 'David Lesens']
I am writing a research paper on a idea From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation
[{"from": "human", "value": "I am writing a research paper on a idea From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Our objective is to facilitate the development of complex time-triggered systems by automating the allocation and scheduling steps.  show that full automation is possible while taking into account the elements of complexity needed by a complex embedded control system. More precisely,  consider deterministic functional specifications provided (as often in an industrial setting) by means of synchronous data-flow models with multiple modes and multiple relative periods.  first extend this functional model with an original real-time characterization that takes advantage of our time-triggered framework to provide a simpler representation of complex end-to-end flow requirements.  also extend our specifications with additional non-functional properties specifying partitioning, allocation, and preemptability constraints. Then,  provide novel algorithms for the off-line scheduling of these extended specifications onto partitioned time-triggered architectures a la ARINC 653. The main originality of our work is that it takes into account at the same time multiple complexity elements: various types of non-functional properties (real-time, partitioning, allocation, preemptability) and functional specifications with conditional execution and multiple modes. Allocation of time slots/windows to partitions can be fully or partially provided, or synthesized by our tool. Our algorithms allow the automatic allocation and scheduling onto multi-processor (distributed) systems with a global time base, taking into account communication costs.  demonstrate our technique on a model of space flight software system with strong real-time determinism requirements."}]