Critical and High Assurance Requirements Transformed through Engineering Rigour
Project News (18)
| Featured Discussions |
|---|
 Charter Project ShowcaseThe CHARTER Project will provide innovative packaging of knowledge and training as part of its dissemination activities during the final ph… Started by Alec DorlingLatest Reply |
| Discussions | Replies | Latest Activity |
|---|---|---|
 CHARTER avionics demonstrator works!NLR has successfully integrated the avionics use case, the environment simulator and the soft cockpit panels. The avionics use case is a si… Started by Klaas Wiegmink |
0 | May 24, 2012 |
 New Release of Virtual Box Image with CHARTER tool chain installedHi Charter partners,We, in cooperation with Enschede and Chalmers, have prepared a new release of the VirtualBox image. It is 2 GiB in size… Started by Marko van Eekelen |
0 | May 24, 2012 |
KeYTestGen+KeYFloat Eclipse Plugin released!The latest version of KeYTestGen+KeYFloat Eclipse plugin has been released. Now KeYTestGen can deal with unavailable library code, by gener… Started by Gabriele Paganelli |
1 |
May 23, 2012 Reply by Gabriele Paganelli |
KeYFloat extends KeY to handle floating-point data typesKeYFloat is an extension of KeY to handle floating-point computations. It relies on KeY and on experimental SMT solvers to verify propertie… Started by Gabriele Paganelli |
0 | May 23, 2012 |
 A Short Argument for Declarative Transformation DevelopmentDue to increasing use of domain specific languages (DSLs), declarative style of modeling is quetly spreading among users of MDE tools. Inde… Started by Andriy Levytskyy |
0 | Mar 22, 2012 |
A customer perspective on added value of MDE toolsRecently I came across an interesting article by Jordi Cabot, in which he shares a tool vendor’s experience of high customer acquisition co… Started by Andriy Levytskyy |
0 | Feb 27, 2012 |
 New Standards for Certifying Avionics Software have been accepted by the RTCAThe update of DO-178/ED-12 and DO-278/ED-109 has been completed and accepted by the RTCA. EUROCAE acceptance is also expected soon. This… Started by Dr. James J. Hunt |
0 | Jan 26, 2012 |
Charter Project meeting, Hengelo, 8-9 December 2011The Charter Project held its quarterly project meeting in Hengelo on 8 and 9 December. Thales Nederland kindly provided interesting indust… Started by Andriy Levytskyy |
0 | Jan 12, 2012 |
Wind River supports the CHARTER projectThe National Aerospace Laboratory NLR, in its role as industrial use partner, develops a demonstrator for the avionics domain. This demonst… Started by Gosse Wedzinga |
0 | Nov 21, 2011 |
CHARTER Surveillance Use Case – Industrial EvaluationThis month, Luminis has started development of a surveillance use case. The purpose of the case is industrial assessment and validation of… Started by Andriy Levytskyy |
0 | Oct 21, 2011 |
© 2013 Created by Alec Dorling.
