ASSERT Data Modelling Toolchain http://www.semantix.gr/assertTools/ The tools developed by Semantix to cover the Data Modeling requirements of the ASSERT project and the projects that extended it (Data Modeling, asn1scc and Data Modeling Tuning). These tools are used to create the necessary translation and interworking units that ASSERT's Data Modeling depends on. In essence, they allow code generated by different modeling tools to interwork without user involvement in the message marshaling process. en-us Thursday, 29 Jan 2009 13:05:32 EET Bugfix in C backend of ASN.1 compiler http://www.semantix.gr/assertTools/downloads.html Bugfix in C backend of ASN.1 compiler ttsiodras@semantix.gr May 16, 2012 EET Mantis tickets 294 and 295, as well as PyChecker fixes http://www.semantix.gr/assertTools/downloads.html Mantis tickets 294 and 295, as well as PyChecker fixes ttsiodras@semantix.gr May 5, 2012 EET Bugfix in ASN1SCC for empty SEQUENCE OF values http://www.semantix.gr/assertTools/downloads.html Bugfix in ASN1SCC for empty SEQUENCE OF values ttsiodras@semantix.gr April 26, 2012 EET When using CHOICEs and ACN, a corner case was not handled - bug fixed. http://www.semantix.gr/assertTools/downloads.html When using CHOICEs and ACN, a corner case was not handled - bug fixed. ttsiodras@semantix.gr April 24, 2012 EET In smp2asn, emit typedefs when mapping types discovered to be semantically identical http://www.semantix.gr/assertTools/downloads.html In smp2asn, emit typedefs when mapping types discovered to be semantically identical ttsiodras@semantix.gr April 17, 2012 EET Reintroduced option -a to msc2py http://www.semantix.gr/assertTools/downloads.html Reintroduced option -a to msc2py ttsiodras@semantix.gr April 12, 2012 EET SpaceBel request - smp2asn now prefixes types with namespace value. http://www.semantix.gr/assertTools/downloads.html SpaceBel request - smp2asn now prefixes types with namespace value. ttsiodras@semantix.gr April 10, 2012 EET Robust SMP2 to ASN.1 conversions and mergings http://www.semantix.gr/assertTools/downloads.html Robust SMP2 to ASN.1 conversions and mergings ttsiodras@semantix.gr April 9, 2012 EET Added new tool - smp2asn - that performs mapping and merging of SMP2 Catalogue types to ASN.1 http://www.semantix.gr/assertTools/downloads.html Added new tool - smp2asn - that performs mapping and merging of SMP2 Catalogue types to ASN.1 ttsiodras@semantix.gr April 5, 2012 EET Extract ACN spec from the IF view http://www.semantix.gr/assertTools/downloads.html Extract ACN spec from the IF view ttsiodras@semantix.gr April 2, 2012 EET Minor fixes for better portability of Python Makefiles http://www.semantix.gr/assertTools/downloads.html Minor fixes for better portability of Python Makefiles ttsiodras@semantix.gr March 29, 2012 EET Bugfix for quotes in IA5Strings http://www.semantix.gr/assertTools/downloads.html Bugfix for quotes in IA5Strings ttsiodras@semantix.gr March 23, 2012 EET Added ACN support to Python A mapper, and file checks for msc2py parameters http://www.semantix.gr/assertTools/downloads.html Added ACN support to Python A mapper, and file checks for msc2py parameters ttsiodras@semantix.gr March 22, 2012 EET Updated SMP2 A mapper implementing SpaceBel suggestions http://www.semantix.gr/assertTools/downloads.html Updated SMP2 A mapper implementing SpaceBel suggestions ttsiodras@semantix.gr March 22, 2012 EET Switched to official #pragma based coverage markers http://www.semantix.gr/assertTools/downloads.html Switched to official #pragma based coverage markers ttsiodras@semantix.gr March 19, 2012 EET Fixes in the new PySide mapper and the MSCtoPython StringTemplate http://www.semantix.gr/assertTools/downloads.html Fixes in the new PySide mapper and the MSCtoPython StringTemplate ttsiodras@semantix.gr March 15, 2012 EET Pychecker and flake8 fixes in new pyside mapper. http://www.semantix.gr/assertTools/downloads.html Pychecker and flake8 fixes in new pyside mapper. ttsiodras@semantix.gr March 14, 2012 EET Changes requested by ESA in asn2aadlPlus for ticket 282 http://www.semantix.gr/assertTools/downloads.html Changes requested by ESA in asn2aadlPlus for ticket 282 ttsiodras@semantix.gr March 12, 2012 EET asn2dataModel and aadl2glueC cleanup with flake8 http://www.semantix.gr/assertTools/downloads.html asn2dataModel and aadl2glueC cleanup with flake8 ttsiodras@semantix.gr March 5, 2012 EET First implementation of an SMP2 mapper for datatypes. http://www.semantix.gr/assertTools/downloads.html First implementation of an SMP2 mapper for datatypes. ttsiodras@semantix.gr February 29, 2012 EET A mappers cleanup with flake8 http://www.semantix.gr/assertTools/downloads.html A mappers cleanup with flake8 ttsiodras@semantix.gr February 22, 2012 EET B mappers cleanup with flake8 http://www.semantix.gr/assertTools/downloads.html B mappers cleanup with flake8 ttsiodras@semantix.gr February 22, 2012 EET Handle Python mappers for systems with no TMs http://www.semantix.gr/assertTools/downloads.html Handle Python mappers for systems with no TMs ttsiodras@semantix.gr February 21, 2012 EET Mantis ticket 276 http://www.semantix.gr/assertTools/downloads.html Mantis ticket 276 ttsiodras@semantix.gr January 30, 2012 EET Cleanup some /tmp files when build finishes http://www.semantix.gr/assertTools/downloads.html Cleanup some /tmp files when build finishes ttsiodras@semantix.gr January 10, 2012 EET Use bookkeeping functions in PeekPoke SWIG mappers http://www.semantix.gr/assertTools/downloads.html Use bookkeeping functions in PeekPoke SWIG mappers ttsiodras@semantix.gr December 16, 2011 EET Better error messages in Cyrils old queue code http://www.semantix.gr/assertTools/downloads.html Better error messages in Cyrils old queue code ttsiodras@semantix.gr December 14, 2011 EET Added startup checks in queue_manager to make sure MQs are set properly. http://www.semantix.gr/assertTools/downloads.html Added startup checks in queue_manager to make sure MQs are set properly. ttsiodras@semantix.gr December 8, 2011 EET Message queue names now prefixed with EUID http://www.semantix.gr/assertTools/downloads.html Message queue names now prefixed with EUID ttsiodras@semantix.gr December 6, 2011 EET PyChecker fixups on many backends http://www.semantix.gr/assertTools/downloads.html PyChecker fixups on many backends ttsiodras@semantix.gr November 28, 2011 EET Bugfix in the ASN.1 compiler, Mantis ticket 245 http://www.semantix.gr/assertTools/downloads.html Bugfix in the ASN.1 compiler, Mantis ticket 245 ttsiodras@semantix.gr October 24, 2011 EET taste-extract-asn-from-design merging logic updated. http://www.semantix.gr/assertTools/downloads.html taste-extract-asn-from-design merging logic updated. ttsiodras@semantix.gr October 12, 2011 EET Fixed issue in EncodeReal for 64bit platforms http://www.semantix.gr/assertTools/downloads.html Fixed issue in EncodeReal for 64bit platforms ttsiodras@semantix.gr October 10, 2011 EET Fixes in msc2py gathering of ASN.1 files http://www.semantix.gr/assertTools/downloads.html Fixes in msc2py gathering of ASN.1 files ttsiodras@semantix.gr October 6, 2011 EET Added standalone utility for recreating the referenced ASN1 grammar from the design http://www.semantix.gr/assertTools/downloads.html Added standalone utility for recreating the referenced ASN1 grammar from the design ttsiodras@semantix.gr September 29, 2011 EET Fixing issues with TASTE-Directives http://www.semantix.gr/assertTools/downloads.html Fixing issues with TASTE-Directives ttsiodras@semantix.gr September 21, 2011 EET Allow AADL packages with just properties inside them http://www.semantix.gr/assertTools/downloads.html Allow AADL packages with just properties inside them ttsiodras@semantix.gr September 8, 2011 EET Fix in path handling in MSCs, Mantis ticket 214 http://www.semantix.gr/assertTools/downloads.html Fix in path handling in MSCs, Mantis ticket 214 ttsiodras@semantix.gr September 7, 2011 EET Simulink Stop blocks improved support. http://www.semantix.gr/assertTools/downloads.html Simulink Stop blocks improved support. ttsiodras@semantix.gr September 1, 2011 EET Some distros lose signals if intermediate shell is used during spawning. Fixed. http://www.semantix.gr/assertTools/downloads.html Some distros lose signals if intermediate shell is used during spawning. Fixed. ttsiodras@semantix.gr July 20, 2011 EET Solved race condition in tracerd http://www.semantix.gr/assertTools/downloads.html Solved race condition in tracerd ttsiodras@semantix.gr July 14, 2011 EET Bugfix in error reporting of ASN1SCC for ACN http://www.semantix.gr/assertTools/downloads.html Bugfix in error reporting of ASN1SCC for ACN ttsiodras@semantix.gr July 11, 2011 EET Simulink mapper enhanced, msc2py added to package http://www.semantix.gr/assertTools/downloads.html Simulink mapper enhanced, msc2py added to package ttsiodras@semantix.gr July 8, 2011 EET Fixups in MSC support after first round of tests http://www.semantix.gr/assertTools/downloads.html Fixups in MSC support after first round of tests ttsiodras@semantix.gr July 4, 2011 EET Support for MSC recording and playback completed. http://www.semantix.gr/assertTools/downloads.html Support for MSC recording and playback completed. ttsiodras@semantix.gr June 21, 2011 EET Packaged updated libESAFPGA with renamed symbols. http://www.semantix.gr/assertTools/downloads.html Packaged updated libESAFPGA with renamed symbols. ttsiodras@semantix.gr May 30, 2011 EET Now using ASN.1 variable expressions for textual outputs of exchanged messages (for MSCs) http://www.semantix.gr/assertTools/downloads.html Now using ASN.1 variable expressions for textual outputs of exchanged messages (for MSCs) ttsiodras@semantix.gr May 24, 2011 EET New version of libESAFPGA - HW tests with Serial,SpaceWire and FPGA work http://www.semantix.gr/assertTools/downloads.html New version of libESAFPGA - HW tests with Serial,SpaceWire and FPGA work ttsiodras@semantix.gr May 12, 2011 EET Fixups in Gnuplot GUI mappers http://www.semantix.gr/assertTools/downloads.html Fixups in Gnuplot GUI mappers ttsiodras@semantix.gr May 10, 2011 EET Additional Ada directives at the request of ISAE http://www.semantix.gr/assertTools/downloads.html Additional Ada directives at the request of ISAE ttsiodras@semantix.gr April 20, 2011 EET At the request of ISAE, added aliased before Ada variable definitions http://www.semantix.gr/assertTools/downloads.html At the request of ISAE, added aliased before Ada variable definitions ttsiodras@semantix.gr April 13, 2011 EET Modifications in ASN1SCC to accomodate types-only generation http://www.semantix.gr/assertTools/downloads.html Modifications in ASN1SCC to accomodate types-only generation ttsiodras@semantix.gr April 12, 2011 EET Orchestrator fixups http://www.semantix.gr/assertTools/downloads.html Orchestrator fixups ttsiodras@semantix.gr April 8, 2011 EET Added -lrt flag for building GUIs under 64bit distros http://www.semantix.gr/assertTools/downloads.html Added -lrt flag for building GUIs under 64bit distros ttsiodras@semantix.gr April 1, 2011 EET Minor fix in orchestrator http://www.semantix.gr/assertTools/downloads.html Minor fix in orchestrator ttsiodras@semantix.gr March 29, 2011 EET Fixed spurious warnings http://www.semantix.gr/assertTools/downloads.html Fixed spurious warnings ttsiodras@semantix.gr March 28, 2011 EET New ESA FPGA library for RTEMS http://www.semantix.gr/assertTools/downloads.html New ESA FPGA library for RTEMS ttsiodras@semantix.gr March 22, 2011 EET Added GUI for MSC Tracing and storing http://www.semantix.gr/assertTools/downloads.html Added GUI for MSC Tracing and storing ttsiodras@semantix.gr March 21, 2011 EET Refactoring of MSC functionality, less code, better comments http://www.semantix.gr/assertTools/downloads.html Refactoring of MSC functionality, less code, better comments ttsiodras@semantix.gr March 17, 2011 EET Fixing the Python mappers for AADLv2 projects http://www.semantix.gr/assertTools/downloads.html Fixing the Python mappers for AADLv2 projects ttsiodras@semantix.gr February 24, 2011 EET Fixed timestamps in real-time MSC diagrams, also merged inner and GUI MSCs code (msgPrinter B mapper) http://www.semantix.gr/assertTools/downloads.html Fixed timestamps in real-time MSC diagrams, also merged inner and GUI MSCs code (msgPrinter B mapper) ttsiodras@semantix.gr February 23, 2011 EET Minor bugfix in inner-MSCs http://www.semantix.gr/assertTools/downloads.html Minor bugfix in inner-MSCs ttsiodras@semantix.gr February 22, 2011 EET Finished first version of capability to monitor inner interfaces with MSCs http://www.semantix.gr/assertTools/downloads.html Finished first version of capability to monitor inner interfaces with MSCs ttsiodras@semantix.gr February 21, 2011 EET Merged message dumping machinery for easy MSC tracing of inner messages http://www.semantix.gr/assertTools/downloads.html Merged message dumping machinery for easy MSC tracing of inner messages ttsiodras@semantix.gr February 18, 2011 EET Updates to ASN1SCC http://www.semantix.gr/assertTools/downloads.html Updates to ASN1SCC ttsiodras@semantix.gr February 15, 2011 EET Real-time monitoring of TMTCs via MSC Tracer can now show message params as well. http://www.semantix.gr/assertTools/downloads.html Real-time monitoring of TMTCs via MSC Tracer can now show message params as well. ttsiodras@semantix.gr February 9, 2011 EET Runtime communication with PragmaDevs MSC Tracer http://www.semantix.gr/assertTools/downloads.html Runtime communication with PragmaDevs MSC Tracer ttsiodras@semantix.gr February 2, 2011 EET Minor patch to Simulink A mapper - accomodate assembled ASN.1 grammars http://www.semantix.gr/assertTools/downloads.html Minor patch to Simulink A mapper - accomodate assembled ASN.1 grammars ttsiodras@semantix.gr January 27, 2011 EET Support for distributed systems with VHDL component per distributed node http://www.semantix.gr/assertTools/downloads.html Support for distributed systems with VHDL component per distributed node ttsiodras@semantix.gr Dec 17, 2010 EET Added ACN sections in DataViews http://www.semantix.gr/assertTools/downloads.html Added ACN sections in DataViews ttsiodras@semantix.gr December 10, 2010 EET Code refactoring for common asn2dataModel and aadl2glueC parts, and complete coverage testing http://www.semantix.gr/assertTools/downloads.html Code refactoring for common asn2dataModel and aadl2glueC parts, and complete coverage testing ttsiodras@semantix.gr November 18, 2010 EET Made the GUIs clean up the unused entries in TM SEQUENCEOFs http://www.semantix.gr/assertTools/downloads.html Made the GUIs clean up the unused entries in TM SEQUENCEOFs ttsiodras@semantix.gr November 17, 2010 EET Moved some debug code into conditional compilation for Ada targets in ASN1SCC http://www.semantix.gr/assertTools/downloads.html Moved some debug code into conditional compilation for Ada targets in ASN1SCC ttsiodras@semantix.gr November 8, 2010 EET Minor typo fixed in Simulink B mapper http://www.semantix.gr/assertTools/downloads.html Minor typo fixed in Simulink B mapper ttsiodras@semantix.gr October 22, 2010 EET New AADLv2 support related features http://www.semantix.gr/assertTools/downloads.html New AADLv2 support related features ttsiodras@semantix.gr October 10, 2010 EET Bugfix in asn2aadlPlus to allow more than one ASN.1 file http://www.semantix.gr/assertTools/downloads.html Bugfix in asn2aadlPlus to allow more than one ASN.1 file ttsiodras@semantix.gr October 5, 2010 EET Updates for AADL-based configuration parameters for subsystems http://www.semantix.gr/assertTools/downloads.html Updates for AADL-based configuration parameters for subsystems ttsiodras@semantix.gr September 16, 2010 EET Automatically generated Gnuplot scripts for incoming telemetry http://www.semantix.gr/assertTools/downloads.html Automatically generated Gnuplot scripts for incoming telemetry ttsiodras@semantix.gr September 13, 2010 EET Graceful termination of Python threads in automatically written Python scripts http://www.semantix.gr/assertTools/downloads.html Graceful termination of Python threads in automatically written Python scripts ttsiodras@semantix.gr September 10, 2010 EET Increased default depth of GUI message queues http://www.semantix.gr/assertTools/downloads.html Increased default depth of GUI message queues ttsiodras@semantix.gr September 8, 2010 EET Minor bug in the C A mapper fixed. http://www.semantix.gr/assertTools/downloads.html Minor bug in the C A mapper fixed. ttsiodras@semantix.gr August 13, 2010 EET Removed obsolete asn1_marshallers that ocarina used to depend upon http://www.semantix.gr/assertTools/downloads.html Removed obsolete asn1_marshallers that ocarina used to depend upon ttsiodras@semantix.gr August 11, 2010 EET Astrium FPGA project now builds with RTEMS, too http://www.semantix.gr/assertTools/downloads.html Astrium FPGA project now builds with RTEMS, too ttsiodras@semantix.gr August 6, 2010 EET Applied patch from Astrium, VHDL skeletons now build with both Xilinx 9 and Xilinx 10 series http://www.semantix.gr/assertTools/downloads.html Applied patch from Astrium, VHDL skeletons now build with both Xilinx 9 and Xilinx 10 series ttsiodras@semantix.gr August 6, 2010 EET Message buffer sizes updated to account for ACN introduction http://www.semantix.gr/assertTools/downloads.html Message buffer sizes updated to account for ACN introduction ttsiodras@semantix.gr August 6, 2010 EET ACN support added to all necessary components, ACN encodings are now feasible. http://www.semantix.gr/assertTools/downloads.html ACN support added to all necessary components, ACN encodings are now feasible. ttsiodras@semantix.gr August 5, 2010 EET Bugfix in the VHDL mapper regarding variable assignments in the APB skeleton. http://www.semantix.gr/assertTools/downloads.html Bugfix in the VHDL mapper regarding variable assignments in the APB skeleton. ttsiodras@semantix.gr August 5, 2010 EET Enhanced ACN support with endianness attributes. http://www.semantix.gr/assertTools/downloads.html Enhanced ACN support with endianness attributes. ttsiodras@semantix.gr August 3, 2010 EET Added extra semantic checks in type names, to conform to AADL rules. http://www.semantix.gr/assertTools/downloads.html Added extra semantic checks in type names, to conform to AADL rules. ttsiodras@semantix.gr July 29, 2010 EET ASN.1 compiler updated to include BER and XER encodings http://www.semantix.gr/assertTools/downloads.html ASN.1 compiler updated to include BER and XER encodings ttsiodras@semantix.gr July 28, 2010 EET Coping with RTEMS compiler bugs... workarounds implemented in ASN.1 compiler http://www.semantix.gr/assertTools/downloads.html Coping with RTEMS compiler bugs... workarounds implemented in ASN.1 compiler ttsiodras@semantix.gr July 22, 2010 EET Fixed size arrays are now handled optimally from both the compiler and the B mappers http://www.semantix.gr/assertTools/downloads.html Fixed size arrays are now handled optimally from both the compiler and the B mappers ttsiodras@semantix.gr July 22, 2010 EET Bugfix for ASN.1 MODULE name inconsistencies http://www.semantix.gr/assertTools/downloads.html Bugfix for ASN.1 MODULE name inconsistencies ttsiodras@semantix.gr July 21, 2010 EET PragmaDev RTDS bidirectional test works with simple types http://www.semantix.gr/assertTools/downloads.html PragmaDev RTDS bidirectional test works with simple types ttsiodras@semantix.gr July 7, 2010 EET Added RTDS A mapper http://www.semantix.gr/assertTools/downloads.html Added RTDS A mapper ttsiodras@semantix.gr July 5, 2010 EET Removed UPM driver dependency on elaboration http://www.semantix.gr/assertTools/downloads.html Removed UPM driver dependency on elaboration ttsiodras@semantix.gr June 30, 2010 EET UPM delivered the FPGA API - TASTE system with FPGA component now creates binary for Leon with fully automated driver http://www.semantix.gr/assertTools/downloads.html UPM delivered the FPGA API - TASTE system with FPGA component now creates binary for Leon with fully automated driver ttsiodras@semantix.gr June 28, 2010 EET First version of support for ESA FPGAs as well as some bugfixes for Astrium reported issues. http://www.semantix.gr/assertTools/downloads.html First version of support for ESA FPGAs as well as some bugfixes for Astrium reported issues. ttsiodras@semantix.gr June 28, 2010 EET Valgrind warnings for alignment-driven uninitialized accesses fixed. http://www.semantix.gr/assertTools/downloads.html Valgrind warnings for alignment-driven uninitialized accesses fixed. ttsiodras@semantix.gr June 21, 2010 EET PolyORB-HI/C builds of Simulink projects now supported. http://www.semantix.gr/assertTools/downloads.html PolyORB-HI/C builds of Simulink projects now supported. ttsiodras@semantix.gr June 17, 2010 EET Po-HI-C fixups in the orchestrator and buildsupport http://www.semantix.gr/assertTools/downloads.html Po-HI-C fixups in the orchestrator and buildsupport ttsiodras@semantix.gr June 16, 2010 EET Ada A mapper now uses the ASN.1 compiler http://www.semantix.gr/assertTools/downloads.html Ada A mapper now uses the ASN.1 compiler ttsiodras@semantix.gr June 15, 2010 EET Ada model mappings are now using the ASN.1 compiler support for Ada - regression suite adapted http://www.semantix.gr/assertTools/downloads.html Ada model mappings are now using the ASN.1 compiler support for Ada - regression suite adapted ttsiodras@semantix.gr June 11, 2010 EET Updates in the ASN.1 compiler relating to Ada. http://www.semantix.gr/assertTools/downloads.html Updates in the ASN.1 compiler relating to Ada. ttsiodras@semantix.gr June 8, 2010 EET Completed ACN support for both C and Ada. http://www.semantix.gr/assertTools/downloads.html Completed ACN support for both C and Ada. ttsiodras@semantix.gr June 4, 2010 EET Ada structures now align perfectly with C ones - NATIVE encodings possible. http://www.semantix.gr/assertTools/downloads.html Ada structures now align perfectly with C ones - NATIVE encodings possible. ttsiodras@semantix.gr June 2, 2010 EET Bugfix in the new compiler, in escalating ENUMERATED encoding errors. http://www.semantix.gr/assertTools/downloads.html Bugfix in the new compiler, in escalating ENUMERATED encoding errors. ttsiodras@semantix.gr June 1, 2010 EET VM updated, bugfix for asn2dataModel, spotted by Astrium. http://www.semantix.gr/assertTools/downloads.html VM updated, bugfix for asn2dataModel, spotted by Astrium. ttsiodras@semantix.gr May 25, 2010 EET Automatic updates from within the VM are now operational. http://www.semantix.gr/assertTools/downloads.html Automatic updates from within the VM are now operational. ttsiodras@semantix.gr May 24, 2010 EET Bugfix in ocarina - VM updated. http://www.semantix.gr/assertTools/downloads.html Bugfix in ocarina - VM updated. ttsiodras@semantix.gr May 24, 2010 EET Brand new ASN.1 compiler - support uPER,Native,ECN for both C and Ada. http://www.semantix.gr/assertTools/downloads.html Brand new ASN.1 compiler - support uPER,Native,ECN for both C and Ada. ttsiodras@semantix.gr May 21, 2010 EET Bugfix in ASN.1 compiler regarding C++ namespaces and CHOICE or ENUMERATED enumerant selectors. http://www.semantix.gr/assertTools/downloads.html Bugfix in ASN.1 compiler regarding C++ namespaces and CHOICE or ENUMERATED enumerant selectors. ttsiodras@semantix.gr May 18, 2010 EET Complete SCADE support, including type mapping, skeletons and runtime bridges. http://www.semantix.gr/assertTools/downloads.html Complete SCADE support, including type mapping, skeletons and runtime bridges. ttsiodras@semantix.gr May 18, 2010 EET Full source code now included in the package, see <a href="license.html">license information</a>. http://www.semantix.gr/assertTools/downloads.html Full source code now included in the package, see license information. ttsiodras@semantix.gr May 17, 2010 EET New features and bugfixes in buildsupport http://www.semantix.gr/assertTools/downloads.html New features and bugfixes in buildsupport ttsiodras@semantix.gr May 12, 2010 EET Bugfixes in the ASN.1 Compiler regarding variables handling http://www.semantix.gr/assertTools/downloads.html Bugfixes in the ASN.1 Compiler regarding variables handling ttsiodras@semantix.gr May 6, 2010 EET Bugfixes made after bug reports for ASN.1 MODULE handling http://www.semantix.gr/assertTools/downloads.html Bugfixes made after bug reports for ASN.1 MODULE handling ttsiodras@semantix.gr May 5, 2010 EET Now running with GCC4.4, the latest version of Ocarina, and with many minor bugfixes and features. http://www.semantix.gr/assertTools/downloads.html Now running with GCC4.4, the latest version of Ocarina, and with many minor bugfixes and features. ttsiodras@semantix.gr April 16, 2010 EET Additional semantic checks right after ASN.1 parsing http://www.semantix.gr/assertTools/downloads.html Additional semantic checks right after ASN.1 parsing ttsiodras@semantix.gr March 30, 2010 EET Downloads: VM updated with RTEMS/Leon2 BSP. http://www.semantix.gr/assertTools/downloads.html Downloads: VM updated with RTEMS/Leon2 BSP. ttsiodras@semantix.gr March 29, 2010 EET Backends refactored after processing with PyLint. http://www.semantix.gr/assertTools/downloads.html Backends refactored after processing with PyLint. ttsiodras@semantix.gr March 10, 2010 EET Minor bugfixes - Build process detects early if you use non-unique enumerated fields - Logging facilities for GUI message queues improved - Added ASSERT_IGNORE_PYTHON_ERRORS and ASSERT_IGNORE_GUI_ERRORS to disable message queue full reports - Build process detects it early if you use empty TCs http://www.semantix.gr/assertTools/downloads.html Minor bugfixes - Build process detects early if you use non-unique enumerated fields - Logging facilities for GUI message queues improved - Added ASSERT_IGNORE_PYTHON_ERRORS and ASSERT_IGNORE_GUI_ERRORS to disable message queue full reports - Build process detects it early if you use empty TCs ttsiodras@semantix.gr March 9, 2010 EET Bugfix in runtime backdoors - requested by TERMA http://www.semantix.gr/assertTools/downloads.html Bugfix in runtime backdoors - requested by TERMA ttsiodras@semantix.gr March 3, 2010 EET All build steps allow for 64bit integers, but did not enforce usage of ranges. Ranges are now mandatory. http://www.semantix.gr/assertTools/downloads.html All build steps allow for 64bit integers, but did not enforce usage of ranges. Ranges are now mandatory. ttsiodras@semantix.gr February 23, 2010 EET First release of SystemC and VHDL mappers - successfully used for realization of simple designs on a ZestSC1 - Xilinx XC3S1000. http://www.semantix.gr/assertTools/downloads.html First release of SystemC and VHDL mappers - successfully used for realization of simple designs on a ZestSC1 - Xilinx XC3S1000. ttsiodras@semantix.gr February 11, 2010 EET In some cases, missing range specs did not cause an error - fixed. http://www.semantix.gr/assertTools/downloads.html In some cases, missing range specs did not cause an error - fixed. ttsiodras@semantix.gr January 21, 2010 EET Build system updated to be completely gnatmake driven (building of complex Ada projects is now much easier). Backdoors to PIs are now automatically generated for quick prototyping of legacy systems (at the request of TERMA). PIs and RIs now have subsystem prefixes. http://www.semantix.gr/assertTools/downloads.html Build system updated to be completely gnatmake driven (building of complex Ada projects is now much easier). Backdoors to PIs are now automatically generated for quick prototyping of legacy systems (at the request of TERMA). PIs and RIs now have subsystem prefixes. ttsiodras@semantix.gr January 7, 2010 EET The mode change in queue_manager stopped the Python glue from working - fixed. http://www.semantix.gr/assertTools/downloads.html The mode change in queue_manager stopped the Python glue from working - fixed. ttsiodras@semantix.gr December 15, 2009 EET Extra ADA directories were not passed to ADA_INCLUDE_PATH - fixed. http://www.semantix.gr/assertTools/downloads.html Extra ADA directories were not passed to ADA_INCLUDE_PATH - fixed. ttsiodras@semantix.gr December 1, 2009 EET Moved some more runtime messages to debug_printf for GUIs http://www.semantix.gr/assertTools/downloads.html Moved some more runtime messages to debug_printf for GUIs ttsiodras@semantix.gr November 25, 2009 EET Python stubs and GUIs use separate TM channels http://www.semantix.gr/assertTools/downloads.html Python stubs and GUIs use separate TM channels ttsiodras@semantix.gr November 24, 2009 EET Race conditions in GUIs fixed, orchestrator bug in fast rebuilds fixed. http://www.semantix.gr/assertTools/downloads.html Race conditions in GUIs fixed, orchestrator bug in fast rebuilds fixed. ttsiodras@semantix.gr November 24, 2009 EET New Ada mappings for BOOLEAN and INTEGER. Depends on new GNAT for Leon (version 2.1.1), for correct support of 64bit values. http://www.semantix.gr/assertTools/downloads.html New Ada mappings for BOOLEAN and INTEGER. Depends on new GNAT for Leon (version 2.1.1), for correct support of 64bit values. ttsiodras@semantix.gr November 20, 2009 EET Paired with a new version of Ocarina, support for AADLv2 is completed. Also, buildsupport updates for easy interfacing with the ASSERT orchestrator. http://www.semantix.gr/assertTools/downloads.html Paired with a new version of Ocarina, support for AADLv2 is completed. Also, buildsupport updates for easy interfacing with the ASSERT orchestrator. ttsiodras@semantix.gr October 19, 2009 EET More semantic checks in buildsupport http://www.semantix.gr/assertTools/downloads.html More semantic checks in buildsupport ttsiodras@semantix.gr October 16, 2009 EET asn2aadlPlus bug for AADLv2, fixed http://www.semantix.gr/assertTools/downloads.html asn2aadlPlus bug for AADLv2, fixed ttsiodras@semantix.gr October 13, 2009 EET buildsupport rebuilt with GNAT (updated build procedure) http://www.semantix.gr/assertTools/downloads.html buildsupport rebuilt with GNAT (updated build procedure) ttsiodras@semantix.gr October 19, 2009 EET Orchestrator and buildsupport updates to support AADLv2 http://www.semantix.gr/assertTools/downloads.html Orchestrator and buildsupport updates to support AADLv2 ttsiodras@semantix.gr October 13, 2009 EET Added support for AADLv2 syntax to asn2aadlPlus http://www.semantix.gr/assertTools/downloads.html Added support for AADLv2 syntax to asn2aadlPlus ttsiodras@semantix.gr October 12, 2009 EET At the request of SSF, the C skeletons are now named according to the subsystem name http://www.semantix.gr/assertTools/downloads.html At the request of SSF, the C skeletons are now named according to the subsystem name ttsiodras@semantix.gr October 9, 2009 EET Rebuilds are now checking the MD5 sums of the input files, and only invoke the code generators if the file contents have changed. This boosts the rebuild speeds by more than 400% http://www.semantix.gr/assertTools/downloads.html Rebuilds are now checking the MD5 sums of the input files, and only invoke the code generators if the file contents have changed. This boosts the rebuild speeds by more than 400% ttsiodras@semantix.gr October 8, 2009 EET Bugfixes in ASN1SCC (more strict grammar checking) http://www.semantix.gr/assertTools/downloads.html Bugfixes in ASN1SCC (more strict grammar checking) ttsiodras@semantix.gr September 17, 2009 EET Minor bugfixes http://www.semantix.gr/assertTools/downloads.html Minor bugfixes ttsiodras@semantix.gr September 16, 2009 EET Improved the way "--with-extra-Ada-code" and "--with-extra-C-code" work. http://www.semantix.gr/assertTools/downloads.html Improved the way "--with-extra-Ada-code" and "--with-extra-C-code" work. ttsiodras@semantix.gr September 11, 2009 EET Make asn2aadlPlus work OK in PATH-based invocation http://www.semantix.gr/assertTools/downloads.html Make asn2aadlPlus work OK in PATH-based invocation ttsiodras@semantix.gr September 10, 2009 EET The contents of the directories passed with --extra-Ada-code are copied as-is in the Ada subsystems http://www.semantix.gr/assertTools/downloads.html The contents of the directories passed with --extra-Ada-code are copied as-is in the Ada subsystems ttsiodras@semantix.gr September 9, 2009 EET Ada A mapper modified to cover requests from TERMA http://www.semantix.gr/assertTools/downloads.html Ada A mapper modified to cover requests from TERMA ttsiodras@semantix.gr September 9, 2009 EET Made the --retry option of the orchestrator a default behaviour - and removed the option. http://www.semantix.gr/assertTools/downloads.html Made the --retry option of the orchestrator a default behaviour - and removed the option. ttsiodras@semantix.gr September 4, 2009 EET Added option "--retry" to the orchestrator, to allow for faster debugging of issues (no need to wait for compilation to start from the beginning) http://www.semantix.gr/assertTools/downloads.html Added option "--retry" to the orchestrator, to allow for faster debugging of issues (no need to wait for compilation to start from the beginning) ttsiodras@semantix.gr September 3, 2009 EET First working draft of PragmaDev RTDS support http://www.semantix.gr/assertTools/downloads.html First working draft of PragmaDev RTDS support ttsiodras@semantix.gr September 3, 2009 EET asn1Scc prefix used for enumerant values, too http://www.semantix.gr/assertTools/downloads.html asn1Scc prefix used for enumerant values, too ttsiodras@semantix.gr September 2, 2009 EET Bugfix in buildsupport regarding (un)protected interfaces calling RI http://www.semantix.gr/assertTools/downloads.html Bugfix in buildsupport regarding (un)protected interfaces calling RI ttsiodras@semantix.gr September 2, 2009 EET Bugfix in ASN1SCC error codes usage http://www.semantix.gr/assertTools/downloads.html Bugfix in ASN1SCC error codes usage ttsiodras@semantix.gr September 1, 2009 EET Always clear the Python encoding output buffers. http://www.semantix.gr/assertTools/downloads.html Always clear the Python encoding output buffers. ttsiodras@semantix.gr August 31, 2009 EET GUIs and Python bridges always use NATIVE encodings. http://www.semantix.gr/assertTools/downloads.html GUIs and Python bridges always use NATIVE encodings. ttsiodras@semantix.gr August 13, 2009 EET Memory leak in queue manager. Fixed. http://www.semantix.gr/assertTools/downloads.html Memory leak in queue manager. Fixed. ttsiodras@semantix.gr August 13, 2009 EET Two updates: (1) Major: passive APLCs (protected/unprotected) are now allowed to call other RIs and (2) the orchestrator now allows us to specify the desired stack size. Python bridges are also reported only if their construction was actually requested (via the "GUI" properties). http://www.semantix.gr/assertTools/downloads.html Two updates: (1) Major: passive APLCs (protected/unprotected) are now allowed to call other RIs and (2) the orchestrator now allows us to specify the desired stack size. Python bridges are also reported only if their construction was actually requested (via the "GUI" properties). ttsiodras@semantix.gr August 12, 2009 EET Completed support for Python: The "GUI" directives in the IF view now trigger two things: (a) the automatically-written GUIs for TM/TCs, in wxWidgets/C++ and (b) complete Python scripts and SWIG bridges, that allow ASSERT users to "talk" (at runtime) to the ASSERT-generated binaries. This means that complex test-scenarios, exercising the on-board software by sending TCs/receiving TMs/checking outputs and timings/etc, can all be written in simple Python scripts. This greatly enhances the testing capacity offered by the ASSERT platform. http://www.semantix.gr/assertTools/downloads.html Completed support for Python: The "GUI" directives in the IF view now trigger two things: (a) the automatically-written GUIs for TM/TCs, in wxWidgets/C++ and (b) complete Python scripts and SWIG bridges, that allow ASSERT users to "talk" (at runtime) to the ASSERT-generated binaries. This means that complex test-scenarios, exercising the on-board software by sending TCs/receiving TMs/checking outputs and timings/etc, can all be written in simple Python scripts. This greatly enhances the testing capacity offered by the ASSERT platform. ttsiodras@semantix.gr August 11, 2009 EET 100% statement coverage on the Python A-mapper http://www.semantix.gr/assertTools/downloads.html 100% statement coverage on the Python A-mapper ttsiodras@semantix.gr August 9, 2009 EET Typo in the new Python mapper http://www.semantix.gr/assertTools/downloads.html Typo in the new Python mapper ttsiodras@semantix.gr August 9, 2009 EET Major update: Python support added, which allows access to ASN1SCC encoders, decoders and structures http://www.semantix.gr/assertTools/downloads.html Major update: Python support added, which allows access to ASN1SCC encoders, decoders and structures ttsiodras@semantix.gr August 9, 2009 EET Updated orchestrator usage with new coverage option. http://www.semantix.gr/assertTools/downloads.html Updated orchestrator usage with new coverage option. ttsiodras@semantix.gr July 22, 2009 EET Added orchestrator option for checking coverage in the generated applications. http://www.semantix.gr/assertTools/downloads.html Added orchestrator option for checking coverage in the generated applications. ttsiodras@semantix.gr July 22, 2009 EET Makefiles generated by RTW use -fPIC. Removed. http://www.semantix.gr/assertTools/downloads.html Makefiles generated by RTW use -fPIC. Removed. ttsiodras@semantix.gr July 21, 2009 EET Simulink subsystems can now also be built via the embedded makefiles generated by RTW. http://www.semantix.gr/assertTools/downloads.html Simulink subsystems can now also be built via the embedded makefiles generated by RTW. ttsiodras@semantix.gr July 21, 2009 EET ASN.1 grammars that included SEQUENCE OF ranges using "INCLUDES" had a bug. Fixed. http://www.semantix.gr/assertTools/downloads.html ASN.1 grammars that included SEQUENCE OF ranges using "INCLUDES" had a bug. Fixed. ttsiodras@semantix.gr July 14, 2009 EET ASN.1 grammars without any constraints caused an error in the GUI code generation. Fixed. http://www.semantix.gr/assertTools/downloads.html ASN.1 grammars without any constraints caused an error in the GUI code generation. Fixed. ttsiodras@semantix.gr July 13, 2009 EET Bugfixes in the Subsystem specific initializers. http://www.semantix.gr/assertTools/downloads.html Bugfixes in the Subsystem specific initializers. ttsiodras@semantix.gr July 10, 2009 EET Subsystem specific initializers are now generated for the user-code to fill-in. http://www.semantix.gr/assertTools/downloads.html Subsystem specific initializers are now generated for the user-code to fill-in. ttsiodras@semantix.gr July 9, 2009 EET Buildsupport can now run standalone. http://www.semantix.gr/assertTools/downloads.html Buildsupport can now run standalone. ttsiodras@semantix.gr June 29, 2009 EET The orchestrator now adds the extraCdir in the include paths used to compile the C subsystems. http://www.semantix.gr/assertTools/downloads.html The orchestrator now adds the extraCdir in the include paths used to compile the C subsystems. ttsiodras@semantix.gr June 17, 2009 EET Bugfix in buildsupport, about (1) non-connected PIs and (2) more than one RIs invoking the same PI concurrently. http://www.semantix.gr/assertTools/downloads.html Bugfix in buildsupport, about (1) non-connected PIs and (2) more than one RIs invoking the same PI concurrently. ttsiodras@semantix.gr June 10, 2009 EET Semantic checks added to buildsupport - invalid system designs are now detected and reported. http://www.semantix.gr/assertTools/downloads.html Semantic checks added to buildsupport - invalid system designs are now detected and reported. ttsiodras@semantix.gr June 5, 2009 EET RTEMS/C and RTEMS/Ada are now working. Minor orchestrator fixups. Also, asn2dataModel -toC now automatically calls ASN1SCC. http://www.semantix.gr/assertTools/downloads.html RTEMS/C and RTEMS/Ada are now working. Minor orchestrator fixups. Also, asn2dataModel -toC now automatically calls ASN1SCC. ttsiodras@semantix.gr June 4, 2009 EET Support added for building binaries using <a href="http://www.rtems.com">RTEMS</a>. ASSERT-VM updated, can now generate binaries for Leon using either GNAT for Leon or RTEMS. http://www.semantix.gr/assertTools/downloads.html Support added for building binaries using RTEMS. ASSERT-VM updated, can now generate binaries for Leon using either GNAT for Leon or RTEMS. ttsiodras@semantix.gr May 25, 2009 EET If a message queue was not setup correctly, the Auto-GUIs proceeded anyway - fixed. Also, added two utilities to handle message queues (the "ipcs" tool did not handle them). http://www.semantix.gr/assertTools/downloads.html If a message queue was not setup correctly, the Auto-GUIs proceeded anyway - fixed. Also, added two utilities to handle message queues (the "ipcs" tool did not handle them). ttsiodras@semantix.gr May 22, 2009 EET Removed stale dependency from auto-GUI Makefiles. http://www.semantix.gr/assertTools/downloads.html Removed stale dependency from auto-GUI Makefiles. ttsiodras@semantix.gr May 20, 2009 EET Memory issues corrected in buildsupport. http://www.semantix.gr/assertTools/downloads.html Memory issues corrected in buildsupport. ttsiodras@semantix.gr May 18, 2009 EET New functionality in buildsupport and orchestrator to support distributed systems. http://www.semantix.gr/assertTools/downloads.html New functionality in buildsupport and orchestrator to support distributed systems. ttsiodras@semantix.gr May 14, 2009 EET Bugfixes in buildsupport. http://www.semantix.gr/assertTools/downloads.html Bugfixes in buildsupport. ttsiodras@semantix.gr May 8, 2009 EET GUIs with no parameters are not processed anymore. http://www.semantix.gr/assertTools/downloads.html GUIs with no parameters are not processed anymore. ttsiodras@semantix.gr March 23, 2009 EET Added new command line options to orchestrator: --with-extra-C-code, --with-extra-Ada-code and --with-extra-lib. http://www.semantix.gr/assertTools/downloads.html Added new command line options to orchestrator: --with-extra-C-code, --with-extra-Ada-code and --with-extra-lib. ttsiodras@semantix.gr March 10, 2009 EET Simulink mapper: Better handling of fixed size arrays. http://www.semantix.gr/assertTools/downloads.html Simulink mapper: Better handling of fixed size arrays. ttsiodras@semantix.gr March 9, 2009 EET Minor orchestrator changes to use symlinks for common GUI code. http://www.semantix.gr/assertTools/downloads.html Minor orchestrator changes to use symlinks for common GUI code. ttsiodras@semantix.gr March 4, 2009 EET Minor orchestrator changes to lessen the clutter in the GUI directories. http://www.semantix.gr/assertTools/downloads.html Minor orchestrator changes to lessen the clutter in the GUI directories. ttsiodras@semantix.gr February 25, 2009 EET Simulink mappers work: OCTET STRINGs now use array (dimensions), A mapper uses pseudotypes as the Ada mapper, many bugfixes using statement coverage checks, SEQ/SET OFs using primitive types are mapped using arrays. http://www.semantix.gr/assertTools/downloads.html Simulink mappers work: OCTET STRINGs now use array (dimensions), A mapper uses pseudotypes as the Ada mapper, many bugfixes using statement coverage checks, SEQ/SET OFs using primitive types are mapped using arrays. ttsiodras@semantix.gr February 19, 2009 EET Ada A mapper uses Integer'Size, not 32. Also, updated orchestrator to fix a Leon regression. http://www.semantix.gr/assertTools/downloads.html Ada A mapper uses Integer'Size, not 32. Also, updated orchestrator to fix a Leon regression. ttsiodras@semantix.gr February 11, 2009 EET Orchestrator update: Moving the created binaries in a common place. http://www.semantix.gr/assertTools/downloads.html Orchestrator update: Moving the created binaries in a common place. ttsiodras@semantix.gr February 10, 2009 EET NATIVE encodings are now using the same structures for all languages/tools. http://www.semantix.gr/assertTools/downloads.html NATIVE encodings are now using the same structures for all languages/tools. ttsiodras@semantix.gr February 9, 2009 EET Attempting to use variant records for Ada CHOICEs. http://www.semantix.gr/assertTools/downloads.html Attempting to use variant records for Ada CHOICEs. ttsiodras@semantix.gr February 5, 2009 EET OG A mapper is now using the AST. http://www.semantix.gr/assertTools/downloads.html OG A mapper is now using the AST. ttsiodras@semantix.gr February 4, 2009 EET Better mapping for Ada enumerated values. http://www.semantix.gr/assertTools/downloads.html Better mapping for Ada enumerated values. ttsiodras@semantix.gr February 3, 2009 EET Bugfix in asn2aadlPlus. More work on the Ada mapper. http://www.semantix.gr/assertTools/downloads.html Bugfix in asn2aadlPlus. More work on the Ada mapper. ttsiodras@semantix.gr January 30, 2009 EET Ada mapper now uses type aliases. http://www.semantix.gr/assertTools/downloads.html Ada mapper now uses type aliases. ttsiodras@semantix.gr January 29, 2009 EET Some more fixes on the Ada mapper and the Ada example. http://www.semantix.gr/assertTools/downloads.html Some more fixes on the Ada mapper and the Ada example. ttsiodras@semantix.gr January 28, 2009 EET Fixups on Ada mapper, removal of obsolete tools, updates to Ada-sample (now uses ASN1SCC). http://www.semantix.gr/assertTools/downloads.html Fixups on Ada mapper, removal of obsolete tools, updates to Ada-sample (now uses ASN1SCC). ttsiodras@semantix.gr January 25, 2009 EET Some fixups on buildsupport. http://www.semantix.gr/assertTools/downloads.html Some fixups on buildsupport. ttsiodras@semantix.gr December 19, 2008 EET GUI TC tests completed. All fields pass. http://www.semantix.gr/assertTools/downloads.html GUI TC tests completed. All fields pass. ttsiodras@semantix.gr November 17, 2008 EET More ASN2AADL updates for ocarina. http://www.semantix.gr/assertTools/downloads.html More ASN2AADL updates for ocarina. ttsiodras@semantix.gr November 14, 2008 EET Major: ASN1SCC advanced parser now used for all tools. http://www.semantix.gr/assertTools/downloads.html Major: ASN1SCC advanced parser now used for all tools. ttsiodras@semantix.gr November 13, 2008 EET ASN2AADL updates (to support new ocarina). http://www.semantix.gr/assertTools/downloads.html ASN2AADL updates (to support new ocarina). ttsiodras@semantix.gr October 29, 2008 EET Default OG REAL set to double. http://www.semantix.gr/assertTools/downloads.html Default OG REAL set to double. ttsiodras@semantix.gr October 10, 2008 EET Using new ocarina, thus some updates. http://www.semantix.gr/assertTools/downloads.html Using new ocarina, thus some updates. ttsiodras@semantix.gr October 8, 2008 EET Simulink models now renamed for easier usage. http://www.semantix.gr/assertTools/downloads.html Simulink models now renamed for easier usage. ttsiodras@semantix.gr September 23, 2008 EET Automatic GUIs now output telemetry to stdout - for use with GnuPlot script. http://www.semantix.gr/assertTools/downloads.html Automatic GUIs now output telemetry to stdout - for use with GnuPlot script. ttsiodras@semantix.gr September 22, 2008 EET Test harness now invokes both OG and RTW codegenerators; asn2aadlPlus updated to create ASN1_Basic_Type properties (required for Simulink parts of buildsupport). http://www.semantix.gr/assertTools/downloads.html Test harness now invokes both OG and RTW codegenerators; asn2aadlPlus updated to create ASN1_Basic_Type properties (required for Simulink parts of buildsupport). ttsiodras@semantix.gr September 16, 2008 EET Updated test harness to check all combinations of (sync/async)x(UPER/Native)x(ASN1SCC/OSS)xAllASN1Types. This led to some more fixups for ObjectGeode's mapper. http://www.semantix.gr/assertTools/downloads.html Updated test harness to check all combinations of (sync/async)x(UPER/Native)x(ASN1SCC/OSS)xAllASN1Types. This led to some more fixups for ObjectGeode's mapper. ttsiodras@semantix.gr September 15, 2008 EET Bugfix for ObjectGeode OCTET STRINGs. http://www.semantix.gr/assertTools/downloads.html Bugfix for ObjectGeode OCTET STRINGs. ttsiodras@semantix.gr September 12, 2008 EET Thread-based polling of Telemetries - works. http://www.semantix.gr/assertTools/downloads.html Thread-based polling of Telemetries - works. ttsiodras@semantix.gr September 11, 2008 EET Automatic GUI generation: in the process of adding telemetries http://www.semantix.gr/assertTools/downloads.html Automatic GUI generation: in the process of adding telemetries ttsiodras@semantix.gr September 10, 2008 EET Major documentation updates - standalone User Manual created http://www.semantix.gr/assertTools/downloads.html Major documentation updates - standalone User Manual created ttsiodras@semantix.gr September 1, 2008 EET Automatic GUI generation that interactively invokes RIs http://www.semantix.gr/assertTools/downloads.html Automatic GUI generation that interactively invokes RIs ttsiodras@semantix.gr July 23, 2008 EET Bugfixes for C support http://www.semantix.gr/assertTools/downloads.html Bugfixes for C support ttsiodras@semantix.gr June 30, 2008 EET Clearing up of the code, documentation inside the backends http://www.semantix.gr/assertTools/downloads.html Clearing up of the code, documentation inside the backends ttsiodras@semantix.gr June 23, 2008 EET Data Modelling release http://www.semantix.gr/assertTools/downloads.html Data Modelling release ttsiodras@semantix.gr May 23, 2008 EET Many bugfixes, 100% statement coverage http://www.semantix.gr/assertTools/downloads.html Many bugfixes, 100% statement coverage ttsiodras@semantix.gr May 9, 2008 EET Bugfixes (ESA) on buildsupport. http://www.semantix.gr/assertTools/downloads.html Bugfixes (ESA) on buildsupport. ttsiodras@semantix.gr April 24, 2008 EET Ada backend support completed and tested with PFS (for both Native and UPER encodings). http://www.semantix.gr/assertTools/downloads.html Ada backend support completed and tested with PFS (for both Native and UPER encodings). ttsiodras@semantix.gr April 23, 2008 EET C backend support completed and tested with PFS (for both Native and UPER encodings). http://www.semantix.gr/assertTools/downloads.html C backend support completed and tested with PFS (for both Native and UPER encodings). ttsiodras@semantix.gr April 22, 2008 EET Many fixups, and CHOICE support introduced in all backends and all encodings. http://www.semantix.gr/assertTools/downloads.html Many fixups, and CHOICE support introduced in all backends and all encodings. ttsiodras@semantix.gr April 18, 2008 EET Major new version: backends consolidation and support for Semantix space certified compiler. Full support for PFS with Simulink/SCADE/OG utilizing both UPER and Native encodings http://www.semantix.gr/assertTools/downloads.html Major new version: backends consolidation and support for Semantix space certified compiler. Full support for PFS with Simulink/SCADE/OG utilizing both UPER and Native encodings ttsiodras@semantix.gr April 11, 2008 EET Mini-concurrency views now integrated in the orchestrator (First fully automated SCADE/OG/Simulink executable) http://www.semantix.gr/assertTools/downloads.html Mini-concurrency views now integrated in the orchestrator (First fully automated SCADE/OG/Simulink executable) ttsiodras@semantix.gr April 3, 2008 EET New build support - towards mini-concurrency views http://www.semantix.gr/assertTools/downloads.html New build support - towards mini-concurrency views ttsiodras@semantix.gr April 2, 2008 EET Orchestrator now fully supports Simulink builds http://www.semantix.gr/assertTools/downloads.html Orchestrator now fully supports Simulink builds ttsiodras@semantix.gr April 1, 2008 EET Reintroduced AliasTypes in Simulink mapper, fixed multiple SDL .pr file handling in orchestrator http://www.semantix.gr/assertTools/downloads.html Reintroduced AliasTypes in Simulink mapper, fixed multiple SDL .pr file handling in orchestrator ttsiodras@semantix.gr March 31, 2008 EET aadl2dataModel changed into asn2dataModel http://www.semantix.gr/assertTools/downloads.html aadl2dataModel changed into asn2dataModel ttsiodras@semantix.gr March 28, 2008 EET Using new and improved ObjectGeode stub generator http://www.semantix.gr/assertTools/downloads.html Using new and improved ObjectGeode stub generator ttsiodras@semantix.gr March 19, 2008 EET More bugfixes in Simulink mapper, warnings no longer trigerred for PFS http://www.semantix.gr/assertTools/downloads.html More bugfixes in Simulink mapper, warnings no longer trigerred for PFS ttsiodras@semantix.gr March 14, 2008 EET Bugfixes in Simulink mapper http://www.semantix.gr/assertTools/downloads.html Bugfixes in Simulink mapper ttsiodras@semantix.gr March 12, 2008 EET Code mapper for Simulink now available http://www.semantix.gr/assertTools/downloads.html Code mapper for Simulink now available ttsiodras@semantix.gr March 7, 2008 EET Model mapper for Simulink now available http://www.semantix.gr/assertTools/downloads.html Model mapper for Simulink now available ttsiodras@semantix.gr February 28, 2008 EET New orchestrator available for Ocarina based builds (only for Linux) http://www.semantix.gr/assertTools/downloads.html New orchestrator available for Ocarina based builds (only for Linux) ttsiodras@semantix.gr February 22, 2008 EET Alignment issues with double under SPARC (Leon) handled http://www.semantix.gr/assertTools/downloads.html Alignment issues with double under SPARC (Leon) handled ttsiodras@semantix.gr February 21, 2008 EET The Native types are now used for all bridge variables (major update) http://www.semantix.gr/assertTools/downloads.html The Native types are now used for all bridge variables (major update) ttsiodras@semantix.gr February 20, 2008 EET Better error handling when input AADL files are empty http://www.semantix.gr/assertTools/downloads.html Better error handling when input AADL files are empty ttsiodras@semantix.gr February 11, 2008 EET asn2aadlPlus and asn2uml improvements http://www.semantix.gr/assertTools/downloads.html asn2aadlPlus and asn2uml improvements ttsiodras@semantix.gr January 25, 2008 EET Modified SDL backend for aadl2dataModel to create .pr file importable by ObjectGeode (as requested by ESA) http://www.semantix.gr/assertTools/downloads.html Modified SDL backend for aadl2dataModel to create .pr file importable by ObjectGeode (as requested by ESA) ttsiodras@semantix.gr January 16, 2008 EET Updated parser to support prefixes (assert_properties and assert_properties_extended) http://www.semantix.gr/assertTools/downloads.html Updated parser to support prefixes (assert_properties and assert_properties_extended) ttsiodras@semantix.gr January 16, 2008 EET Updated docs for new orchestrator cmd line interface (as requested by ESA) http://www.semantix.gr/assertTools/downloads.html Updated docs for new orchestrator cmd line interface (as requested by ESA) ttsiodras@semantix.gr January 9, 2008 EET Merged patches sent by ENST to support the new version of Ocarina. Orchestrator cmd line interface enchanced (at the request of ESA) to support multiple .pr files per ObjectGeode APLC. http://www.semantix.gr/assertTools/downloads.html Merged patches sent by ENST to support the new version of Ocarina. Orchestrator cmd line interface enchanced (at the request of ESA) to support multiple .pr files per ObjectGeode APLC. ttsiodras@semantix.gr January 8, 2008 EET Minor bug in AADL parser fixed (for support of Native encodings) http://www.semantix.gr/assertTools/downloads.html Minor bug in AADL parser fixed (for support of Native encodings) ttsiodras@semantix.gr December 20, 2007 EET Introduced support for Native encodings http://www.semantix.gr/assertTools/downloads.html Introduced support for Native encodings ttsiodras@semantix.gr December 19, 2007 EET Updated the deliverable in response to the QPR comments; bugfix also for OG code http://www.semantix.gr/assertTools/downloads.html Updated the deliverable in response to the QPR comments; bugfix also for OG code ttsiodras@semantix.gr November 28, 2007 EET Updated the deliverable with information about the orchestrator http://www.semantix.gr/assertTools/downloads.html Updated the deliverable with information about the orchestrator ttsiodras@semantix.gr November 23, 2007 EET Final builder script updates - works perfectly with PFS PP http://www.semantix.gr/assertTools/downloads.html Final builder script updates - works perfectly with PFS PP ttsiodras@semantix.gr November 20, 2007 EET Fixed the auto-naming of the deliverable http://www.semantix.gr/assertTools/downloads.html Fixed the auto-naming of the deliverable ttsiodras@semantix.gr November 15, 2007 EET Updated build script to gracefully handle VM Ada source build (now takes srcDirectory, not src.zip) http://www.semantix.gr/assertTools/downloads.html Updated build script to gracefully handle VM Ada source build (now takes srcDirectory, not src.zip) ttsiodras@semantix.gr November 14, 2007 EET Graceful handling of infinite recursion types http://www.semantix.gr/assertTools/downloads.html Graceful handling of infinite recursion types ttsiodras@semantix.gr November 9, 2007 EET Added "SCADE5" and "SCADE6" as supported languages (slightly modified backends) http://www.semantix.gr/assertTools/downloads.html Added "SCADE5" and "SCADE6" as supported languages (slightly modified backends) ttsiodras@semantix.gr November 8, 2007 EET Added -onlySP option to aadl2glueC, to only handle subprograms (for ENST - Jerome) http://www.semantix.gr/assertTools/downloads.html Added -onlySP option to aadl2glueC, to only handle subprograms (for ENST - Jerome) ttsiodras@semantix.gr November 7, 2007 EET Introduced environment variables GNATGCC, GNATBIND, GNATLINK, OBJCOPY; it now supports both Linux and GnatForLeon cross-compiling (also: minor "space in paths" issues fixed) http://www.semantix.gr/assertTools/downloads.html Introduced environment variables GNATGCC, GNATBIND, GNATLINK, OBJCOPY; it now supports both Linux and GnatForLeon cross-compiling (also: minor "space in paths" issues fixed) ttsiodras@semantix.gr November 6, 2007 EET Updated orchestrating script to resupport SCADE code in ZIP files (SCADE5 issues) - Cleaned up asn_system.h for gnat for leon 2.0 http://www.semantix.gr/assertTools/downloads.html Updated orchestrating script to resupport SCADE code in ZIP files (SCADE5 issues) - Cleaned up asn_system.h for gnat for leon 2.0 ttsiodras@semantix.gr October 30, 2007 EET Fixed bug with paths containing spaces (Windows version) http://www.semantix.gr/assertTools/downloads.html Fixed bug with paths containing spaces (Windows version) ttsiodras@semantix.gr October 29, 2007 EET Improved ObjectGeode support: more than one input parameters (Maxime) http://www.semantix.gr/assertTools/downloads.html Improved ObjectGeode support: more than one input parameters (Maxime) ttsiodras@semantix.gr October 25, 2007 EET Complete SCADE support under Windows (merci, Alain!) - now both code generators of ObjectGeode and SCADE are automatically invoked for source parameters (.pr and .etp files, respectively) http://www.semantix.gr/assertTools/downloads.html Complete SCADE support under Windows (merci, Alain!) - now both code generators of ObjectGeode and SCADE are automatically invoked for source parameters (.pr and .etp files, respectively) ttsiodras@semantix.gr October 19, 2007 EET Empty sequences are not supported by Ada: report and stop http://www.semantix.gr/assertTools/downloads.html Empty sequences are not supported by Ada: report and stop ttsiodras@semantix.gr October 10, 2007 EET Modifications in asn2(aadlPlus,uml) and aadl2(dataModel,glueC) to support many ASN.1 files (modules) http://www.semantix.gr/assertTools/downloads.html Modifications in asn2(aadlPlus,uml) and aadl2(dataModel,glueC) to support many ASN.1 files (modules) ttsiodras@semantix.gr October 3, 2007 EET Final updates to the deliverable, submitted to Mayetic http://www.semantix.gr/assertTools/downloads.html Final updates to the deliverable, submitted to Mayetic ttsiodras@semantix.gr October 1, 2007 EET Orchestration script now supports .pr SDL files - calls ObjectGeode code generator http://www.semantix.gr/assertTools/downloads.html Orchestration script now supports .pr SDL files - calls ObjectGeode code generator ttsiodras@semantix.gr September 28, 2007 EET Updates by ENST to support the generated AADL files under OSATE http://www.semantix.gr/assertTools/downloads.html Updates by ENST to support the generated AADL files under OSATE ttsiodras@semantix.gr September 17, 2007 EET Orchestration script that takes code generated from UPD-VM, SCADE and ObjectGeode and creates final executable http://www.semantix.gr/assertTools/downloads.html Orchestration script that takes code generated from UPD-VM, SCADE and ObjectGeode and creates final executable ttsiodras@semantix.gr September 10, 2007 EET Glue code for ENUMs had issues with SCADE - fixed http://www.semantix.gr/assertTools/downloads.html Glue code for ENUMs had issues with SCADE - fixed ttsiodras@semantix.gr September 6, 2007 EET SDL (ObjectGeode) build process finalized http://www.semantix.gr/assertTools/downloads.html SDL (ObjectGeode) build process finalized ttsiodras@semantix.gr August 9, 2007 EET Unified interface for SCADE PIs - enhancements to API for UPD VM http://www.semantix.gr/assertTools/downloads.html Unified interface for SCADE PIs - enhancements to API for UPD VM ttsiodras@semantix.gr August 6, 2007 EET Documentation update, fixups in Ada-sample (after ENST patches) http://www.semantix.gr/assertTools/downloads.html Documentation update, fixups in Ada-sample (after ENST patches) ttsiodras@semantix.gr August 1, 2007 EET More AADL entities generated during ASN2AADL (ENST request) http://www.semantix.gr/assertTools/downloads.html More AADL entities generated during ASN2AADL (ENST request) ttsiodras@semantix.gr July 26, 2007 EET Ada backend bug (static behaviour) resolved http://www.semantix.gr/assertTools/downloads.html Ada backend bug (static behaviour) resolved ttsiodras@semantix.gr July 26, 2007 EET SDL support for ObjectGeode (beta) added http://www.semantix.gr/assertTools/downloads.html SDL support for ObjectGeode (beta) added ttsiodras@semantix.gr July 25, 2007 EET For Ada APLCs, an ASN1_types.ads file is generated with all ASN.1 types http://www.semantix.gr/assertTools/downloads.html For Ada APLCs, an ASN1_types.ads file is generated with all ASN.1 types ttsiodras@semantix.gr July 19, 2007 EET Corrected BOOLEAN TRUE representation for SCADE, Ada, Rhapsody http://www.semantix.gr/assertTools/downloads.html Corrected BOOLEAN TRUE representation for SCADE, Ada, Rhapsody ttsiodras@semantix.gr July 17, 2007 EET Corrected wrong language setting for multiple implementations http://www.semantix.gr/assertTools/downloads.html Corrected wrong language setting for multiple implementations ttsiodras@semantix.gr July 16, 2007 EET Added "Execute" stub for SCADE, other minor fixes http://www.semantix.gr/assertTools/downloads.html Added "Execute" stub for SCADE, other minor fixes ttsiodras@semantix.gr July 16, 2007 EET Switched back to "Ada", added DO NOT EDIT comments http://www.semantix.gr/assertTools/downloads.html Switched back to "Ada", added DO NOT EDIT comments ttsiodras@semantix.gr July 4, 2007 EET "Ada" to "Ada95" as valid Source_Language (by popular request :-) http://www.semantix.gr/assertTools/downloads.html "Ada" to "Ada95" as valid Source_Language (by popular request :-) ttsiodras@semantix.gr June 28, 2007 EET Added Rhapsody and Ada backends to package (for use with ToyExamplePlus for complete prototype) http://www.semantix.gr/assertTools/downloads.html Added Rhapsody and Ada backends to package (for use with ToyExamplePlus for complete prototype) ttsiodras@semantix.gr June 18, 2007 EET Toolchain internals added to User manual (which is now deliverable D4.4-3) http://www.semantix.gr/assertTools/downloads.html Toolchain internals added to User manual (which is now deliverable D4.4-3) ttsiodras@semantix.gr June 14, 2007 EET VM layer (Ada) added for Rhapsody, "VM integration" section in the manual http://www.semantix.gr/assertTools/downloads.html VM layer (Ada) added for Rhapsody, "VM integration" section in the manual ttsiodras@semantix.gr June 8, 2007 EET Bugfixes in the ASN.1 parser http://www.semantix.gr/assertTools/downloads.html Bugfixes in the ASN.1 parser ttsiodras@semantix.gr June 6, 2007 EET Made the Linux package compatible with cross compiling for Leon http://www.semantix.gr/assertTools/downloads.html Made the Linux package compatible with cross compiling for Leon ttsiodras@semantix.gr June 5, 2007 EET introduced asn2uml into both the Windows and Linux packages http://www.semantix.gr/assertTools/downloads.html introduced asn2uml into both the Windows and Linux packages ttsiodras@semantix.gr June 4, 2007 EET updated Ada-sample Makefile to allow for configurable set of AADL files http://www.semantix.gr/assertTools/downloads.html updated Ada-sample Makefile to allow for configurable set of AADL files ttsiodras@semantix.gr May 31, 2007 EET SCADE, Rhapsody and pure Ada now supported http://www.semantix.gr/assertTools/downloads.html SCADE, Rhapsody and pure Ada now supported ttsiodras@semantix.gr May 30, 2007 EET fixed bugs identified by Jerome http://www.semantix.gr/assertTools/downloads.html fixed bugs identified by Jerome ttsiodras@semantix.gr May 10, 2007 EET updated user manual to include asn2aadlPlus http://www.semantix.gr/assertTools/downloads.html updated user manual to include asn2aadlPlus ttsiodras@semantix.gr April 25, 2007 EET introduced private memory heap http://www.semantix.gr/assertTools/downloads.html introduced private memory heap ttsiodras@semantix.gr April 23, 2007 EET Added all referenced libraries inside the Linux package http://www.semantix.gr/assertTools/downloads.html Added all referenced libraries inside the Linux package ttsiodras@semantix.gr March 30, 2007 EET Linux package introduced http://www.semantix.gr/assertTools/downloads.html Linux package introduced ttsiodras@semantix.gr March 29, 2007 EET SCADE Instance variables introduced http://www.semantix.gr/assertTools/downloads.html SCADE Instance variables introduced ttsiodras@semantix.gr March 28, 2007 EET "Glue" generated per implementation, not per interface http://www.semantix.gr/assertTools/downloads.html "Glue" generated per implementation, not per interface ttsiodras@semantix.gr March 26, 2007 EET Support for EVENT DATA ports and PROCESSes http://www.semantix.gr/assertTools/downloads.html Support for EVENT DATA ports and PROCESSes ttsiodras@semantix.gr March 26, 2007 EET Support for SCADE6 http://www.semantix.gr/assertTools/downloads.html Support for SCADE6 ttsiodras@semantix.gr March 19, 2007 EET