Publications related to TASTE
From TASTE
Contents
Presentations
- [TASTE] 2015 TASTE Overview File:What is taste.pdf
- [ASN1] 2015 ASN.1 Overview File:What is asn1.pdf
- [SDL] 2015 State machines, SDL and OpenGEODE overview File:Opengeode overview.pdf
Conference papers / presentations
- [AEROCONF-2016] M. Lattuada, F. Ferrandi, M. Perrotin Computer Assisted Design and Integration of FPGA Accelerators in Aerospace Systems pdf
- [ERTS-2016] M. Perrotin, K.Grochowski, et al. TASTE in action File:ERTS 2016 submission 29 Final Accepted.pdf
- [IEEE-ESWEEK-2015] M. Perrotin, J.-L. Terraillon, C. Honvault Taste: towards a space system development framework File:ESWeek2015-Perrotin.pdf
- [VDM-2015] M. Verhoef, M. Perrotin. TASTE for Overture to keep SLIM. File:Taste-for-overture-verhoef-perrotin.pdf
- [DTT-DASIA2012] J. Delange, F. Torelli and J-L Terraillon. Implementation of SOIS in TASTE. File:Taste-dasia2012-full.pdf
- [PTDC-ERTS2012] M. Perrotin, J. Delange, T. Tsiodras and E. Conquet. TASTE Overview. File:ERTS2012-TASTE-OVERVIEW.pdf
- [PCDTH-ERTS2010] M. Perrotin, E. Conquet, P. Dissaux, T.Tsiodras, J. Hugues. The TASTE Toolset: turning human designed heterogeneous systems into computer built homogeneous software File:TASTE-ERTS2010-v4-final.pdf
- [MTLP-ERTS2012] G. Mamais, T. Tsiodras, D. Lesens and M. Perrotin. An ASN.1 compiler for embedded/space systems File:Erts2012 submission 27 ASN1Compiler.pdf
- [PCDTS11] Maxime Perrotin, Eric Conquet, J. Delange, Thanassis Tsiodras and Andre Schiele. TASTE Case study: A Real-Time Software Engineering Tool-Chain. In SDL Forum 2011. File:TASTE-SDL2011-LNCS-PERROTIN.pdf
- [DHD12-ERTS2012] J. Delange, Jérôme Hugues and Pierre Dissaux. Validate implementation correctness using simulation: the TASTE approach. File:Erts2012-simulation-execution.pdf
- [DHW12-ERTS2012] J. Delange, Christophe Honvault and James Windsor. Model-Based Engineering Approach for System Architecture Exploration. File:Erts2012-evaluation-ima.pdf
- [DH11-AEROTECH11] J. Delange and Jérôme Hugues. Incremental Modeling and Validation of Space Mission using AADLv2. AEROTECH11.
- [DP11-OSADL11] J. Delange and Maxime Perrotin. On integration of open-source tools for system validation, example with the TASTE tool-chain. 13th Real-Time Linux Workshop File:Osadl11 delange perrotin.pdf
- [HPDP08-ERTS2008] J. Hugues, L.Pautet, P.Dissaux and M.Perrotin Using AADL to build critical real-time systems: Experiments in the IST-ASSERT project. ERTS 2008. File:AADL ASSERT ERTS08.pdf
- [DPK08] J. Delange, L. Pautet and F. Kordon. Code Generation Strategies for Partitioned Systems. In 29th IEEE Real-Time Systems Symposium (RTSS'08) Work In Progress, IEEE Computer Society, December 2008. [PDF]
Journal papers
- [GENIE-LOGICIEL11] J. Delange and Maxime Perrotin. Validation des spécifications et de l'implémentation avec la plate-forme TASTE In Génie Logiciel - Ingénierie Dirigée par les Modèles, Juin 2011.
- [OPENSILICIUM11] J. Delange and Maxime Perrotin. Implémentation de systèmes critiques dirigée par des modèles In Open Silicium.
Book chapters
- [HERMES-2008-MP] Maxime Perrotin. Systemes répartis en action (chapitre 3) - Lavoisier, 2008.
- [WILEY-2011-MPetal] Maxime Perrotin. Distributed systems - design and algorithms (chapter 9) - ISTE, Wiley, 2011. [[1]]
Other papers
- [E-UPM2014] G.P.-T Estévez. UPMSat-2 satellite’s Manager software subsystem: Design, validation, implementation and verification - UPM, 2014. File:TFG Gonzalo Perez-Tome.pdf