, National Survey: The costs of poor quality in industry, AFNOR, 2017.
SysML for embedded automotive Systems: a practical approach, ERTS2 2010, Embedded Real Time Software & Systems, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-02267701
The argosim home page ,
International organization of motor vehicle manufacturers home page ,
The mathworks home page ,
National highway traffic safety administration home page ,
Scade suite -esterel technologies home page ,
Principles of model checking, 2008. ,
Bridging the gap between natural language requirements and formal specifications, Joint Proceedings of REFSQ-2016 Workshops, Doctoral Symposium, Research Method Track, and Poster Track co-located with the 22nd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2016), 2016. ,
Industrial Use of Formal Methods: Formal Verification, 2013. ,
Spacecraft early design validation using formal methods, Reliability Engineering & System Safety, vol.132, pp.20-35, 2014. ,
Producing a global requirement model from multiple requirement specifications, EDOC'07 (Entreprise Distributed Object Computing Conference), 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00477569
Autosar -the standardized software architecture, Informatik Spektrum, vol.34, issue.1, pp.79-83, 2011. ,
Model checking large software specifications, IEEE Transactions on Software Engineering, vol.24, issue.7, pp.498-520, 1998. ,
Software engineering environments : concepts and technology, 1986. ,
Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Trans. Program. Lang. Syst, vol.8, issue.2, pp.244-263, 1986. ,
,
The EAST-ADL Architecture Description Language for Automotive Embedded Software, pp.297-307, 2010. ,
Démarche de conception sûre de la Supervision de la fonction de Conduite Autonome, 2018. ,
Using contract-based component specifications for virtual integration testing and architecture design, Automation Test in Europe, pp.1-6, 2011. ,
Z3: An efficient smt solver, Proceedings of the Theory and Practice of Software, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'08/ETAPS'08, pp.337-340, 2008. ,
A framework for multi-valued reasoning over inconsistent viewpoints, Proceedings of the 23rd International Conference on Software Engineering, ICSE '01, pp.411-420, 2001. ,
Tutorial, software testing & validation techniques, 1981. ,
Synchronous observers and the verification of reactive systems, Proceedings of the Third International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology, AMAST'93, pp.83-96, 1994. ,
Scr: A toolset for specifying and analyzing software requirements, Computer Aided Verification, pp.526-531, 1998. ,
Goal-oriented requirements animation, Proceedings. 12th IEEE International Requirements Engineering Conference, pp.218-228, 2004. ,
Software Abstractions: Logic, Language, and Analysis, 2012. ,
Debugging Embedded Systems Requirements with STIMULUS: an Automotive Case-Study, 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01292286
The Cost of Poor Quality Software in the US: A, CISQ Consortium for IT Software Quality, 2018. ,
Uppaal in a nutshell, Int. J. Softw. Tools Technol. Transf, vol.1, issue.1-2, pp.134-152, 1997. ,
On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators, International Journal on Software Tools for Technology Transfer, vol.20, issue.5, pp.563-587, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01280129
Big Ears (The Return of "Easy Approach to Requirements Engineering"), RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, pp.277-282, 2010. ,
Proving the shalls: Early validation of requirements through formal methods, Int. J. Softw. Tools Technol. Transf, vol.8, issue.4, pp.303-319, 2006. ,
CESAR -Cost-efficient Methods and Processes for Safety-relevant Embedded Systems, 2013. ,
Using model-checking for timing verification in industrial system design, 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp.377-378, 2017. ,
Formal methods and their role in the certification of critical systems, Safety and Reliability of Software Based Systems, pp.1-42, 1997. ,
Feasibility of model checking software requirements: a case study, Proceedings of 11th Annual Conference on Computer Assurance. COMPASS'96, pp.77-88, 1996. ,
Early validation of system requirements and design through correctness-byconstruction, Journal of Systems and Software, vol.145, pp.52-78, 2018. ,
May/must analysis and the dfagen data-flow analysis generator, Information & Software Technology, vol.51, pp.1440-1453, 2009. ,
Requirements analysis and definition for eco-factories: The case of emc2, Advances in Production Management Systems. Competitive Manufacturing for Innovative Products and Services, pp.111-118, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01472229
Semantic variations among uml statemachines, Model Driven Engineering Languages and Systems, pp.245-259, 2006. ,