Frama-C Development Tooling (FCDT) plug-in V1.2 Release

Dear all,

We are pleased to announce the new release of the Frama-C Development Tooling (FCDT) plug-in version v 1.2.

The FCDT plug-in permits developers to use the static analysis tools provided by Frama-C from directly within the Eclipse framework.

This release, compatible with Eclipse Indigo and Frama-C Nitrogen, includes:

• Bug #4063 (makefile in subdir) 
• Improvement of ACSL editor in C code 
• New Preferences (for Codan launching mode) Setting page with dynamic update with Frama-C features (linux only) 
• Frama-C configuration (for Codan launching mode) in project properties

It is available on:

http://gforge.enseeiht.fr/projects/fcdt/

Downloads:

http://gforge.enseeiht.fr/frs/?group_id=124

Best regards

FCDT Team

TOPCASED 5.2.0 available

 TOPCASED 5.2.0 is now available. It is based on the Eclipse 3.7.2 platform (Indigo).
TOPCASED has been release this is the official mail sent to the community:

"Dear TOPCASED users,

TOPCASED 5.2.0 is now available. It is based on the latest Eclipse 3.7 SR2 platform (Indigo) and requires a JRE 1.6.

You can download the RCP version, features and the release note at the following link : http://www.topcased.org/index.php?idd_projet_pere=52&Itemid=60

Since we are having troubles building it, the MacOSX RCP version is not available yet, but it should be shortly.

TOPCASED 5.2.0 is packaged in an installer : after downloading and double clicking on the .jar file, you can follow the steps.

You can also install TOPCASED 5.2.0 from the update-site by importing this bookmarks file in the update sites preferences :
http://gforge.enseeiht.fr/scm/viewvc.php/releng/org.topcased.releng/topcasedBookmarks.xml?root=topcased-mm&view=markup

All tutorials will be available on “Documents” section of TOPCASED.org site shortly, but you can already get them all during installation.

Best regards,

The TOPCASED team"

As usual I will introduce some of the new features in this version:

• Analyze and Repair Function

This new feature allows the user to apply operations on its model to "fix" it.

 

After selecting the operations to apply the list of impacted element is displayed and the operation is performed

• Open referencing diagrams

It is possible to open all diagrams or tables displaying the selected element

• Implicit navigation from properties

It is now possible to navigate (via double click) from typed Elements (property, pins, parameters) to the diagram displaying its type

• Todo notes

If the user creates a TOPCASED project or configures its project to use the todo note builder, it is possible to use the Tasks view to display "notes" contained in the model's comments.
The user can configure a comment prefix tag used for the analysis :

After the configuration is done every comment starting with this tag will be recognized by the tool and displayed in the Tasks view. This is very useful for Model Review

• Configuration files for import document

If you use the document importer for requirement management it is now possible to save the configuration to share it and reuse it in the update using the save mapping button in the last page of the import wizard 
 
 

• There are also some new features in Gendoc2 which will be described in a future post

FCDT v1.1 release

Dear all,

We are pleased to announce the new release of the Frama-C Development Tooling (FCDT) plug-in version v1.1.
The FCDT plug-in permits developers to use the static analysis tools provided by Frama-C from directly within the Eclipse framework.

This release, compatible with Eclipse Indigo (only), includes:

• A new call graph viewer
• A new editor for ACSL language integrated into comment area of the CDT editor
• Bug fixes

Tested platforms are Windows  XP 32 and Linux.

It is available on:
http://gforge.enseeiht.fr/projects/fcdt/

Release contents:

• FCDT plug-in archive file    http://gforge.enseeiht.fr/frs/download.php/3592/fcdt_v1.1.zip
• Installation and usage tutorial   http://gforge.enseeiht.fr/frs/download.php/3651/Tutorial_V1.1.pdf
• Example archive file  http://gforge.enseeiht.fr/frs/download.php/3597/fcdt_v1.1_example_files.zip

A build of Frama-C Nitrogen for Windows  is also available on the fcdt web site.

Regards

FCDT Team

Extract relevant elements from a diagram

I would like to introduce in this post a new feature which will be available in the next release of Gendoc2.
This feature makes possible to extract elements you desire in a diagram.

This example will generate a part of the UML Metamodel documentation.
The diagram realized with MDT Papyrus is presented bellow:

This diagram displays some information about Events, Activity Nodes and Operations. For the documentation we only want to display the elements linked to the Signal Event and the Call Event meta classes.

This is now possible using new methods in TOPCASED and GMF bundles.
This is the code to use in your gendoc2 template :

1. The diagram is get using getPapyrusDiagrams() method
2. A list of visibleElements is computed using a focused class (SignalEvent or Call Event)
• [let visibleElements : Set(uml::Class) = Set{focus}->union(focus.superClass)->union(focus.superClass->closure(superClass)->union(focus.getAssociations().memberEnd->select(type <> focus).type->asSet()))]
3. The list of visible elements is used by the getDiagram method
4. Finally the elements visible in the diagram are listed and for each element the documentation is displayed

