TASTE
TASTE is a development environment dedicated to embedded, real-time systems and was created under the initiative of the European Space Agency back in 2008, after the completion of a FP6 project called ASSERT. TASTE can be used to design small to medium-size systems; it relies on formal languages and is based on the idea of building "correct by construction" software.
The key technologies used in TASTE are AADL, ASN.1 and SDL. TASTE target safe systems and promotes the use of Ada for coding activities.
TASTE allows software designers to easily integrate heteregeneous pieces of code produced either manually (in C or Ada) or automatically by external modelling tools such as MATLAB Simulink, SCADE, or Real-Time Developer Studio.
By using TASTE, a software system architect can easily produce a complete and homogeneous system in three steps as depicted by the following figure (see below).
Functionalities
- Produce an homogeneous SW system from a set of heterogeneous functions (Written in C, Ada, Simulink, VHDL, SCADE, and/or SDL)
- Provide facilities for schedulability analysis (Integrates CHEDDAR, MAST, and Marzhin)
- Provide features for early verification and testing of the generated SW (GUIs and Python scripts)
- Provides built-in behavioural modelling facilities (state machine editor) and automatic code generation
- Generate multiple implementations (manage distribution) from one unique model: ease application portability
- Supports the integration of FPGA components
- Support expandability of features through openness to external tools.
- Supports connection with SQL databases