[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
|
Re: [polarsys-iwg] UML2C generator for embedded SW
|
Dear Etienne and Gaël,
we might possibly interested to join ... well if this project is possibly funded :-) over the past few years we have developed a decompiler that is able to generate synchronous data-flow graphs/diagrams from C programs in SSA form. It also extended to concurrent programs (yet with a rather simplistic threading API). We could be interested in revisiting these techniques in that new context.
Happy new year/Meilleurs voeux,
JP Talpin
ps: We have a few papers that describe the tool ... but I don't want to scare anybody yet :-)
__________________________________________________
Jean-Pierre Talpin, INRIA senior scientist, leader of team TEA
IRISA, campus de Beaulieu, F-35042 Rennes Cedex, France
http://www.irisa.fr/prive/talpin (+33) 299847436
On 13 Jan 2014, at 15:00, etienne.juliot@xxxxxxx wrote:
> Dominique,
>
> It sounds very interesting.
> Reverse engineering of C code could be a great feature, and it make sense as we plan to have the same feature for Java.
>
> For the "embedded" style of the generated C, there are plenty of styles for the generation. By joining the project, I think it possible to discuss with Cédric Notot to create a generator architecture which allow enough extensibility to keep a common architecture and common template for C language, and allow customization to target each style (Object oriented style, MISRA, QT, embedded, etc .).
>
> For ADA, it could also be very interesting, as it often used in critical embedded systems, which is a main focus of Polarsys community.
> It can help you to improve the visibility of your skills in this domain.
>
> Does it means you could be interest to join the project by contributing these features, with an EPL license?
> If yes, do you want to provide patch (as a "contributor") or do you plan to be responsible of these feature (as a "commiter")?
>
> Etienne JULIOT
> Vice President, Obeo
>
> Le 11/01/2014 15:35, Dominique Torette a écrit :
>> Etienne, Gaël,
>>
>> As you might know, Spacebel has some internal development in the field of
>> UML to «embedded C» code generation and reverse engineering of legacy C
>> codes to UML models.
>> Generated C code does not depend on any runtime and does not allocate
>> memory. Generation is driven by some stereotypes and support target
>> specific constructions.
>> This generation based on Acceleo and has been integrated into Papyrus and
>> latest Obeo UML Designer.
>> In order to complete the picture we should also consider an Ada generator.
>>
>> By the way, have you any information of the status of the migration of
>> GenDoc2 from Topcased to Eclipse/Polarsys?
>> Generation of documentation is another important topic.
>>
>> Regards, Dominique Torette.
>>
>>
>> On 10/01/14 16:29, "polarsys-iwg-request@xxxxxxxxxxx"
>> <polarsys-iwg-request@xxxxxxxxxxx> wrote:
>>
>>> Send polarsys-iwg mailing list submissions to
>>> polarsys-iwg@xxxxxxxxxxx
>>>
>>> To subscribe or unsubscribe via the World Wide Web, visit
>>> https://dev.eclipse.org/mailman/listinfo/polarsys-iwg
>>> or, via email, send a message with subject or body 'help' to
>>> polarsys-iwg-request@xxxxxxxxxxx
>>>
>>> You can reach the person managing the list at
>>> polarsys-iwg-owner@xxxxxxxxxxx
>>>
>>> When replying, please edit your Subject line so it is more specific
>>> than "Re: Contents of polarsys-iwg digest..."
>>>
>>>
>>> Today's Topics:
>>>
>>> 1. Re: UML Generators proposal (LANGLOIS Benoit)
>>> 2. Re: UML Generators proposal (Mike Milinkovich)
>>> 3. Re: UML Generators proposal (Ga?l Blondelle)
>>> 4. Re: UML Generators proposal (Ralph Mueller)
>>>
>>>
>>> ----------------------------------------------------------------------
>>>
>>> Message: 1
>>> Date: Fri, 10 Jan 2014 15:22:11 +0100
>>> From: LANGLOIS Benoit <benoit.langlois@xxxxxxxxxxxxxxx>
>>> To: Polarsys IWG <polarsys-iwg@xxxxxxxxxxx>
>>> Cc: "C?dric NOTOT (CNO)" <cedric.notot@xxxxxxx>
>>> Subject: Re: [polarsys-iwg] UML Generators proposal
>>> Message-ID:
>>> <12351_1389363731_52D00212_12351_391_1_CBBCD6C304123F4AB23FAAE3055C8C0E02
>>> 082C533B94@xxxxxxxxxxxxxxxxxxxxxxx>
>>>
>>> Content-Type: text/plain; charset="iso-8859-1"
>>>
>>> Hello everyone,
>>>
>>> The subject is pertinent. However:
>>>
>>> - Can you explain how to customize generations? At one, several
>>> levels.
>>>
>>> - I think that a best practice is that there is not two mentors
>> >from the same company.
>>> Regards,
>>>
>>> Benoit
>>>
>>> De : polarsys-iwg-bounces@xxxxxxxxxxx
>>> [mailto:polarsys-iwg-bounces@xxxxxxxxxxx] De la part de
>>> etienne.juliot@xxxxxxx
>>> Envoy? : vendredi 10 janvier 2014 15:02
>>> ? : Polarsys IWG
>>> Cc : "C?dric NOTOT (CNO)"
>>> Objet : [polarsys-iwg] UML Generators proposal
>>>
>>> Hi everyone,
>>>
>>> As Paul Arberet explain at the previous Polarsys meeting, a new project
>>> will be propose: UML Generators.
>>> This project is proposed under the umbrella of Eclipse Modeling, but it
>>> should interest Polarsys members.
>>>
>>> Here is an extract :
>>> ---------------------
>>>
>>> The initial contribution provides five generators:
>>>
>>> * UML2Java: It converts Class and State diagrams into Java code.
>>> * UML2C: It converts Class and State diagrams into C code.
>>> * C2UML: It reverses C code into a UML model.
>>> * UML2RTSJ : It converts Structure Composite, Class and State diagrams
>>> into Java code based on RTSJ (Real Time Specification for Java).
>>> * The generated code is organized according to a Components Based
>>> Architecture.
>>> * The UML model is enhanced by a UML profile to add real-time
>>> properties and it is decorated by a DSL to specify the kind of
>>> communication between each component.
>>> * Java2UML: It reverses Java code to a UML model.
>>>
>>> The scope is any generator which consumes or produces UML models.
>>> ---------------------
>>>
>>> If you want to be list as Interested Parties, please answer to me and
>>> Cedric Notot, and you will be list in the proposal.
>>>
>>>
>>>
>>>
>>> --
>>>
>>> Etienne JULIOT
>>>
>>> Vice President, Obeo
>>> -------------- next part --------------
>>> An HTML attachment was scrubbed...
>>> URL:
>>> <https://dev.eclipse.org/mailman/private/polarsys-iwg/attachments/20140110
>>> /2fa60e13/attachment.html>
>>>
>>> ------------------------------
>>>
>>> Message: 2
>>> Date: Fri, 10 Jan 2014 09:44:23 -0500
>>> From: Mike Milinkovich <mike.milinkovich@xxxxxxxxxxx>
>>> To: polarsys-iwg@xxxxxxxxxxx
>>> Subject: Re: [polarsys-iwg] UML Generators proposal
>>> Message-ID: <52D00747.2070000@xxxxxxxxxxx>
>>> Content-Type: text/plain; charset="iso-8859-1"; Format="flowed"
>>>
>>> On 10/01/2014 9:22 AM, LANGLOIS Benoit wrote:
>>>> I think that a best practice is that there is not two mentors from the
>>>> same company.
>>> Plus all mentors need to be members of the Eclipse Architecture Council.
>>>
>>> --
>>> Mike Milinkovich
>>> mike.milinkovich@xxxxxxxxxxx
>>> +1.613.220.3223
>>>
>>> -------------- next part --------------
>>> An HTML attachment was scrubbed...
>>> URL:
>>> <https://dev.eclipse.org/mailman/private/polarsys-iwg/attachments/20140110
>>> /d80eb670/attachment.html>
>>>
>>> ------------------------------
>>>
>>> Message: 3
>>> Date: Fri, 10 Jan 2014 10:27:17 -0500
>>> From: Ga?l Blondelle <gael.blondelle@xxxxxxxxxxx>
>>> To: Polarsys IWG <polarsys-iwg@xxxxxxxxxxx>
>>> Subject: Re: [polarsys-iwg] UML Generators proposal
>>> Message-ID: <7F991F56-E042-4E45-8750-36269A4F087C@xxxxxxxxxxx>
>>> Content-Type: text/plain; charset="iso-8859-1"
>>>
>>> Would it make sense to have Beno?t as the second mentor for the project?
>>> I guess that the project won't require a lot of mentorship.
>>>
>>> Cheers,
>>> Ga?l
>>>
>>> Le 10 janv. 2014 ? 09:44, Mike Milinkovich a ?crit :
>>>
>>>> On 10/01/2014 9:22 AM, LANGLOIS Benoit wrote:
>>>>> I think that a best practice is that there is not two mentors from the
>>>>> same company.
>>>> Plus all mentors need to be members of the Eclipse Architecture Council.
>>>>
>>>> --
>>>> Mike Milinkovich
>>>> mike.milinkovich@xxxxxxxxxxx
>>>> +1.613.220.3223
>>>> _______________________________________________
>>>> polarsys-iwg mailing list
>>>> polarsys-iwg@xxxxxxxxxxx
>>>> https://dev.eclipse.org/mailman/listinfo/polarsys-iwg
>>> -------------- next part --------------
>>> An HTML attachment was scrubbed...
>>> URL:
>>> <https://dev.eclipse.org/mailman/private/polarsys-iwg/attachments/20140110
>>> /147f5c71/attachment.html>
>>>
>>> ------------------------------
>>>
>>> Message: 4
>>> Date: Fri, 10 Jan 2014 10:29:26 -0500
>>> From: Ralph Mueller <ralph.mueller@xxxxxxxxxxx>
>>> To: Polarsys IWG <polarsys-iwg@xxxxxxxxxxx>
>>> Subject: Re: [polarsys-iwg] UML Generators proposal
>>> Message-ID: <FCAB137E-665F-4BC3-837F-1E20EA478327@xxxxxxxxxxx>
>>> Content-Type: text/plain; charset="iso-8859-1"
>>>
>>> Has anybody considered asking Jonas Helming from Eclipse from
>>> EclipseSource?
>>> He might be a good candidate and also help to spread the word into other
>>> technology domains like openETCS.
>>> Regards / Liebe Gr??e,
>>>
>>> Ralph Mueller
>>>
>>> Director, Eclipse Foundation
>>> Mobile: +49 177 449 0460
>>> Office: +49 6251 789545
>>>
>>>
>>> Am 10.01.2014 um 10:27 schrieb Ga?l Blondelle
>>> <gael.blondelle@xxxxxxxxxxx>:
>>>
>>>> Would it make sense to have Beno?t as the second mentor for the project?
>>>> I guess that the project won't require a lot of mentorship.
>>>>
>>>> Cheers,
>>>> Ga?l
>>>>
>>>> Le 10 janv. 2014 ? 09:44, Mike Milinkovich a ?crit :
>>>>
>>>>> On 10/01/2014 9:22 AM, LANGLOIS Benoit wrote:
>>>>>> I think that a best practice is that there is not two mentors from
>>>>>> the same company.
>>>>> Plus all mentors need to be members of the Eclipse Architecture
>>>>> Council.
>>>>>
>>>>> --
>>>>> Mike Milinkovich
>>>>> mike.milinkovich@xxxxxxxxxxx
>>>>> +1.613.220.3223
>>>>> _______________________________________________
>>>>> polarsys-iwg mailing list
>>>>> polarsys-iwg@xxxxxxxxxxx
>>>>> https://dev.eclipse.org/mailman/listinfo/polarsys-iwg
>>>> _______________________________________________
>>>> polarsys-iwg mailing list
>>>> polarsys-iwg@xxxxxxxxxxx
>>>> https://dev.eclipse.org/mailman/listinfo/polarsys-iwg
>>> -------------- next part --------------
>>> An HTML attachment was scrubbed...
>>> URL:
>>> <https://dev.eclipse.org/mailman/private/polarsys-iwg/attachments/20140110
>>> /24d06302/attachment.html>
>>>
>>> ------------------------------
>>>
>>> _______________________________________________
>>> polarsys-iwg mailing list
>>> polarsys-iwg@xxxxxxxxxxx
>>> https://dev.eclipse.org/mailman/listinfo/polarsys-iwg
>>>
>>>
>>> End of polarsys-iwg Digest, Vol 27, Issue 2
>>> *******************************************
>> ------------------------------------------------------------------------------
>>
>> E-MAIL DISCLAIMER
>>
>> The present message may contain confidential and/or legally privileged information. If you are not the intended addressee and in case of a transmission error, please notify the sender immediately and destroy this E-mail. Disclosure, reproduction or distribution of this document and its possible attachments is strictly forbidden.
>>
>> SPACEBEL denies all liability for incomplete, improper, inaccurate, intercepted, (partly) destroyed, lost and/or belated transmission of the current information given that unencrypted electronic transmission cannot currently be guaranteed to be secure or error free.
>> Upon request or in conformity with formal, contractual agreements, an originally signed hard copy will be sent to you to confirm the information contained in this E-mail.
>>
>> SPACEBEL denies all liability where E-mail is used for private use.
>>
>> SPACEBEL cannot be held responsible for possible viruses that might corrupt this message and/or your computer system.
>> -------------------------------------------------------------------------------
>> _______________________________________________
>> polarsys-iwg mailing list
>> polarsys-iwg@xxxxxxxxxxx
>> https://dev.eclipse.org/mailman/listinfo/polarsys-iwg
>>
>
> <etienne_juliot.vcf>_______________________________________________
> polarsys-iwg mailing list
> polarsys-iwg@xxxxxxxxxxx
> https://dev.eclipse.org/mailman/listinfo/polarsys-iwg
