Difference between revisions of "Main Page"

From TASTE
Jump to: navigation, search
(Documentation and presentations)
(Documentation and presentations)
 
(42 intermediate revisions by 11 users not shown)
Line 1: Line 1:
 
= TASTE =
 
= TASTE =
Welcome to the [http://taste.tuxfamily.org/ TASTE] wiki! Please edit the wiki at your convenience.
+
Welcome to the [https://taste.tools/ TASTE] wiki!  
 +
 
 +
:[[File:ClipCapIt-221010-144149.PNG]]
 +
 
 +
 
 +
'''TASTE''' is a set of freely-available tools dedicated to the development of embedded, real-time systems. It is developed by the [https://esa.int/ European Space Agency] together with a set of partners from the space industry.
 +
 
 +
 
 +
'''TASTE''' promotes the combined use of '''formal description techniques''' (AADL, SDL, MSC, ASN.1) with strongly typed programming languages (Ada) and other system-level modelling tools (Simulink, VHDL) and coding languages (C, C++).
 +
 
 +
 
 +
The tools run on the '''Debian Linux''' operating system and are available in a pre-installed virtual machine.
 +
 
 +
 
 +
'''TASTE''' addresses system architecture, data and '''behavior modelling''' and allows to generate low-level code for micro-controllers and distributed, communicating systems. Various platform are supported : x86/Linux, Raspberry Pi, MSP430 with FreeRTOS, STM32 with the GNAT Runtime or FreeRTOS, Leon2/Leon3 with RTEMS, as well as targets including FPGA components. It is '''open''' and extensible.
 +
 
 +
 
 +
TASTE fields of research include '''simulation''', '''model checking''', software correctness by construction, documentation generation, and in general improvement of the software development lifecycle through '''automation'''.
 +
 
 +
 
  
 
== TASTE Ecosystem, Overview and Screenshots ==
 
== TASTE Ecosystem, Overview and Screenshots ==
* [[Latest news]]
+
 
 
* [[Overview]]
 
* [[Overview]]
 
* [[TASTE consortium]]
 
* [[TASTE consortium]]
 +
* Start here: [[TASTE Step by step tutorial]]
 +
* Tutorial / Case study : [[Build a publish-subscribe design pattern]]
 +
* [[Model-based SW Engineering of Real time systems: a methodology]]
  
 
== Tool availability ==
 
== Tool availability ==
Line 11: Line 33:
 
* [[Virtual Machine]]
 
* [[Virtual Machine]]
 
* [[Manual installation on a native platform]]
 
* [[Manual installation on a native platform]]
 +
* [[Installation using a lxc container]]
  
 
== Documentation and presentations ==
 
== Documentation and presentations ==
 
* [[Architecture Overview]]
 
* [[Architecture Overview]]
 +
* [[Supported target architectures]]
 
* [[Case studies]]
 
* [[Case studies]]
 
* [[Media]] and [[Publications related to TASTE]]
 
* [[Media]] and [[Publications related to TASTE]]
 
* [[Tools documentation]]
 
* [[Tools documentation]]
 +
* [[TASTE Semantics]]
 +
* [[IF model-checking]]
 +
* [[Spin Model Checker GUI manual]]
 +
* [[COMPASTA: Integration of the TASTE and COMPASS toolsets]]
 
* [[Technical topic: Advanced testing with MSC and Python scripts]]
 
* [[Technical topic: Advanced testing with MSC and Python scripts]]
 
* [[Technical topic: OpenGEODE, an SDL editor for TASTE]]
 
* [[Technical topic: OpenGEODE, an SDL editor for TASTE]]
 +
* Technical Topic : [[Detailed_SDL_tutorial]]
 +
* Technical Topic : [[MSC tutorial]]
 
* [[Technical topic: OpenGEODE - Design pattern: How to emulate the SAVE symbol]]
 
* [[Technical topic: OpenGEODE - Design pattern: How to emulate the SAVE symbol]]
 
* [[Technical topic: OpenGEODE - SDL Operators: How to work with data]]
 
* [[Technical topic: OpenGEODE - SDL Operators: How to work with data]]
Line 29: Line 59:
 
* [[Technical topic: Customizing the ASN.1 compiler (ASN1SCC) with your own templates]]
 
* [[Technical topic: Customizing the ASN.1 compiler (ASN1SCC) with your own templates]]
 
* [[Technical topic: Use of timers in user code with TASTE]]
 
* [[Technical topic: Use of timers in user code with TASTE]]
* [[Technical topic: Extend your models with your own property sets to hook your own tools]]
 
 
* [[Technical topic: Test your Leon2/Leon3 applications with QEMU]]
 
* [[Technical topic: Test your Leon2/Leon3 applications with QEMU]]
 
* [[Technical topic: Manage interface priorities]]
 
* [[Technical topic: Manage interface priorities]]
Line 37: Line 66:
 
* [[Technical topic: Add a new target platform to TASTE]]
 
* [[Technical topic: Add a new target platform to TASTE]]
 
* Technical topic: [[Kazoo]] templating engine
 
* Technical topic: [[Kazoo]] templating engine
 +
* Technical topic: [[Port a legacy TASTE project to Kazoo]]
 
* Technical topic: [[Understand the code generation strategy]]
 
* Technical topic: [[Understand the code generation strategy]]
* Technical topic: use the new qualifiable [[QGen]] code generator for Simulink with TASTE
+
* [https://taste.tuxfamily.org/wiki/index.php?title=QGen Technical topic: use the new qualifiable] [[QGen]] [https://taste.tuxfamily.org/wiki/index.php?title=QGen code generator for Simulink with TASTE]
 +
* [[Technical topic: TASTE on MSP430 with FreeRTOS]]
 +
* [[Technical topic: SAMV71 Runtime]]
 +
* [[Technical topic: SedsConverter]]
 +
* [[Technical topic: C++ Components and AIR IO Partitions]]
 +
* [[Technical topic: MSC streamer]]
 +
* [[Technical topic: Interface View streamer]]
 +
* Technical topic: [[Import/Export of Components in TASTE]]
 +
* Technical topic: [[Customize auto-generated GUIs with custom widgets]]
 +
* Scheduling analysis with the [[TASTE CV Graphical Editor]]
 
* [[Work in progress: Integrating SDL and VDM]]
 
* [[Work in progress: Integrating SDL and VDM]]
 +
* Work in progress: Technical topic: [[TASTE Communication Device]]
  
 
== Management and release process ==
 
== Management and release process ==
* [[Obtain the code and stay in sync]]
+
 
* [[The TASTE VM update mechanism in detail]]
 
* [[Regression checking suites]]
 
* [[Repackaging of the VM]]
 
* [[Merging into stable]]
 
 
* [[Building a TASTE-y RTEMS]]
 
* [[Building a TASTE-y RTEMS]]
* [[Taming the stack usage of embedded applications]]
 
  
 
== Support ==
 
== Support ==
Line 56: Line 91:
 
* [[taste-users]] mailing-list
 
* [[taste-users]] mailing-list
 
* [[taste-dev]] mailing-list
 
* [[taste-dev]] mailing-list
* [https://www.openhub.net/p/taste-esa Source code metrics] on [https://www.openhub.net OpenHub]
 
 
* [[Troubleshooting Device Driver issues on the Gaisler Boards]]
 
* [[Troubleshooting Device Driver issues on the Gaisler Boards]]
  
Line 62: Line 96:
  
 
* [[ASN.1 generators|ASN.1 Compiler and ASN.1 glue generators]]
 
* [[ASN.1 generators|ASN.1 Compiler and ASN.1 glue generators]]
* [[Ocarina]]
+
* [[TASTE Graphical Editors]] - Concurrency View and Scheduling Analysis
* [[Orchestrator]]
 
* [[PolyORB-HI-Ada]]
 
* [[PolyORB-HI-C]]
 
* [[tasted]] (TASTE daemon - deprecated)
 
* [[Cross-development toolchains]]
 
* [[TASTE GUI for Windows]] (experimental)
 
* [[Software requirements for TASTE GUI for Windows]] (experimental)
 
* [[Using TASTE GUI for Windows]] (experimental)
 
* [[Build TASTE on QEMU 1.0 for Windows platforms]]  (experimental)
 
* [[Software requirements for MSC Editor]]
 
* [[Create an .exe file from the TASTE GUI for Windows sources]] (experimental)
 
* [[Create an installer for TASTE GUI for Windows]] (experimental)
 
* [[Create a binary file from the TASTE GUI for Windows sources for Linux]] (experimental)
 
  
* [[ESA Summer of Code in Space - Project ideas]]
+
* [[How to make proper connections in CASE tools]]

Latest revision as of 11:53, 24 April 2023

TASTE

Welcome to the TASTE wiki!

ClipCapIt-221010-144149.PNG


TASTE is a set of freely-available tools dedicated to the development of embedded, real-time systems. It is developed by the European Space Agency together with a set of partners from the space industry.


TASTE promotes the combined use of formal description techniques (AADL, SDL, MSC, ASN.1) with strongly typed programming languages (Ada) and other system-level modelling tools (Simulink, VHDL) and coding languages (C, C++).


The tools run on the Debian Linux operating system and are available in a pre-installed virtual machine.


TASTE addresses system architecture, data and behavior modelling and allows to generate low-level code for micro-controllers and distributed, communicating systems. Various platform are supported : x86/Linux, Raspberry Pi, MSP430 with FreeRTOS, STM32 with the GNAT Runtime or FreeRTOS, Leon2/Leon3 with RTEMS, as well as targets including FPGA components. It is open and extensible.


TASTE fields of research include simulation, model checking, software correctness by construction, documentation generation, and in general improvement of the software development lifecycle through automation.


TASTE Ecosystem, Overview and Screenshots

Tool availability

Documentation and presentations

Management and release process

Support

Other information