Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Synchronous systems offer a clean semantics and an easy verification path at the expense of often inefficient implementations. Capturing design specifications as synchronous models and then implementing the specifications in a less restrictive platform allow to address a much larger design space. The key issue in this approach is maintaining semantic equivalence beten the synchronous model and its implementation.  address this problem by showing how to map a synchronous model onto a loosely time-triggered architecture that is fairly straightforward to implement as it does not require global synchronization or blocking communication.  show how to maintain semantic equivalence beten specification and implementation using an intermediate model (similar to a Kahn process network but with finite queues) that helps in defining the transformation. Performance of the semantic preserving implementation is studied for the general case as ll as for a few special cases.
['Stavros Tripakis', 'Claudio Pinello', 'Albert Benveniste', 'Alberto Sangiovanni-Vincent', 'Paul Caspi', 'M. Di Natale']
I am writing a research paper on a idea Implementing Synchronous Models on Loosely Time Triggered Architectures
[{"from": "human", "value": "I am writing a research paper on a idea Implementing Synchronous Models on Loosely Time Triggered Architectures"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Synchronous systems offer a clean semantics and an easy verification path at the expense of often inefficient implementations. Capturing design specifications as synchronous models and then implementing the specifications in a less restrictive platform allow to address a much larger design space. The key issue in this approach is maintaining semantic equivalence beten the synchronous model and its implementation.  address this problem by showing how to map a synchronous model onto a loosely time-triggered architecture that is fairly straightforward to implement as it does not require global synchronization or blocking communication.  show how to maintain semantic equivalence beten specification and implementation using an intermediate model (similar to a Kahn process network but with finite queues) that helps in defining the transformation. Performance of the semantic preserving implementation is studied for the general case as ll as for a few special cases."}]