The result is visible bellow

Open Tests : manage test campaigns inside Eclipse

Open Tests is an Open Source Test management application available from Eclipse or from a Web client.

Open Tests can provide the following services :
- write a test library
- reference requirements inside tests
- import requirements from TOPCASED Requirement format
- define test campaigns
- write test execution results
- access all data through customizable queries
- generate reports (Excel / PDF) all along the process


How to use OpenTests from Web client ?
see Video

How to use OpenTests inside Eclipse?
see Video

For more information about OpenTests :
see Open Tests tutorial or gPM Installer

Contacts : eclipseatos@gmail.com
or anne.haugommard@atos.net

EclipseCon proposals

EclipseCon 2012 deadline is tonight, we have at Atos Toulouse submit 3 proposals presenting our different Eclipse activities.

• MDT Papyrus usage in industrial context - sharing feedback with community
• This talk is a good opportunity for community to have feedbacks of industrials of MDT Papyrus usage.
• BIRT for reporting ... what about documentation ? Here comes Gendoc2 !
• BIRT everybody knows, why do we need another tool to generate documentation ? Because the task is different and industrials have of course reporting expectations but the also need a documentation compliant with the Quality Kit of the company.
• FCDT, formal proof integration in CDT using Codan and XText
• This talk will present how the CDT has been extended to provide an open source formal proof IDE using a powerful static analysis tool (Frama-C)

These 3 proposals are a good summary of the Eclipse work of Atos Toulouse : focusing on embedded project lifecycle, our job is to give solutions and support to industrials in the descending and ascending phases.

TOPCASED 5.1.0 available

TOPCASED 5.1.0 is now available. It is based on the latest Eclipse 3.7.1 platform (Indigo).

TOPCASED has been release this is the official mail sent to the community:

"Dear TOPCASED users,

TOPCASED 5.1.0 is now available. It is based on the latest Eclipse 3.7 SR1 platform (Indigo).

Note: the official announce on website is not yet present ( will be available on Monday morning) but the “download” link already targets the 5.1.0 release.

Previous TOPCASED 5.0.0 release introduced integration of Eclipse MDT papyrus editors (UML&SysmL) but those editors were not mature.

There has been a lot of work done to fix all major issues and those editors can now be considered as “usable” in TOPCASED 5.1.0.

For any new project we recommend that you have a look at those editors as they provide strong ergonomics improvements (in reference to previous TOPCASED editors), a better support of UML& SysML specification and a very good support for profile customization.

For existing models, we recommend that you continue to use former UML and SysML TOPCASED editors as there is not yet automatic transformation between former graphical format and Papyrus one. This transformation is in progress and should be available in TOPCASED 5.2.0 (planned for January).

Note: You will find two different perspectives to distinguish former and new editors for UML and SysML.

You can download the RCP version, features and the release note at the following link : http://www.topcased.org/index.php?idd_projet_pere=52&Itemid=60 and the Linux

You can also install TOPCASED 5.1.0 from the update-site : http://topcased-mm.gforge.enseeiht.fr/indigo/release/topcased5.1

You can find more information on the official TOPCASED website: http://www.topcased.org/

A new section "Indicators" has been created to show statistics on some components.

Users support: Help is available through the 'Help > Help Contents' menu of TOPCASED. However if you have any questions, you can get support through the TOPCASED Users mailing list: topcased-users@lists.gforge.enseeiht.fr To be able to use the mailing-list, don't forget to subscribe to it, first.

Developers support: You may find information on the dedicated developers page of the TOPCASED official website. If you have any questions, you can also use the TOPCASED developers mailing list and sending your questions to: topcased-devel@lists.gforge.enseeiht.fr

Report a bug: To report a bug against TOPCASED, create a new entry on our bug tracker. You need to be logged on the site to be able to create an entry. * Ask for a new feature To ask for a new feature on TOPCASED, create a new entry on our feature tracker. You need to be logged on the site to be able to create an entry.

TOPCASED Contact TOPCASED is a collaborative project: if you are interested in helping in some aspects of our technical roadmap (or in extending it), you may contact us at topcased-contact@list.gforge.enseeiht.fr Your participation is welcome. Kind regards, The TOPCASED team"

TOPCASED 5.1.0 provides a lot of cool features, I will describe some of them bellow :

• Default documentation generation
  If your model does not contain "Rich text" documentation you can right click on your model and generate the documentation
  
  
  
• Palette Customization (stereotype application for example)
  This feature allows user to create elements with specific stereotype applied, or force the user to enter values at creation ...
  
• Requirement Traceability
  Import requirements from documents and create Traceability link to UML or SysML editor
  
• Export all diagrams
  Export all the diagrams contained in a model
  
• Advanced Label editors
  label edition with auto completion for model elements (in the screenshot, properties)
  
  

for more information about these feature you can consult documents section in TOPCASED web site : http://www.topcased.org/index.php?documentsSynthesis=y&Itemid=59