TASTE (The Assert Set of Tools for Engineering) is a tool-chain targeting heterogeneous embedded systems, using a model-based development approach, created under the initiative of the European Space Agency.
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 targets safe critical 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, C++ or Ada) or automatically by external modelling tools such as MATLAB Simulink or SCADE.
CONTRIBUTIONS
The Embedded System unit is contributing to the design and development of the project.
Current contributors:
- Bonizzi Alberto
- Bozzano Marco
- Cavada Roberto
- Tonetta Stefano
