, Software architecture optimization methods: A systematic literature review, IEEE Transactions on Software Engineering, pp.658-683, 2013.
, Copying or distributing in print or electronic forms without written permission of IGI Global is prohibited
, Analysis Support for TADL2 Timing Constraints on EAST-ADL Models, Proceedings of the 7th European Conference on Software Architecture (ECSA), pp.89-105, 2013.
, AUTOSAR Specification of Timing Extensions, Release 4.2.2. Retrieved from http://www.autosar.org/fileadmin/files/releases/4-2/methodology-and-templates/templates Disjunctive Programming, FP7 ATESST 1 & ATESST 2 Projects, pp.3-5110, 1979.
, Linear programming with multiple objective functions: Step method (stem), Mathematical programming, pp.366-375, 1971.
DOI : 10.1007/BF01584098
, EAST-ADL ? An Architecture Description Language for Automotive Software-Intensive Systems, 2013.
URL : https://hal.archives-ouvertes.fr/cea-01810034
, Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform, Proceedings of SAFECOMP, pp.49-62, 2003.
DOI : 10.1007/978-3-540-39878-3_5
URL : http://citeseerx.ist.psu.edu/viewdoc/;jsessionid=707BA5D7F93C682B779EDAF16E6A294E
, Cross-layer analysis, testing and verification of automotive control software, Proceedings of the ninth ACM international conference on Embedded software, EMSOFT '11, pp.263-272, 2011.
DOI : 10.1145/2038642.2038683
, Search methodologies: Introductory Tutorials in Optimization and Decision Support Techniques. Spinger, 2005.
, SOPHIA: a Modeling Language for Model-Based Safety Engineering, Proceedings of the2nd International Workshop On Model Based Architecting and Construction Of Embedded Systems, pp.11-26, 2009.
, Towards an Architectural Design Framework for Automotive Systems Development, Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M, pp.241-258, 2012.
, Integrated Safety and Architecture Modeling for Automotive Embedded Systems. e&i - elektrotechnik und informationstechnik, p.128, 2011.
DOI : 10.1007/s00502-011-0007-7
, An architectural approach to the analysis, verification and validation of software intensive embedded systems, Computing, vol.6, issue.3, pp.95-649, 2013.
DOI : 10.1109/EURMIC.2004.1333431
, Systems Modeling with EAST-ADL for Fault Tree Analysis through HiP-HOPS*, Proceedings of 4th IFAC Workshop on Dependable Control of Discrete Systems, 2013.
DOI : 10.3182/20130904-3-UK-4041.00043
, Cardinality-based feature modelling and constraints: A progress report, Proceedings of theInternational Workshop on Software Factories, pp.16-20, 2005.
, Formalizing cardinality-based feature models and their specialization, Software Process: Improvement and Practices, pp.7-29, 2005.
DOI : 10.1007/3-540-45652-X_11
, Moving From Federated to Integrated Architectures in Automotive: The Role of Standards, Proceedings of the IEEE, pp.603-620, 2009.
, ITEA Project reference 00009, 2001.
, Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems, Proceedings of the 5th European Conference on Model Driven Architecture -Foundations and Applications (ECMDA-FA '09). doi:10.1007, pp.978-981, 2010.
DOI : 10.1007/11516798_13
, On the Quantitative Analysis of Priority-AND Failure Logic, IEEE Transactions on Reliability, vol.25, issue.5, pp.25-324, 1976.
DOI : 10.1109/TR.1976.5220025
, Normalization and other topics in multi-objective optimization, Proceedings of the Fields?MITACS Industrial Problems Workshop, pp.89-102, 2006.
, A translation of State Machines to temporal fault trees, 2010 International Conference on Dependable Systems and Networks Workshops (DSN-W), pp.45-51, 2010.
DOI : 10.1109/DSNW.2010.5542620
, Compositional synthesis of temporal fault trees from state machines, ACM SIGMETRICS Performance Evaluation Review, vol.39, issue.4, pp.79-88, 2012.
DOI : 10.1145/2185395.2185444
, Survey of multi-objective optimization methods for engineering, Structural and multidisciplinary optimization, pp.369-395, 2004.
DOI : 10.1007/s00158-003-0368-6
, Optimizing the Deployment of Distributed Real-Time Embedded Applications, 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, p.61, 2012.
DOI : 10.1109/RTCSA.2012.61
URL : https://hal.archives-ouvertes.fr/hal-00762231
, A Two-step Optimization Technique for Functions Placement, Partitioning, and Priority Assignment in Distributed Systems, Proceedings of Languages, Compilers and Tools for Embedded Systems (LCTES), pp.121-132, 2013.
DOI : 10.1145/2491899.2465572
URL : https://hal.archives-ouvertes.fr/hal-00903753
, Probabilistic Algebraic Analysis of Fault Trees With Priority Dynamic Gates and Repeated Events, IEEE Transactions on Reliability, vol.59, issue.1, pp.250-261, 2009.
DOI : 10.1109/TR.2009.2035793
URL : https://hal.archives-ouvertes.fr/hal-00480014
, MAENAD Design Methodology. D2.2.1. Retrieved from http Variability management in software product line engineering, Companion to the proceedings of the 29th International Conference on Software Engineering, pp.186-18710, 2007.
, UML Profile for Modelling and Analysis of Real-Time and Embedded systems, MARTE, pp.2011-2017, 2011.
, UML Profile for QoS and Fault Tolerance (QFTP, 2011.
, System Modeling Language (SysML, 2012.
, Unified Modeling Language (UML), formal/2015-03-01, Version 2.5. ings of SAFECOMP, LNCS, vol.1698, pp.139-152, 2015.
, Analysis strategies for software product lines, 2012.
, Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook, Control Engineering Practice, vol.17, issue.10, 2009.
DOI : 10.1016/j.conengprac.2008.10.003
, Assigning time budgets to component functions in the design of time-critical automotive systems, Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, ASE '14, pp.235-246, 2014.
DOI : 10.1145/2642937.2643015
URL : https://hal.archives-ouvertes.fr/cea-01810022