Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Embedded systems for critical applications are typically specified with requirements on predictable timing and safety. While ensuring predictable timing, the RTFM-lang (Real-Time For the Masses) model of computation (MoC) currently lacks memory access protection among real-time tasks. ,  discuss how to safely verify task execution given a specification using the RTFM-MoC. Furthermore, an extension to the RTFM-core infrastructure is outlined and tested with use cases of embedded development.  propose a method for run time verification exploiting memory protection hardware. For this purpose,  introduce memory resources to the declarative language RTFM-core allowing compliance checks. As a proof of concept, compiler support for model analysis and automatic generation of run time verification code is implemented together with an isolation layer for the RTFM-kernel. With this verification foundation, functional run time checks as ll as further overhead assessments are future research questions.
['Marcus Lindner', 'Andreas Lindner', 'Per Lindgren']
I am writing a research paper on a idea Safe tasks: Run time verification of the RTFM-lang model of computation
[{"from": "human", "value": "I am writing a research paper on a idea Safe tasks: Run time verification of the RTFM-lang model of computation"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Embedded systems for critical applications are typically specified with requirements on predictable timing and safety. While ensuring predictable timing, the RTFM-lang (Real-Time For the Masses) model of computation (MoC) currently lacks memory access protection among real-time tasks. ,  discuss how to safely verify task execution given a specification using the RTFM-MoC. Furthermore, an extension to the RTFM-core infrastructure is outlined and tested with use cases of embedded development.  propose a method for run time verification exploiting memory protection hardware. For this purpose,  introduce memory resources to the declarative language RTFM-core allowing compliance checks. As a proof of concept, compiler support for model analysis and automatic generation of run time verification code is implemented together with an isolation layer for the RTFM-kernel. With this verification foundation, functional run time checks as ll as further overhead assessments are future research questions."}]