ROI Analysis of the System Architecture Virtual, 2018. ,
Doing Hard Time, 1999. ,
, SAE (Society of Automotive Engineers) international, 2004.
, UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems
, , vol.6
,
Combining SysML and AADL for the Design, Validation andImplementation of Critical Systems, vol.2, p.117, 2012. ,
, Aerospace Systems and Technology Conference, 2018.
, Leveraging tradeoff, bridging the gap among disciplines, 26 th Annual INCOSE International Symposium (IS 2016)
, Systems and Software Engineering -System Life Cycle Processes, 2015.
, OMG (Object Management Group) 2012. OMG Systems Modeling Language (OMG SysML?), Version 1.3
,
,
Incremental Life Cycle Asurance of Safety-critical Systems, th European Congress on Embedded Real Time Software and Systems (ERTS), vol.8, 2016. ,
,
,
The use of Triple-Modular Redundancy to Improve Computer Reliability, IBM journal of research and development, vol.6, issue.2, pp.200-209, 1962. ,
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. ,
Making agile development processes fit for v-style certification procedures, ERTS'18, ERTS Conference Proceedings, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01702815
,
Engineering Railway Systems with anArchitecture-Centric Process Supported by AADL and ALISA: an Experience Report, ERTS'20, ERTS Conference Proceedings, 2020. ,
Synchronization of Models of Rich Languages with Triple Graph Grammars: an Experience Report, International Conference on Theory and Practice of Model Transformations, 2014. ,
Resolute: an AssuranceCase Language for Architecture Models, ACM SIGAda Ada Letters, vol.34, pp.19-28, 2014. ,
,
AADL: A Language to Specify the Architecture of Cyber-Physical Systems, Foundations of Multi-Paradigm Modeling for Cyber-Physical Systems, 2020. ,
,