Abstract
TASTE is a development environment dedicated to embedded, real-time systems, developed under the initiative of the European Space Agency. It consists of various tools, such as graphical editors, code generators and visualizers, which support model-based design of embedded systems, automatic code generation, deployment and simulation. TASTE currently lacks a comprehensive support for performing early verification and assessment of the design models.
The goal of the COMPASTA study is to integrate the formal verification capabilities of COMPASS into TASTE. COMPASS is a tool for model-based System-SW Co-Engineering developed in a series of ESA studies, offering formal design and verification capabilities, such as requirements analysis, contract-based design, functional verification and safety assessment, fault detection and identification analysis. COMPASTA will deliver a full end-to-end coherent tool chain, based on TASTE, covering system design, HW/SW implementation, deployment and testing.
Work funded by ESA/ESTEC under Contract No. 4000133700/21/NL/GLC/kk.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
ADE: Autonomous decision making in very long traverses. https://www.h2020-ade.eu
Bozzano, M., Bruintjes, H., Cimatti, A., Katoen, J.P., Noll, T., Tonetta, S.: COMPASS 3.0. In: Proceedings TACAS 2019 (2019)
Bozzano, M., et al.: Spacecraft early design validation using formal methods. Reliab. Eng. Syst. Saf. 132, 20–35 (2014)
Bozzano, M., Cimatti, A., Katoen, J.P., Nguyen, V., Noll, T., Roveri, M.: Safety, dependability and performance analysis of extended AADL models. Comput. J. 54(5), 754–775 (2011)
Hugues, J., Pautet, L., Zalila, B., Dissaux, P., Perrotin, M.: Using AADL to build critical real-time systems: experiments in the IST-ASSERT project. In: Proceedings ERTS (2008)
MOSAR: Modular spacecraft assembly and reconfiguration. https://www.h2020-mosar.eu
NUXMV web page (2021). https://nuxmv.fbk.eu
OCRA web page (2021). https://ocra.fbk.eu
PERASPERA, a PSA activity under the Horizon 2020 Space “COMPET-4-2014: Space Robotics Technologies” Work Programme (Grant Agreement 640026)
Cavada, R., Cimatti, A., Crema, L., Roccabruna, M., Tonetta, S.: Tonetta: model-based design of an energy-system embedded controller using taste. In: Proceedings FM 2016. LNCS, vol. 9995, pp. 741–747 (2016)
TASTE web page. https://taste.tools/
XSAP web page (2021). https://xsap.fbk.eu
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Bombardelli, A. et al. (2022). COMPASTA: Extending TASTE with Formal Design and Verification Functionality. In: Seguin, C., Zeller, M., Prosvirnova, T. (eds) Model-Based Safety and Assessment. IMBSA 2022. Lecture Notes in Computer Science, vol 13525. Springer, Cham. https://doi.org/10.1007/978-3-031-15842-1_2
Download citation
DOI: https://doi.org/10.1007/978-3-031-15842-1_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-15841-4
Online ISBN: 978-3-031-15842-1
eBook Packages: Computer ScienceComputer Science (R0)