www.krates.ee
Gene-Auto development status and supportAndres ToomIB Krates, Estonia23/09/2009
23/09/2009 Gene-Auto development status and support Gene-Auto 2 - Aerospace Valley - IB Krates
2
Status after the Gene-Auto ITEA project
23/09/2009 Gene-Auto development status and support Gene-Auto 2 - Aerospace Valley - IB Krates
3
WP2 objectives
Toolset architecture definitionAchieved
Design and implement functionality for code generationAchieved
Design and implement functionality for formal model verification
Withdrawn from user requirements
Ensure DO178B/ED12B-compliant development process and keep lifecycle data record for qualification
Partly achieved
23/09/2009 Gene-Auto development status and support Gene-Auto 2 - Aerospace Valley - IB Krates
4
Gene-Auto toolset
One-step code generation from Simulink, Stateflow and Scicos modelsOpen customisable architectureOpen-source toolset to ensure long-term maintainabilityGenerates ISO/IEC 9899 and MISRA compatible C code for embedded systemsUsage of formal methods in selected transformation steps (WP5)Open intermediate languages for model exchange.
23/09/2009 Gene-Auto development status and support Gene-Auto 2 - Aerospace Valley - IB Krates
5
Simulink support
Selected subset of supported blocks42 native Simulink blocks, 15 custom blocksEasily extendable
Support of multirate models Support of explicit scheduling via ‘function-call’ triggeringNative support for matrix and vector operationsLimited EML (Embedded Matlab) support in expressions
EML blocks not supportedMatlab functions not supported
Modelling restrictions apply to ensure compatibility and chosen quality rules (D1.13)
23/09/2009 Gene-Auto development status and support Gene-Auto 2 - Aerospace Valley - IB Krates
6
Stateflow support
Code generation from Stateflowcharts – supportedgraphical functions – supported“classical” truth tables – supportedEML (Embedded Matlab) truthtables – not supportedEML functions – not supported
Modelling restrictions apply to ensure safety and chosen quality rules (D1.14)
23/09/2009 Gene-Auto development status and support Gene-Auto 2 - Aerospace Valley - IB Krates
7
Scicos support
Scicos/Gene-Auto interface implemented in ScicosSpecific Scicos pallet compatible with the supported subset of Simulink blocksFull user interface integrationAutomated simulation support of the generated code
Gene-Auto launcherReads the Scicos model stored in the GASystemModelling language and executes the required Gene-Auto elementary tools
23/09/2009 Gene-Auto development status and support Gene-Auto 2 - Aerospace Valley - IB Krates
8
“Qualification kit“
Development plansDevelopment data
High-level: Toolset requirements Low-level: Tool requirements (each elementary tool)DesignSource code
Verification dataRequirement verification dataDesign verification dataCode verification data
User documentationTemplates for qualification plan
23/09/2009 Gene-Auto development status and support Gene-Auto 2 - Aerospace Valley - IB Krates
9
Developments in 2009
23/09/2009 Gene-Auto development status and support Gene-Auto 2 - Aerospace Valley - IB Krates
10
Developments in 2009
Maintenance for Airbus France and EADS Astrium20 support tickets / 25 technical tasks + related qualification data updatesNo major features added
Ada language backend with AdaCoreSpecification and implementation of a new elementary tool and code generation chainSideresult: refinement of the tool requirements of TCPrinterSideresult: unused context argument elimination in the C-chain (potential)
Other developments (IB Krates)Extended testing framework being developedSome technical tasks carried out on own account
23/09/2009 Gene-Auto development status and support Gene-Auto 2 - Aerospace Valley - IB Krates
11
Support for Gene-Auto users
23/09/2009 Gene-Auto development status and support Gene-Auto 2 - Aerospace Valley - IB Krates
12
Support for the community (services and actors)
Public version of Gene-AutoSince the beginning of 2009 with Gene-Auto v2.4.2GPL licensedFreely downloadable in source and binary formsMaintained by IB Krates, Alyotech and FeRIA
New features and bug-fixesFunding by former consortium members (Airbus, Astrium, FeRIA, IB Krates)Development from new projects (AdaCore, IB Krates)
Integration of external contributionsPublic releases 2-3 times per year
23/09/2009 Gene-Auto development status and support Gene-Auto 2 - Aerospace Valley - IB Krates
13
Support for the community (channels)
Support provided through the GForge websitePublic forumsPublic mailing list Public trackerPublic documentation (published papers, user requirements, toolset requirements, user manuals, tool qualification plan user template, public case studies …)Public releases
www.geneauto.orgFrontend to the GForge collaborative site – highlights essential information and guides to detailed information either in GForge or Gene-Auto Pro site
23/09/2009 Gene-Auto development status and support Gene-Auto 2 - Aerospace Valley - IB Krates
14
www.geneauto.org
23/09/2009 Gene-Auto development status and support Gene-Auto 2 - Aerospace Valley - IB Krates
15
Commercial support
Dedicated development and support contracts IB Krates, Alyotech
Gene-Auto Progeneauto.krates.ee, IB KratesFlat-fee based maintenance schemeAccess to the latest developments (development snapshots and releases)Knowledgebase, FAQ, detailed user manualsE-mail and phone supportTask database (Customised front-end for gPM) (not yet available)Vote on CCB (Change Control Board)Testing framework and extra tools (not yet available)
23/09/2009 Gene-Auto development status and support Gene-Auto 2 - Aerospace Valley - IB Krates
16
Gene-Auto PRO
23/09/2009 Gene-Auto development status and support Gene-Auto 2 - Aerospace Valley - IB Krates
17
Gene-Auto PRO subscription levels
Gene-auto Pro registered user (free)Access to knowledgebase (public)Access to error reporting module (read only)
Subscriber silverAccess to knowledgebase (pro+public)Access to latest releases and development snapshotsAccess to documentationAccess to error reporting module (read-write)
Subscriber goldVote on CCBUnlimited e-mail support
Subscriber platinumDedicated budgetPhone support
23/09/2009 Gene-Auto development status and support Gene-Auto 2 - Aerospace Valley - IB Krates
18
Change Control Board (CCB)
All changes are coordinated by the CCBCCB is a virtual body composed of
End users with active maintenance contractGene-Auto PRO subscribersRepresentatives of developers
CCB meetingsDetermine the priorities of toolset developmentApprove, postpone or reject proposed changes
23/09/2009 Gene-Auto development status and support Gene-Auto 2 - Aerospace Valley - IB Krates
19
Future
Ada backendEstimated beta version by the end of 2009
Potential additions SysML importer, Simulink exporter, Support for a subset of the Matlab languageVerification toolsOptimisation, target adaptation
Supporting infrastructureQualification data preparationIncreasing the robustness of the toolGrowing the user base
23/09/2009 Gene-Auto development status and support Gene-Auto 2 - Aerospace Valley - IB Krates
20
Thank you!
geneauto.krates.ee
www.geneauto.org