J. Hansson, S. Helton, and P. Feiler, ROI Analysis of the System Architecture Virtual, 2018.

D. Bruce-powell, Doing Hard Time, 1999.

, SAE (Society of Automotive Engineers) international, 2004.

, UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems

;. Osate-website and . Ramses-website, , vol.6

. Aadl-inspector-website,

P. De-saqui-sannes and J. Hugues, Combining SysML and AADL for the Design, Validation andImplementation of Critical Systems, vol.2, p.117, 2012.

W. Zhe, J. Hugues, J. Chaudemar, and L. , Aerospace Systems and Technology Conference, 2018.

F. Caron, Leveraging tradeoff, bridging the gap among disciplines, 26 th Annual INCOSE International Symposium (IS 2016)

. Iso, Systems and Software Engineering -System Life Cycle Processes, 2015.

, OMG (Object Management Group) 2012. OMG Systems Modeling Language (OMG SysML?), Version 1.3

. Rmf-website,

P. Website,

J. Delange, P. Feiler, and N. Ernst, Incremental Life Cycle Asurance of Safety-critical Systems, th European Congress on Embedded Real Time Software and Systems (ERTS), vol.8, 2016.

C. Website,

. Omg-mda-website,

E. Robert, W. Lyons, and . Vanderkulk, The use of Triple-Modular Redundancy to Improve Computer Reliability, IBM journal of research and development, vol.6, issue.2, pp.200-209, 1962.

D. Achim, I. Brucker, P. Ait-sadoune, B. Crisafulli, and . Wolff, Using the isabelle ontology framework: Linking the formal with the informal, Conference on Intelligent Computer Mathematics (CICM), number 11006 in Lecture Notes in Computer Science, 2018.

S. Bezzecchi, P. Crisafulli, C. Pichot, and B. Wolff, Making agile development processes fit for v-style certification procedures, ERTS'18, ERTS Conference Proceedings, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01702815

I. Website,

P. Crisafulli, D. Blouin, F. Caron, and C. Maxim, Engineering Railway Systems with anArchitecture-Centric Process Supported by AADL and ALISA: an Experience Report, ERTS'20, ERTS Conference Proceedings, 2020.

D. Blouin, A. Plantec, P. Dissaux, F. Singhoff, and J. Diguet, Synchronization of Models of Rich Languages with Triple Graph Grammars: an Experience Report, International Conference on Theory and Practice of Model Transformations, 2014.

A. Gacek, J. Backes, D. Cofer, K. Slind, and M. Whalen, Resolute: an AssuranceCase Language for Architecture Models, ACM SIGAda Ada Letters, vol.34, pp.19-28, 2014.

. Sefa-website,

D. Blouin and E. Borde, AADL: A Language to Specify the Architecture of Cyber-Physical Systems, Foundations of Multi-Paradigm Modeling for Cyber-Physical Systems, 2020.

K. Website,