[LLVMdev] RTSC - Real-Time Systems Compiler

[Bill Wendling]

Done here:

Sending        ProjectsWithLLVM/index.html
Transmitting file data .
Committed revision 192528.

Cheers!
-bw

On Oct 10, 2013, at 7:38 AM, Tobias Klaus <klaus at cs.fau.de> wrote:

> Hey,
> 
> As announced earlier, here comes our project description.
> 
> It would be great if you could add it to llvm.org!
> 
> Tobias
> 
> --
> The Real-Time Systems Compiler (RTSC)
> 
> The Real-Time Systems Compiler (RTSC) is an operating-system–aware compiler that allows for a generic manipulation of the real-time system architecture of a given real-time application.
> Currently its most interesting application is the automatic migration of an event-triggered (i.e. based on OSEK OS) system to a time-triggered (i.e. based on OSEKTime) one. To achieve this, the RTSC derives an abstract global dependency graph from the source code of the application formed by so called "Atomic Basic Blocks" (ABBs). This "ABB-graph" is free of any dependency to the original operating system but includes all control and data dependencies of the application. Thus this graph can be mapped to another target operating system. Currently input applications can be written for OSEK OS and then be migrated to OSEKTime or POSIX systems.
> The LLVM-framework is used throughout the whole process. At first the static analysis of the application needed to construct the ABB-graph is performed using the LLVM-framework. Additionally the manipulation and final generation of the target system are also based on the LLVM.
> 
> 
> 
> Am 30.09.2013 14:19, schrieb Tobias Klaus:
>> Hello John,
>> 
>> Thank you very much for your fast response and the patch.
>> 
>> Is it possible to add Fabian Scheler and Florian Franzmann to the people
>> section as proposed in the attached patch?
>> 
>> I hope to manage to write a description for the 'ProjectsWithLLVM' page
>> this week and send it to the list.
>> 
>> Thanks again,
>> Tobias
>> 
>> Am 26.09.2013 21:26, schrieb John Criswell:
>>> Dear Tobias,
>>> 
>>> Is the attached patch for the LLVM User's page acceptable to you?
>>> 
>>> -- John T.
>>> 
>> 
> 
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev